Derived from http://okmij.org/ftp/tagless-final/JFP.pdf
1 people like thisPosted: 5 years ago by Eirik Tsarpalis
Uses tagless-final approach for defining abstracted, general purpose computation expression builders.
2 people like thisPosted: 5 years ago by Eirik Tsarpalis
Example that combines generic programming using tagless-final and typeshape for driving folding of arbitrary types.
5 people like thisPosted: 5 years ago by Eirik Tsarpalis
Derived from http://okmij.org/ftp/tagless-final/JFP.pdf
3 people like thisPosted: 5 years ago by Eirik Tsarpalis
Example that combines generic programming using tagless-final and typeshape for driving folding of arbitrary types.
1 people like thisPosted: 5 years ago by Eirik Tsarpalis