Snippets created by Daniil
-
Peano constructs
Here we define Peano arithmetic using F# abstract data types.
5 people like this
Like the snippet!Posted: 12 years ago by Daniil
-
Polymorphic Maybe monad with default value.
Polymorphic (via generics) Maybe monad/computational expression with default value + Zipper
6 people like this
Like the snippet!Posted: 12 years ago by Daniil
-
Turing machine interpreter
A Turing machine emulator. An infinite tape is simulated by a zipper, instructions are stored in the binary tree for faster lookup.
4 people like this
Like the snippet!Posted: 12 years ago by Daniil