undefined | Better HN

0 pointsufo11y ago0 comments

He's probably saying that he things the next big thing will be strict by default and feature a neat module system.

0 comments

Yes, that's close! I also think that we'll need a better treatment of effects than either ML or Haskell can give us, but I hope to have something that has been carefully thought about, rather than bolted on like Haskell's effects.

It sounds like call-by-push-value gives a nice unifying approach to CBN/CBV and also effects. I am hoping that something interesting will come out of that work.

tome11y ago

It's been about 15 years since CBPV was proposed. Has there been any work on actually making a practical language along those lines?

jonsterling11y ago

Conor McBride & friends have been working on Frank (here's a recent draft paper: http://homepages.inf.ed.ac.uk/slindley/papers/frankly-draft-...).

Frank's basically based on an extension of the CBPV calculus. As far as I know, Conor's also working on extending the core Frank calculus to the dependently-typed case, though this might take a bit.

j / k navigate · click thread line to collapse

0 comments

jonsterling11y ago

It sounds like call-by-push-value gives a nice unifying approach to CBN/CBV and also effects. I am hoping that something interesting will come out of that work.

tome11y ago

It's been about 15 years since CBPV was proposed. Has there been any work on actually making a practical language along those lines?

jonsterling11y ago

Conor McBride & friends have been working on Frank (here's a recent draft paper: http://homepages.inf.ed.ac.uk/slindley/papers/frankly-draft-...).

Frank's basically based on an extension of the CBPV calculus. As far as I know, Conor's also working on extending the core Frank calculus to the dependently-typed case, though this might take a bit.

j / k navigate · click thread line to collapse