undefined | Better HN

0 pointstel11y ago0 comments

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

0 comments

tome11y ago

Likewise, mostly because it would probably help me understand what CBPV actually is!

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

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.

I would also appreciate a clear introduction.

j / k navigate · click thread line to collapse

tome11y ago

Likewise, mostly because it would probably help me understand what CBPV actually is!

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

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.

I would also appreciate a clear introduction.

j / k navigate · click thread line to collapse