u/selfin r/ProgrammingLanguages • Recommends
Beyond functional programming: a taste of Verse. Simon Peyton Jones & Tim Sweeney
0:00 / 0:00
#verse#functionallogicprogramming#simonpeytonjones
Beyond functional programming: a taste of Verse. Simon Peyton Jones & Tim Sweeney | Lambda Days 2023
Code Sync
15K subscribers • 68 videos on Hallway
- Recommended by 6 people: 3 on Hacker News, 1 on Lobsters and 2 in engineering communities.
- Presented by Simon Peyton Jones and Tim Sweeney
Intermediate. Assumes working knowledge.
29K views3 years ago6 recommendations
Programming languagesGame developmentLanguage design and type systemsFunctional programmingGame programming
Simon Peyton Jones and Tim Sweeney introduce Verse, a functional logic language designed for the metaverse, explaining its core calculus and features.
Keynote talk by Simon Peyton Jones and Tim Sweeney from Epic Games. Verse is a new programming language, being designed at Epic Games as the language of the metaverse. Verse is a functional logic language, with a bunch of innovative ideas. Like Haskell, Verse is declarative (a variable in Verse stands for just one, immutable value), and higher order (lambdas are first class). But Verse goes well beyond Haskell, with existential variables, unification, expressions that yield multiple values, and much more besides. In this talk we'll give you a sense of what functional logic programming is about, what it looks like to program in Verse, and how we can give meaning to Verse programs using rewrite rules.Why it's here
6 people recommend thisWhat people say. Recommended as an excellent deep dive into the design and theory behind Epic's Verse language.
Moments people linked to
u/kinowmodin r/functionalprogramming • Recommends
Beyond functional programming: a taste of Verse. Simon Peyton Jones & Tim Sweeney
Areliuson Hacker News • Recommends
On “A new F# compiler feature: graph-based type-checking”
…no way invalidate the usefulness of the categorization system. Maybe it's helpfulnto consider the properties of your classes. To risk your further descent into madness. I recommend the Lambda days talk on the Verse programming language 1. Which has further contemplation on the topics you are thinking about. With an eye towards practicality. 1: link to this video…
silokon Hacker News • Recommends
On “Relive: Swift Godot: Fixing the Multi-million dollar mistake – GodotCon 2023”
The topic of programming languages in game development, and realtime interactive environments is such an unsolved issue that needs a lot of attention. There are huge problems eg with both the Unity C# approach as well as Unreal C++. The swift approach is very interesting indeed, and Miguel de Icaza as the author gives additional reason to follow this effort. Additionally the Verse project from Unreal is extremely interesting imo, and has much wider scope/implications. link to this video
ReleaseCandidaton Hacker News • Recommends
On “Gerald Sussman: Programming is (should be) fun (2022) [video]”
That must of course be "Haskell is useless" link But apart from that, his enthusiasm can even make the mseemingly most boring topic interesting. I'd personally start either at "the story of Haskell" Escape from the Ivory Tower link Or something more recent, about Epic's Verse link to this video
u/WittyStickin r/ProgrammingLanguages • Mentions
On “Feasibility of type feature”
Check out Verse, a functional logic language being researched at Epic Games.
iamwilon Hacker News • Mentions
On “I'm not mutable, I'm partially instantiated”
Simon Peyton Jones (of Haskell) is working on Verse, a functional relational programming language, that merges the ideas of both functional and logical programming into one. It’s being done to facilitate Fortnite metaverse, as he’s doing this work at Epic. link to this video
u/dimagogin r/ProgrammingLanguages • Mentions
On “Languages with abnormal function return schemes”
Verse is rather unique in this sense: link to this video
u/nythroxin r/haskell • Mentions
On “Curry is a Functional+Logic pl, and here's a crazy motivating example”
Verse actually does this, and its also a functional logic language. Though there isn't much in-depth documentation on it currently, other than the Verse calculus. He talks about it here: [video
\`2 < x < 10\` works because \`<\` returns x if x is smaller than 2, which then returns x again if its smaller than 10. Conditionals as long as they receive a value, so if (100>x>20) then x else y will return x if x doesn't fail (returning zero values)