The issue isn't understanding the signature per se. The point is that type signa... | Hacker News

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

		foldr on March 14, 2019 \| parent \| context \| favorite \| on: The ups and downs of porting 50k lines of C++ to G... The issue isn't understanding the signature per se. The point is that type signatures aren't always enough to figure out what a function does.

mruts on March 14, 2019 [–]

That’s a good point, but often a type signature constrains the possible programs to such a degree that there is only one nonsensical program that can be written with that signature.

foldr on March 14, 2019 | [–]

That's rarely the case for effectful code, which is where you'd typically see multiple monadic type class constraints.

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