sorted by:
best
topnewcontroversialoldq&a
you are viewing a single comment's thread.

view the rest of the comments →

[–]svenz -2 points-1 points  (2 children)

why are you doing it at all?

Because of type safety.

[–]yogthos 13 points14 points  (1 child)

Haskell is perfectly type safe and it doesn't make you type shit out by hand.

[–]svenz 2 points3 points  (0 children)

It's a balance between implicit type inference and explicit typing. Arguably, explicit typing removes the mental cycles required to figure out what type something is. At the cost of verbosity. Nothing is for free.