The snippet shows a minimal example of phantom types for type-safe way of tracking different types of IDs in a simple system.
6 people like thisPosted: 1 year 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/
5 people like thisPosted: 6 months ago by Vankata