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 thisPosted: 5 years ago by Tomas Petricek
Using phantom types to emulate simple dependent types and sized list. Inspired by: https://www.seas.upenn.edu/~sweirich/cis670/09/
6 people like thisPosted: 4 years ago by Vankata