conal

7 ms·

1. 1.▲
   by conal 11y ago

   "Misapplied" was a paraphrase introduced during transcription, not something I said in my talk.
2. 2.▲
   by conal 12y ago

   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.
3. 3.▲
   by conal 12y ago

   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 (operational) choice. Fo
4. 4.▲
   by conal 12y ago

   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 language, meaning
5. 5.▲
   by conal 12y ago

   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. I really do like you
6. 6.▲
   by conal 15y ago

   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.
7. 7.▲
   by conal 17y ago

   Right. You got it.