4 ms·

I would love to see a "practical" CBPV language.

• tome 12y ago
  Likewise, mostly because it would probably help me understand what CBPV actually is!
  • tel 12y ago
    It's remarkably easy to understand if you're already used to monads. Levy's thesis is a bit opaque from that POV, but not unpleasant to read.
    • tome 12y ago
      Hmm, really? I just read a couple of papers linked from his website, but I'm still not feeling enlightened.
      • dllthomas 12y ago
        I would also appreciate a clear introduction.
      • tel 12y ago
        I may write a blog post. Hm.
        • tome 12y ago
          That would be great! I'm currently reading "Bridging the gulf: a common intermediate language for ML and Haskell" (Peyton Jones, Shields, Launchbury, Tolmach) which was one of Paul Levy's references for CBPV and it seems likely it was a main inspiration.
          • tel 12y ago
            I usually think of Filinski's Declarative Continuations and Categorical Duality... but it's such a dense paper I can't recommend it offhand.