Good Haskell style already presupposes top-level type annotations. | Hacker News

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

		mietek on April 1, 2017 \| parent \| context \| favorite \| on: Idris 1.0 Good Haskell style already presupposes top-level type annotations.

bad_user on April 2, 2017 [–]

Highly generic code yields complicated signatures, so even if it's good style to add those signatures for top level declarations, it's really good to have the compiler help you figure out what that signature is.

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