Beyond functional programming: a taste of Verse. Simon Peyton Jones & Tim Sweeney | Lambda Days 2023

Code Sync · 29K views · 2023 · 1:12:14

Open on YouTube

Functional programmingProgramming language designtalkdated

Why Hacker News recommends it

HN recommends it as an interesting look at functional logic programming with wide implications for game programming.

What it is

A Lambda Days keynote by Simon Peyton Jones and Tim Sweeney introducing Verse, Epic's functional logic language for the metaverse. It covers existential variables, unification and expressions yielding multiple values.

Recommended by 3 HN commenters across 2 different months, 2023 to 2024.

What Hacker News said

Recommends Arelius · 2023-11 · on “A new F# compiler feature: graph-based type-checking”

> Given that this F# feature enables parallel analysis, wouldn't it make sense to do all of our development in a Lisp-like Trie structure where the types are simply part of the program itself, like in Idris2? Yeah, maybe, you for sure could, but in the context of F# as it exists, it may be hard to get from here to there. > 'm afraid I don't even understand what the difference between code, data, and types are anymore... it used to make sense, but these new languages have dissolved those boundaries in my mind, and I am not sure how to build it back up again. Yeah, good luck with that. I think maybe taking a mental step away from programing might help. It's true that human interpretation of th

Recommends silok · 2023-11 · 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. [this video]

Recommends ReleaseCandidat · 2024-06 · 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 [this video]

Cites iamwil · 2024-11 · 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. [this video]