C# pure functional programming framework - come and get declarative!
Native JavaScript prototype extension with symbol protocols
Implementation of type classes
A statically typed functional language with type inference, ad-hoc polymorphism, and an extensible operator syntax. Influenced by Rust, ML, and Haskell.
SLConf 2024: 타입으로 안전하게 프로그래밍하기
Junu Spaghetti, a language that types spaghetti code
Free Love uses a library model to showcase advanced Scala concepts like polymorphism, variance, bounds, and the Curiously Recurring Template Pattern.
Python's extensive support for operator overloading can help you greatly reduce the conceptual complexity of your library or framework, allowing programmers who must use it to leverage the extensive k...
C++98 exercises focusing on ad-hoc polymorphism, operator overloading, and canonical forms