> I think that Call-by-push-value can help us with both recovering the benefits ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		rntz on Oct 20, 2014 \| parent \| context \| favorite \| on: Haskell Is Exceptionally Unsafe (2012) > I think that Call-by-push-value can help us with both recovering the benefits of laziness as well as reasoning about effects. I would be very interested to hear why you think that, or just have some links on the subject. In particular it's not clear to me how CBPV helps us reason about effects.

jonsterling on Oct 20, 2014 [–]

It might help to read Levy's thesis, which is source on CBPV. Also read the literature on Conor McBride's Frank, which is based on a variant of CBPV.

Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact