A domain specific language for creating layout using Windows Forms. The snippet implements combinators for creating controls and simple automatic arrangement of them.
43 people like thisPosted: 13 years ago by Tomas Petricek
A combinator based DSL for composing type-safe parameterized sql queries. Inspired by Olivier Danvy's "Functional Unparsing" paper.
10 people like thisPosted: 13 years ago by Nick Palladinos
This snippet shows how to transform simple recursive factorial function to combinator form step-by-step.
2 people like thisPosted: 10 years ago by Dmitri Soshnikov
Applicative style argument accumulator functions inspired by the FParsec.Pipes library. It works by weaving a single continuation argument like a chain, kind of like the pipe function of FParsec but with a arbitrary number of arguments.
3 people like thisPosted: 7 years ago by Marko Grdinić
Implements the theory from 'How to write a financial contract' by S.L Peyton Jones and J-M Eber
11 people like thisPosted: 13 years ago by Ademar Gonzalez
The snippet defines a combinator 'tailrec' that can be used to express tail-recursive functions. If you use 'tailrec' and do not mark your function as recursive, then the function will be a tail-recursive one.
1 people like thisPosted: 11 years ago by Tomas Petricek
Suggestion for a core library function.
2 people like thisPosted: 10 years ago by Eirik Tsarpalis