Hacker News new | past | comments | ask | show | jobs | submit login

Sure, in Haskell 'IO ()' cannot be mapped to the set of natural numbers (within the language).

EDIT: In fact I'd guess any function type A -> B where A is infinite cannot be mapped to the naturals.




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

Search: