[Haskell24] MicroHs: A Small Compiler for Haskell

Автор: ACM SIGPLAN

Загружено: 2024-11-24

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

Описание: MicroHs: A Small Compiler for Haskell (Video, Haskell 2024)
Lennart Augustsson
(Epic Games)

Abstract: MicroHs is a compiler for Haskell2010. It translates Haskell to SKI style combinators via $lambda$-calculus. The runtime system is quite small with few dependencies.

Article: https://doi.org/10.1145/3677999.3678280

ORCID: https://orcid.org/0009-0008-6894-4020

Presentation at the Haskell 2024 conference, September 6–7, 2024, https://icfp24.sigplan.org/home/haske...
Sponsored by ACM SIGPLAN, https://www.sigplan.org/

Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...

[Haskell24] MicroHs: A Small Compiler for Haskell

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

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

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

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

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

[Haskell24] Lightning Talks I

[Haskell24] Lightning Talks I

Lennart Augustsson - MicroHaskell

Lennart Augustsson - MicroHaskell

Ben Lynn on "MacGyver's Haskell Compiler" @ZuriHac2023

Emacs в 2026: Секретное оружие или старый хлам? |vim, vscode, lisp, org-mode|Podlodka Podcast #460

Emacs в 2026: Секретное оружие или старый хлам? |vim, vscode, lisp, org-mode|Podlodka Podcast #460

Многопоточный интерфейс FFI opensmalltalk-vm

Многопоточный интерфейс FFI opensmalltalk-vm

Haskell

Introduction to Haskell

Introduction to Haskell

How to Build a Virtual Machine

How to Build a Virtual Machine

Basic optics: lenses, prisms, and traversals in Haskell

Basic optics: lenses, prisms, and traversals in Haskell

Переговоры в Абу-Даби | Макрон отобрал танкер | Изменения в Европе (English subtitles)

Переговоры в Абу-Даби | Макрон отобрал танкер | Изменения в Европе (English subtitles)

So you want to write an interpreter?

So you want to write an interpreter?

Let's read the Haskell Language Server source code

Let's read the Haskell Language Server source code

Debian: САМЫЙ СТАБИЛЬНЫЙ Linux и ТЁМНАЯ История Создателя

Debian: САМЫЙ СТАБИЛЬНЫЙ Linux и ТЁМНАЯ История Создателя

02-05 Haskell Language Server (Introduction to Haskell)

02-05 Haskell Language Server (Introduction to Haskell)

Профессор Ю.Н. Харари: угрозы и риски ИИ в будущем (Давос 2026)

Профессор Ю.Н. Харари: угрозы и риски ИИ в будущем (Давос 2026)

Alan Zimmerman - Haskell IDE Support via LSP (HaskellX 2018)

Alan Zimmerman - Haskell IDE Support via LSP (HaskellX 2018)

Саботаж в правительстве Путина / Обыск во дворце

Саботаж в правительстве Путина / Обыск во дворце

[Haskell24] Lightning Talks II

[Haskell24] Lightning Talks II

Структура файлов и каталогов в Linux

Структура файлов и каталогов в Linux

[POPL'26] Réfectoire - POPL (Jan 15th)

[POPL'26] Réfectoire - POPL (Jan 15th)