2 talks on the new <#C5UPMM0A0|arrow> Fx Coroutine...
# feed
r
2 talks on the new #arrow Fx Coroutines library and the new type system proofs features in #arrow-meta with my friend and colleague @simon.vergauwen. For those interested we discuss features for concurrency like Scheduler and parTraverseN and type system features like Refined Types, Union Types, Extensions (replaces type classes) and coercion functions (alternative to inheritance with function composition). Thanks everyone in 47, Kotliners, micro.sphere it, Jebrains and everyone in 47 that helped made this work possible.

https://www.youtube.com/watch?v=6sw8GAhUJz0

https://www.youtube.com/watch?v=ETn_6LmMjho&amp;t=3s

arrow 9
🙌 5