Популярное

Музыка Кино и Анимация Автомобили Животные Спорт Путешествия Игры Юмор

Интересные видео

2025 Сериалы Трейлеры Новости Как сделать Видеоуроки Diy своими руками

Топ запросов

смотреть а4 schoolboy runaway турецкий сериал смотреть мультфильмы эдисон
dTub
Скачать

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

Автор: Code Sync

Загружено: 2023-06-26

Просмотров: 26603

Описание:

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.

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

Поделиться в:

Доступные форматы для скачивания:

Скачать видео mp4

  • Информация по загрузке:

Скачать аудио mp3

Похожие видео

Exploring Verse, Haskell, Language Design and Teaching (with Simon Peyton Jones)

Exploring Verse, Haskell, Language Design and Teaching (with Simon Peyton Jones)

Keynote: Delimited Continuations, Demystified by Alexis King | Lambda Days 2023

Keynote: Delimited Continuations, Demystified by Alexis King | Lambda Days 2023

Стих: Новый язык функциональной логики • Леннарт Аугустссон • GOTO 2023

Стих: Новый язык функциональной логики • Леннарт Аугустссон • GOTO 2023

The Next Programming Language - Douglas Crockford - code::dive 2022

The Next Programming Language - Douglas Crockford - code::dive 2022

Программируем с ИИ в VS Code - БЕСПЛАТНО! Сможет каждый!

Программируем с ИИ в VS Code - БЕСПЛАТНО! Сможет каждый!

Paul Snively - Chapter and Verse: An Outsider's Overview of Epic Games' New Language

Paul Snively - Chapter and Verse: An Outsider's Overview of Epic Games' New Language

Почему я продолжаю говорить по-РУССКИ в УКРАИНЕ? (Особенно в Харькове)

Почему я продолжаю говорить по-РУССКИ в УКРАИНЕ? (Особенно в Харькове)

Past and Present of Haskell – Interview with Simon Peyton Jones

Past and Present of Haskell – Interview with Simon Peyton Jones

Discussing Roc and functional systems with Richard Feldman | 035

Discussing Roc and functional systems with Richard Feldman | 035

Simon Peyton Jones (Epic Games) Talk - IRIF's Distinguished Talk Series

Simon Peyton Jones (Epic Games) Talk - IRIF's Distinguished Talk Series

Simon Peyton-Jones: Escape from the ivory tower: the Haskell journey

Simon Peyton-Jones: Escape from the ivory tower: the Haskell journey

Когда дерзкие бойцы терпят поражение от Наоя Иноуэ

Когда дерзкие бойцы терпят поражение от Наоя Иноуэ

How to build the Metaverse: A new programming language is needed | Tim Sweeney and Lex Fridman

How to build the Metaverse: A new programming language is needed | Tim Sweeney and Lex Fridman

Why Static Typing Came Back • Richard Feldman • GOTO 2022

Why Static Typing Came Back • Richard Feldman • GOTO 2022

Чистейший стиль кодирования, в котором ошибки практически невозможны

Чистейший стиль кодирования, в котором ошибки практически невозможны

[REBASE24] Verse - a new functional logic language

[REBASE24] Verse - a new functional logic language

"A Little Taste of Dependent Types" by David Christiansen

Функциональное программирование против массивов

Функциональное программирование против массивов

Simon Peyton Jones - A History of Haskell: being lazy with class

Simon Peyton Jones - A History of Haskell: being lazy with class

Function Composition in Programming Languages - Conor Hoekstra - CppNorth 2023

Function Composition in Programming Languages - Conor Hoekstra - CppNorth 2023

© 2025 dtub. Все права защищены.



  • Контакты
  • О нас
  • Политика конфиденциальности



Контакты для правообладателей: [email protected]