Given line "loopType : Int -> Type", how can line "loopType x = loopType x" mean... | Hacker News

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

		HelloNurse on Sept 13, 2024 \| parent \| context \| favorite \| on: Why Haskell? Given line "loopType : Int -> Type", how can line "loopType x = loopType x" mean anything useful? It should be rejected and ignored as a tautology, leaving loopType undefined or defined by default as a distinct unique value for each int.

remexre on Sept 13, 2024 [–]

What makes it ill-defined is that it computes infinitely -- that's why you need a totality checker (or a total language).

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