"Misapplied" was a paraphrase introduced during transcription, not something I said in my talk.
Sorry about that. My blog seems to be working now. I don't know what happened earlier. I think the server I've been using is underpowered. Hopefully I'll get my site migrated soon.
Termination (really, non-bottom-ness vs bottom-ness) is a semantic (denotational) property, independent of the whims of any correct compiler. Execution/evaluation order, on the other hand is an implementation…
Lazy and eager evaluation are both sequential evaluation schemes, and are properties of language implementations, not of languages. Haskell is thus not lazy (nor is any other language). Rather, Haskell is a non-strict…
Indeed I misinterpreted your remarks on Sunday about the origin of Elm. I now understand that while you had an independent inspiration about time-varying values, your design of Elm was strongly influenced by FRP papers.…
For an even earlier FRP paper, see http://conal.net/papers/ActiveVRML/, about the first implementation of what came to be called "FRP". Fran was my reimplementation of that system after I found Haskell.
Right. You got it.
"Misapplied" was a paraphrase introduced during transcription, not something I said in my talk.
Sorry about that. My blog seems to be working now. I don't know what happened earlier. I think the server I've been using is underpowered. Hopefully I'll get my site migrated soon.
Termination (really, non-bottom-ness vs bottom-ness) is a semantic (denotational) property, independent of the whims of any correct compiler. Execution/evaluation order, on the other hand is an implementation…
Lazy and eager evaluation are both sequential evaluation schemes, and are properties of language implementations, not of languages. Haskell is thus not lazy (nor is any other language). Rather, Haskell is a non-strict…
Indeed I misinterpreted your remarks on Sunday about the origin of Elm. I now understand that while you had an independent inspiration about time-varying values, your design of Elm was strongly influenced by FRP papers.…
For an even earlier FRP paper, see http://conal.net/papers/ActiveVRML/, about the first implementation of what came to be called "FRP". Fran was my reimplementation of that system after I found Haskell.
Right. You got it.