Скачать
ICFP'21 Tutorials - Programming with Effect Handlers and FBIP in Koka
Автор: ACM SIGPLAN
Загружено: 2021-09-05
Просмотров: 5660
Описание:
00:00:00 - Introduction.
00:01:57 - Part 1: Koka: Demo, Performance, Status, Syntax, and Effect Typing.
00:35:04 - Part 2: Introduction to Algebraic Effect Handlers.
00:58:47 - Part 3: Theory of Effect Handlers and Efficient Compilation using Evidence Passing.
01:23:45 - Part 4: FBIP: Functional But In-Place algorithms and Perceus Reference Counting.
01:49:51 - Part 5: Theory of Perceus Reference Counting using the Linear Resource Calculus.
02:10:39 - Part 6: Advance Effect Handlers: Masking, Overriding, and Local State.
Link: https://icfp21.sigplan.org/details/ic...
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
![[Haskell'23] The Evolution of Effects](https://ricktube.ru/thumbnail/m821Vz8N_bo/mqdefault.jpg)
