0:00 / 0:00
#ocaml#algebraiceffects#effecthandlers
01 Effective Programming: bringin algebraic effects and handlers to OCaml
ICFP Video
3.8K subscribers • 33 videos on Hallway
- Recommended by 2 people: 1 on Lobsters and 1 in engineering communities.
Advanced. Deep dive for people who know the field.
2.8K views10 years ago2 recommendations
Programming languagesOCaml and F#Language design and type systems
An in-depth presentation on the design and implementation of algebraic effects and handlers in OCaml.
The uploader added no description.Why it's here
2 people recommend thisu/lpw25in r/ocaml • Mentions
On “Any Multicore OCaml 2018 news?”
It's not opt-in but it is backwards compatible. The key is that the existing `->` means roughly "side-effecting function", whilst a new arrow `->>` means "pure function" (actually these are both sugar for types in a more general syntax: `-io->` and `-[]->`). So side-effects are tracked accurately, but legacy code-bases will conservatively be marking all their functions as side-effecting.
See my talk:
link to this video
for an overview.
u/_youtubot_in r/ocaml • Mentions
On “Any Multicore OCaml 2018 news?”
Video linked by /u/lpw25:
Title|Channel|Published|Duration|Likes|Total Views
:----------:|:----------:|:----------:|:----------:|:----------:|:----------:
01 Effective Programming: bringin algebraic effects and handlers to OCaml|ICFP Video|2016-09-18|0:54:30|18+ (100%)|1,840
---
^Info ^| ^/u/lpw25 ^can ^delete ^| ^v2.0.0
u/YuntiMcGuntiin r/ocaml • Mentions
On “Multicore OCaml catches up to trunk (4.06.1)”
Did the algebraic effects work land as a typed solution (I did see earlier talk of possibly doing a limited version that was untyped)?
Additional the reamining problems leo mentioned in this talk link to this video
get resolved - did he go for introducing linear types or an alternative solution?