Lambda Days 2020

Notes from the conference

I've been to Lambda Days 2020 Conference last week and wanted to gather my notes and recommendations I got for learning functional programming from speakers and other participants.

Introduction to Kotlin's coroutines and reactive streams by Krystian Rybarczyk #

I've enjoyed a talk by Krystian Rybaczyk about Kotlin Flows.

I'm not a heavy Kotlin user and Flows still aren't ready, but it was similar to async/await in JS and Python. Looks promising.

He warned about * RaectiveX libraries as writing new operators is hard and it's a lot harder to reason about streams.

Comparing common concurrency patterns in Elixir and Erlang by Devon Estes #

Devon Estes talk was based on 4 most common patterns from a book Patterns for Parallel Programming

It was interesting to learn how GenStage works by basically using back-pressure to get work done. It was an example of Pipeline Processing.

Nix -- the functional package manager by Piotr Gaczkowski #

Basics of Nix Package Manager. You can see the slides at Piotr Gaczkowski website.

direnv is an extension for your shell. It augments existing shells with a new feature that can load and unload environment variables depending on the current directory.

Category Theory as a Tool for Thought by Daniel Beskin #

What I got from this talk was a list of things I can learn that I would need to understand it.

I got the list from Cezar Pokorski who asked the presenter for introductory materials.

Some quotes to give you an idea about a talk (mentioned as a joke, but I wasn't laughing) #

A monad is just a monoid in the category of endofunctors, what's the problem?
~ James Iry more info

All Concepts are Kan Extensions
Saunders MacLane

Modelling Side Effects via Extensible Effects and Property Testing by William Heslam #

It was a great talk about:

  1. Property Testing
  2. Extensible Effects
  3. How to use them together

I've learned about TestCheck.js that I can use in JS or TS.

Unfortunately, the last two parts of the talk while well presented didn't seem to me like they were worth diving into, but in comparison, Property Testing is super easy.

The power of Π by Thorsten Altenkirch #

Another talk that was way above my level. Just a couple of useful links:

Haskell type system is not up to the job, because it lacks Dependent Types.
~ from my notes by Thorsten Altenkirch

Effect Handlers: A New Approach to Computational Effects by Maciej Piróg #

I've learned that Maciej Piróg works on Effect Handlers in Wrocław, Poland. It was great to see the new language called Helium that supports Effect Handlers.



Share on Hacker News
Share on LinkedIn


← Home