Snippets created by Anton Tayanovskyy
-
Scheme interpreter in F#
A small Scheme interpreter using Higher Order Abstract Syntax (HOAS) encoding for terms. The essence of the technique is to use F# (meta-level) functions to encode Scheme (object-level) functions and other binding constructs, thus avoiding the need for representing variables, bindings, explicit substitution and dealing with shadowing.
37 people like this
Like the snippet!Posted: 13 years ago by Anton Tayanovskyy
-
Union-Friendly Generic Binary Serializer
Implements binary serialization. The encoding supports all records, unions, numeric types, strings, rank-1 arrays, maps, sets, lists and dictionaries. Strings are interned for efficiency. The encoding also uses binary compression (GZIP).
9 people like this
Like the snippet!Posted: 12 years ago by Anton Tayanovskyy