2 ms·
I only skimmed the paper, but how do holes in the type system differ from e.g. `!` in Rust or `never` in TypeScript?
by Asraelite 1y ago
I only skimmed the paper, but how do holes in the type system differ from e.g. `!` in Rust or `never` in TypeScript?
- 7h3kk1d 1y agoNever in TypeScript is the equivalent of "bottom" where a value can never appear. The type holes in hazel are for incomplete types (during development) and work more like the any type in typescript where they are consistent with every value.