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 on July 16, 2025 | 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 on July 17, 2025 [–]

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