Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
HelloNurse
56 days ago
|
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
56 days ago
[–]
What makes it ill-defined is that it computes infinitely -- that's why you need a totality checker (or a total language).
Consider applying for YC's W25 batch! Applications are open till Nov 12.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
