|
Haskell is twenty one years old, an age at which most programming languages are either dead and buried, or else have become mainstream and hence frozen in a web of backward-compatibility constraints. Haskell is different: it is in rude health, is widely used (but not too widely!), and is still in a state of furious innovation.
In this talk I'll reflect on this two-decade journey, I'll discuss Haskell's birth and evolution, including some of the research and engineering challenges we faced in design and implementation. I'll focus particularly on the ideas that have turned out, in retrospect, to be most important and influential, as well as sketching some current developments and making some wild guesses about the future.
(Failing to) avoid success at all costs: the Haskell storyHaskell is twenty one years old, an age at which most programming languages are either dead and buried, or else have become mainstream and hence frozen in a web of backward-compatibility constraints. Haskell is different: it is in rude health, is widely used (but not too widely!), and is still in a state of furious innovation.
In this talk I'll reflect on this two-decade journey, I'll discuss Haskell's birth and evolution, including some of the research and engineering challenges we faced in design and implementation. I'll focus particularly on the ideas that have turned out, in retrospect, to be most important and influential, as well as sketching some current developments and making some wild guesses about the future.
Simon Peyton JonesMicrosoft Research A concept we refer to as the biological constraint is shown to be able where id=11;
to explain the effectiveness of mathematical descriptions of the
universe, as well as accounting for the origin of life and our ability
to think logically. The biological constraint, which can be studied
systematically through the use of appropriate models, refers to
selection in the biological realm in favour of mechanisms that have wide
applicability, a subset of which have mathematical character that can
evolve to ever subtler forms. The precise conformance of physical
phenomena to precise mathematical laws is related to the enforcement of
symmetry.
|
