Snippets tagged types
-
General power function with units
The snippet demonstrates how to write a general power function that has correct type involving units-of-measure. The function uses numbers represented using types. The snippet is mainly an example of what can be done (not recommended for the real world).
5 people like this
Like the snippet!Posted: 12 years ago by Tomas Petricek
-
Heterogeneous container
OCaml original here : http://eigenclass.org/R2/writings/heterogeneous-containers-in-ocaml
9 people like this
Like the snippet!Posted: 12 years ago by Ademar Gonzalez
-
Traits, Mixins and Aspect-Oriented Programming in F#
A compositional type system built using generics and monads in F#. It is only a very limited, _toy_ project exploring traits, mixins and aspect-oriented programming.
17 people like this
Like the snippet!Posted: 11 years ago by Zach Bray
-
HList with Mapper and Folder
Extended from: http://www.fssnip.net/d2
1 people like this
Like the snippet!Posted: 9 years ago by Rick Minerich
-
Simple type arithmetic with Peano numbers.
Simple type arithmetic with Peano numbers, using a recursive type and pattern matching over it.
1 people like this
Like the snippet!Posted: 8 years ago by Giacomo Stelluti Scala
-
phantom types for dependent types; sized list; less than
Using phantom types to emulate simple dependent types and sized list. Inspired by: https://www.seas.upenn.edu/~sweirich/cis670/09/
6 people like this
Like the snippet!Posted: 3 years ago by Vankata
-
Universal Type
Implements a type into which any other type can be embedded. Check out this link for a discussion: http://ocaml.janestreet.com/?q=node/18
8 people like this
Like the snippet!Posted: 12 years ago by Ademar Gonzalez
-
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
-
Dictionary with comparer as type parameter
Tired of confusing dictionary instances with different comparers (I am)? Stick it in the type, à la ocaml-core maps.
4 people like this
Like the snippet!Posted: 10 years ago by Mauricio Scheffer
-
Type Inference for ML/Haskell
This is just the ML code from http://jozefg.bitbucket.org/posts/2015-02-28-type-inference.html ported to F#.
3 people like this
Like the snippet!Posted: 9 years ago by Rick Minerich
-
Phantom type example
The snippet shows a minimal example of phantom types for type-safe way of tracking different types of IDs in a simple system.
7 people like this
Like the snippet!Posted: 4 years ago by Tomas Petricek