I only skimmed the paper, but how do holes in the type system differ from e.g. `... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Asraelite 19 days ago \| parent \| context \| favorite \| on: Hazel: A live functional programming environment w... I only skimmed the paper, but how do holes in the type system differ from e.g. `!` in Rust or `never` in TypeScript?

7h3kk1d 18 days ago [–]

Never 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.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact