2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)(siglog.org)

45 pointsby matt_dletztes Jahr13 comments

siglog.org

2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)

https://siglog.org/winner-of-the-2025-alonzo-church-award/

2 comments

HeliumHydrideletztes Jahr

One language that uses CBPV is Forsp: https://news.ycombinator.com/item?id=40633003

ggmletztes Jahr

Is there an FP/Lambda calculus cogniscenti willing to translate this into ordinary humanese?

vulcan01letztes Jahr

This article was previously on HN and is a good explainer: https://thunderseethe.dev/posts/bet-on-cbpv/

HN discussion: https://news.ycombinator.com/item?id=39653895

tomhowletztes Jahr

Thanks!

I'm Betting on Call-by-Push-Value - https://news.ycombinator.com/item?id=39653895 - March 2024 (64 comments)

throwaway81523letztes Jahr

It looks like a lambda calculus with effectful computations that can model imperative programming. I hadn't heard of it before either.

https://en.wikipedia.org/wiki/Call-by-push-value

zozbot234letztes Jahr

The basic point is to have something akin to lambda-calculus that can equally account for both strict and lazy evaluation strategies, in a way that doesn't unduly sacrifice expressiveness for one or the other. (Compare the ML family of languages and Haskell, where strict and lazy evaluation respectively are idiomatic. You can express lazy evaluation in a ML and strict evaluation in Haskell, but only in clunky ways that don't align with the overall logic of the language. CBPV and other comparable formalisms aim to resolve this.)

ikrimaletztes Jahr

(3)