Live data from Hacker News

Viewing profile — conal

conal

HN member
Joined
Tue, Aug 21, 2007, 2:04 AM UTC
HN karma
11
Public activity
7 items

About conal

Into typed functional programming & denotational design. See http://conal.net and http://conal.net/blog

Recent public activity

  1. comment
    Comment #10001372

    "Misapplied" was a paraphrase introduced during transcription, not something I said in my talk.

  2. comment
    Comment #8825185

    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. comment
    Comment #8825175

    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 oth…

  4. comment
    Comment #8825160

    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 langu…

  5. comment
    Comment #7777029

    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…

  6. comment
    Comment #3327624

    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…

  7. comment
    Comment #619675

    Right. You got it.