undefined | Better HN

0 pointstel11y ago0 comments

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.

0 comments

tome11y ago

Hmm, really? I just read a couple of papers linked from his website, but I'm still not feeling enlightened.

telOP11y ago

I may write a blog post. Hm.

tome11y 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.

1 more reply

dllthomas11y ago

I would also appreciate a clear introduction.

j / k navigate · click thread line to collapse

0 pointstel11y ago0 comments

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.

0 comments

tome11y ago

Hmm, really? I just read a couple of papers linked from his website, but I'm still not feeling enlightened.

telOP11y ago

I may write a blog post. Hm.

tome11y ago

1 more reply

dllthomas11y ago

I would also appreciate a clear introduction.

j / k navigate · click thread line to collapse