3 Talks: Kotlin, TypeScript and NixOS

Come join us on our first meetup of 2021! We will have some presentations on various Functional Programming topics, interleaved with plenty of time to chat. Anyone is welcome to join regardless of their backround.

Venue and catering provided courtesy of ClearPoint.

We will have three talks on this meetup; schedule below (the order of the talks might be different). We will have a break with some food and drinks.

# Schedule

• 18:00 - Introductions
• 18:10 - First talk
• 18:40 - Second talk
• 19:10 - Pizza
• 19:30 - Third talk

# Talks

## David Rawson: Arrow of Outrageous Fortune

Kotlin is a modern language developed by JetBrains. This talk covers why you might want to use Kotlin in general and specifically how Kotlin can support FP idioms like error handling without exceptions and leaning on the compiler. For this, we will be looking at the FP library "Arrow", recently mentioned on the ThoughtWorks Tech Radar.

## Hackle Wayne: Dependent Types in TypeScript, with your favourite example

TypeScript === (C# or Java) + JavaScript?

This cannot be more wrong! To see how advanced TypeScript can get, we'll look at something that is impossible to do in other mainstream languages, and is even non-trivial in the likes of Haskell . We are talking about dependent types, at least a good example of it. An original talk.

## Daniel Britten: macOS to NixOS (the "Purely Functional Linux Distribution") - My Experience

NixOS, the "Purely Functional Linux Distribution", is an interesting choice to switch to from macOS (or any OS). It has some unique advantages as well as some annoying quirks. I'll discuss my experience of switching from a MacBook Pro to a Dell running NixOS for everyday usage as a Computer Science PhD student.