Abstract:

We explore the design of Frank, a strict functional programming language designed from the ground up around a novel variant of Plotkin and Pretnar’seffect handler abstraction. Inspired by Levy’s call-by-push-value calculus, Frank makes an explicit distinction be-tween computation and value types. Frank combines the advantages of call-by-push-value, call-by-value, and effect typing.