Shubhadeep Roychowdhury

12/12/2022, 9:45 AM
Beyond Functional Programming: The Verse Programming Language [pdf] -

Scott Anderson

12/12/2022, 9:18 PM
Video of the talk here



12/13/2022, 10:24 PM
ok so the main person behind haskell is working on a new language?

Scott Anderson

12/13/2022, 10:40 PM
Yes, and it will be embedded in one of the most popular online games
So there will be thousands of new functional language programmers


12/15/2022, 1:32 AM
tl;dw Add ordered choice to a functional language. Evaluation is "lenient" which basically means "sooner or later don't worry so much." It's certainly an ideal. The real novel thing is using rewrite rules as the core semantics with the hope of optimizing away a lot of choice at compile time. The talk specifically is not about the type system, typing of effects, and transactions, which are extremely important for making Verse useful. An advantage of having a functional/logic core is that many complicated programs naturally end up in that space whether you like it or not. (I have in mind of a few gnarly, "here be dragons" blocks of code recently written, which would have been entirely unnecessary in a logic language. As is, I ended up with just a few lines, but one junior programmer on our team beheld them and has been quietly mumbling ph'nglui mglw'nafh in the corner ever since.) Moreover, a powerful logical core in a big ecosystem makes possible a whole range of larger programs that people rarely write. It's just that non-determinism is usually localized rather than operating at scale. (I suppose map-reduce programs being the most notable exception.) I've also been super exited about rewriting/partial-evaluation for years and years because of the potential to specialize an flexible framework so that actual running code throws away all the abstract indirection.