DConf 2013 keynote

[Nick Sabalausky]

On Sun, 12 May 2013 14:16:18 +0200
Timon Gehr <timon.gehr at gmx.ch> wrote:

> On 05/12/2013 05:59 AM, Nick Sabalausky wrote:
> > On Fri, 10 May 2013 19:04:31 -0400
> > "Jonathan M Davis" <jmdavisProg at gmx.com> wrote:
> >
> >> On Friday, May 10, 2013 14:31:00 H. S. Teoh wrote:
> >>> As they say in information theory: it is the stuff that stands
> >>> out, that is different from the rest, that carries the most
> >>> information. The stuff that's pretty much repeated every single
> >>> time conveys very little information.
> >>
> >> This is an excellent way of looking at language design (and program
> >> design for that matter).
> >>
> >
> > Not to mention data compression ;)
> >
> 
> A program is a compressed representation of its possible executions.

Indeed. And generally with an absolutely enormous compression ratio -
often even infinite (when there's infinite possible executions). Or
at least "effectively infinite" even if not truly infinite in a strict
mathematical sense, simply due to finite memory.