Simple Functional Effects with Tag Unions • Richard Feldman • YOW! 2022

Подписаться 998 тыс.

Просмотров 10 тыс.

50% 1

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.
ru-vid.com...

Наука

Опубликовано:

29 июл 2024

Ссылка:

Скачать:

Готовим ссылку...

Добавить в:

Мой плейлист

Посмотреть позже

Комментарии : 20

@paryoticu 10 месяцев назад

Roc is getting an effect system, which will be async-capable and will use continuation-passing-style. Wow, terrific news if I understood correctly. Great presentation as always rtfeldman.

@csbnikhil Год назад

For Rust though, map_err calls can be avoided. But that will come at the cost of writing std::convert::From implementations for each.

@angeloceccato Год назад

I like the effect system + the row polimorphism of Roc 😍

@ShawnShaddock Год назад

Great video, Roc sounds really cool!

@humanlytyped Год назад

35:07 isn't this part a monadic bind?

@pdp11 5 месяцев назад

That's just an artefact of the fact that effects can be encoded by monads.

@humanlytyped Год назад

This is exactly final encoding vs initial encoding. With algebraic data types, we can pair initial encoding with the interpreter pattern to obtain extensible effects. OOP simulates sum types using ad-hoc polymorphism, so we can pair final encoding and the decorator pattern to obtain extensible effects. I like how Roc automatically extends the tags returned from a function. There is probably an analogue in OCaml, I think it's row polymorphism.

@csbnikhil 11 месяцев назад

In OCaml, Polymorphic Variants enable Row Polymorphism.

@aloussase Год назад

Do syntax would avoid all those Task.await. Event F# has something like that with computation expressions.

@MaksimVolkau Год назад

Scala3 ZIO in Roc but without the environment, right?

@renghenkow Год назад

very similar to what nim has as an effect system

@minecraftermad 3 месяца назад

missed chance to mention zig :)

@markhamburg5535 9 месяцев назад

How easy does Roc make it to specify that a piece of code is only allowed to perform some effects but not others? For example, could one specify that when running a database transaction we would allow access to the local file system but not to the network in order to limit task latency while holding a connection open on the database? Presumably this would show up as an explicit type for the third type argument for Task? Would the Roc compiler then present an error at the point where you tried to perform a disallowed task or would it error out at the point where the type was explicitly specified?

@JT-mr3db Год назад

This looks very similar to how Parser combinators work. Parsers returning parsers.

@Mik1604 Год назад

How is map_err specifically used for Errors only? It seems to me like something like map_type is much more generic and useful.

@Qrzychu92 11 месяцев назад

it's basically monadic bind (your map_type), but for the error path of the code instead of success

@MarkusBurrer 5 месяцев назад

Is IT possible to do the same Thing in Rust?

@user-uf4rx5ih3v 4 месяца назад

Yes it is. But I imagine it wont be as ergonomic as this because you would have to implement the Task monad manually everywhere. Most of the functional features of Rust are first class because otherwise using them is not nice. Perhaps if you could derive Task automatically with macros but I'm not a big Rust expert so I don't know.

@walrustrent2001 10 месяцев назад

The non-capabilities seem like capabilities to me. Effects are specific beasts that need to be distinguished from purely functional code as much as possible.