
S-REPLS 11
Join us February 8th, 2019 for S-REPLS 11 at Facebook’s London office! S-REPLS is a full day of informal talks and networking intersecting both academic and commercial perspectives in the semantics and implementation of programming languages.
The event features nine speakers covering a wide variety of topics, including 47 Degrees’ CTO, Raúl Raja who will present Arrow Fx: Bringing Typed FP to the masses
He explains, “In recent years, patterns like Tagless Final have become popular in the typed FP community, in languages like Haskell, Scala, Kotlin, and even Java.
Arrow Fx takes Tagless Final and, in general, effectful programming over IO
style monads further by:
- Providing compile-time guarantees that declare suspended effects don’t or won’t? compile/run in the environment uncontrolled,
- Eliminating all the syntactic noise of parametric
F
algebras by providing direct syntax in the environment with effect control over continuations. - Auto-binding kinded results in FP Type class combinators eliminating the need to unwrap via do notation or monadic comprehensions.
In this talk we will look at some of the Kotlin and Arrow features and how Kotlin, despite some of its type system limitations can bring FP to the masses by enabling direct style for effectful programming.”
The event is FREE but you must RSVP here!
Big thanks to Facebook for hosting the event and having us speak!