Snippets tagged object algebra
-
Extensibility for the Masses
F# adaptation of a solution to the expression problem using object algebras, c.f. https://www.cs.utexas.edu/~wcook/Drafts/2012/ecoop2012.pdf
2 people like this
Like the snippet!Posted: 7 years ago by Eirik Tsarpalis
-
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: 5 years ago by Eirik Tsarpalis