talks archive

2025

Od grzejnika do komputera, czyli krótki wstęp do programowania funkcyjnego (PL)

Title in english: From a heater to a computer, aka. a short introduction to functional programming
First presented on 2025-05-24 during the Computer Science Students' Association's conference "KSI⁵".

Abstract (polish, original): Porozmawiamy o podstawowym problemie programowania funkcyjnego, czyii jak napisać program bez efektów ubocznych, lecz jednoczesnie wpływający na nasz świat (w tym nasz komputer). Odpowiemy przy tym na odwieczne pytane „Czym jest monada?”, wspomnimy pokrótce o jej uogólnieniach (transformery) oraz alternatywnych sposobach modelowania efektów, czyli o typowaniu unikalnym i systemach efektów algebraicznych.

Abstract (english, translated): We will talk about the fundamental problem of functional programming, which is how to write a program without side effects but still interacting with the outside world (including our computer). During this, we will answer the well-known question of "What is a monad?", briefly mention it's generalization (transformers) and alternative way of modelling effects, i.e uniqueness typing and systems of algebraic effects.

Slides (PDF)
Slides (Typst source; missing images)
Source w‌/artifacts (.tar.gz)

2024

Kontynuacje i inne abstrakcje (PL)

Title in english: Continuations and other abstractions
First presented on 2024-05-11 during the Computer Science Students' Association's conference "KSI⁴".

Slides (PDF)
Slides (TeX source)
Source w/artifacts (.tar.gz)