Snippets tagged playing with types
-
Not dependent types...
Sometimes you have a type safe method you need to wrap inside a generic (type/method). Here's an easy but nasty way of doing it
2 people like this
Like the snippet!Posted: 9 years ago by mavnn
-
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/
6 people like this
Like the snippet!Posted: 4 years ago by Vankata