HackerTube.dev

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

Code Sync · 29.8K views · 2023-06-26 · 1:12:14

Open on YouTube ↗

If playback is restricted in your region, try opening the original video. Use Mark watched to add it to your marked videos.

Overview

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.

On Hacker News

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

Recommended by 3 HN people across 2 months · HN mentions 2023–2024

Topics

Functional programmingProgramming language design
Search by tags
verseepic gameshaskellunificationlanguage design

What people said

ReleaseCandidat · 2024-06 · Recommendation

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 [VIDEO]

Read the original HN comment ↗
Arelius · 2023-11 · Recommendation

> 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 the world often has these properties. And he generalization of the systems in 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]: [VIDEO]

Read the original HN comment ↗
silok · 2023-11 · Recommendation

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. [VIDEO]

Read the original HN comment ↗

Sources

Video by Code Sync, played through YouTube.

Data and selection notes

HN summaries and labels may contain AI errors. HN dates refer to discussions, not video publication.

HN Library: HackerTube export (2026-10-31) and open-index/hacker-news. Upstream summaries and classifications may contain AI errors.

Views, duration and playback status refresh separately from the published catalog. When an update fails, existing data remains visible.

Selection checks
  • SaaS & AI candidates: Topic keywords do not match
  • Editor-approved picks: Editorial review is required

Rule matches identify candidates. They do not guarantee video quality or financial results.

About the library and its sources