Generic Programming in F#

Abstract

Datatype generic programming is a programming model that exploits the structural similarities of different types in order to generically define functions on families of types. This model demands a powerful type system so it has been seldomly used outside Haskell. This thesis attempts to address this problem by introducing a datatype generic programming for the F# language, which is a simpler functional language designed for existing .NET programmers.