:books: A demonstration of implementing a "type-safe" lazy iterator inte...
Examples and exercises from the blog series
PhD research ;; What's the difference between a typeclass/trait and a re...
Full-featured traits in Julia. Without full features how dare I say this?
Some examples for Λrrow Meta the functional companion to Kotlin's Compil...
Principled, fast, typeclass derivation.
Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypecla...
Purely functional testing in Scala
Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ ...