Algebraic effects and handlers in the Effekt language
Автор: Jakub Kozłowski
Загружено: 2020-08-03
Просмотров: 2421
This is a different kind of episode - this time there will be no Scala code involved (well, except behind the scenes)!
Today I'm talking about a new, exciting language submitted for OOPSLA: it's called Effekt.
In this video you'll learn what makes the language different from what you might already be used to, and how to work with basic algebraic effects in it.
If you liked the video, please like and subscribe!
Read the code: https://github.com/kubukoz/videos/blo...
Table of contents:
0:00 - Introduction, hello world
1:23 - Creating custom effects
2:17 - Handling custom effects
3:44 - resume
5:03 - An exception effect with a return value
5:44 - Handling the exception effect
7:47 - "throwing" exceptions
9:47 - Resuming more than once
10:46 - Summary, comparison to FP, parting words
Effekt's website: https://effekt-lang.github.io/effekt-...
Paper submitted for OOPSLA: http://ps.informatik.uni-tuebingen.de...
As of now, the compiler is a Scala program running on the JVM, which produces JavaScript output. The compilation times in the video have been sped up, so don't be surprised if it takes a little longer for you :)
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
