The snippet shows a minimal example of phantom types for type-safe way of tracking different types of IDs in a simple system.
Posted: 4 years ago by
Using phantom types to emulate simple dependent types and sized list.
Inspired by: https://www.seas.upenn.edu/~sweirich/cis670/09/
Posted: 3 years ago by
This web site is created using F# and Suave web server. It is hosted on
Azure and the source code is on GitHub. Contributions
The first version of fssnip.net has been created by
@tomaspetricek back in 2010.
This web site is a new, open-source and contribution-friendly version.