Snippets tagged phantom types
-
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.
5 people like this
Like the snippet!Posted: 1 year ago by Tomas Petricek
-
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/
3 people like this
Like the snippet!Posted: 21 days ago by Vankata