This presentation was recorded at YOW! 2021. #GOTOcon #YOW
yowcon.com
KC Sivaramakrishnan - Professor & Hacker at IIT Madras @SivaramakrishnanKC
RESOURCES
kcsrk.info
/ kc-sivaramakrishnan-25...
/ kc_srk
github.com/kayceesrk
ABSTRACT
Effect handlers have been gathering momentum as a mechanism for modular programming with user-defined effects. Effect handlers allow for non-local control flow mechanisms such as generators, async/await, lightweight threads and coroutines to be composably expressed. The #Multicore OCaml project retrofits effect handlers to the OCaml programming language to serve as a modular basis of concurrent programming.
In this talk, I will introduce effect handlers in OCaml, walk through several examples that illustrate their utility, describe the retrofitting challenges and how we overcome them without breaking the existing OCaml code. Our implementation imposes negligible overhead on code that does not use effect handles and is efficient for code that does. Effect handlers are slated to land in OCaml after the addition of #parallelism support. [...]
RECOMMENDED BOOKS
Anil Madhavapeddy • Real World OCaml • amzn.to/3sgefYj
Merih Taze • Engineers Survival Guide • amzn.to/45xUud3
Richard Feldman • Elm in Action • amzn.to/387kujI
Tim McNamara • Rust in Action • amzn.to/3ux2R9u
Jeremy Fairbank • Programming Elm • amzn.to/2WhZCE8
/ gotocon
/ goto-
/ gotoconferences
#OCaml #FunctionalProgramming #FP #Programming #SoftwareEngineering #OCamlTutorial #KCSivaramakrishnan
Looking for a unique learning experience?
Attend the next GOTO conference near you! Get your ticket at gotopia.tech
Sign up for updates and specials at gotopia.tech/newsletter
SUBSCRIBE TO OUR CHANNEL - new videos posted almost daily.
kzitem.info...
Негізгі бет Effective Programming in OCaml • KC Sivaramakrishnan • YOW! 2021
Пікірлер: 8