Snippets tagged higher-kinded types
-
Fully Type-Safe Generic Programs
Proof of concept combining HKT encodings à la Higher and object algebras to create a fully type-safe, performant and extensible apparatus for writing generic programs in F#
6 people like this
Like the snippet!Posted: 4 years ago by Eirik Tsarpalis
-
Lightweight HKT Encoding
Lightweight HKT encoding using a tiny amount of SRTP constraint solving for assigning the encoding to underlying types
5 people like this
Like the snippet!Posted: 4 years ago by Eirik Tsarpalis