A function type to dispatch on types instead of classes with partial support for dispatching on optional and keyword argument types.

Sunlight lang is a dynamic, lazy, and functional programming language that compiles to Lua and JS

Simple stub factories slightly mimicking undefined from Haskell

Polymorphic functions as natural transformations.

sql along with a case study

Generic programming for Scala

Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.

An immutable complex number class with real and imaginary parts.

Introduction to test aspects and property based testing.