Рет қаралды 9,451
This presentation was recorded at YOW! 2022. #GOTOcon #YOW
yowcon.com
Richard Feldman - Functional Programming Language Expert & Author of “Elm in Action”
RESOURCES
/ rtfeldman
github.com/rtfeldman
/ rtfeldman
ABSTRACT
There are many ways a programming language can support effects. For many years, side effects were the only game in town. Today, there are a variety of ways to model effects in a more functional way, with each effect system having its own set of tradeoffs.
This talk introduces a simple, high-performance effect system based on tag unions - which can be implemented in the Roc programming language, as well as in #OCaml using #polymorphic variants. The system allows for easily mixing I/O operations that can fail in different ways (such as HTTP requests and file I/O), while still offering exhaustiveness checking on all the error cases. It also makes it easy to tell which functions are using which effects (for example, "this part of the code base does HTTP and reads from the filesystem, but is guaranteed not to write to the filesystem"), and to enforce at compile time that certain calls may result in some effects but not others.
If you're interested in a simple, high-performance effect system with these characteristics, come see what it's all about in this talk! [...]
Download slides and read the full abstract here:
yowcon.com/sydney-2022/sessio...
RECOMMENDED BOOKS
Richard Feldman • Elm in Action • amzn.to/387kujI
Tim McNamara • Rust in Action • amzn.to/3ux2R9u
Jeremy Fairbank • Programming Elm • amzn.to/2WhZCE8
Wolfgang Loder • Web Applications with Elm • amzn.to/3jblQ3q
Cristian Salcescu • Functional Programming in JavaScript • amzn.to/3y75jBS
/ gotocon
/ goto-
/ gotoconferences
#FunctionalProgramming #FP #Elm #ElmInAction #Elmlang #TagUnions #RichardFeldman #SoftwareEngineering #Programming #SoftwareDevelopment #YOWcon
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.
kzbin.info...