explicit type declarations in languages with type inference is not good practice, it's a symptom of an anemic programming environment
-
-
@avibryant unfortunately, the fact that compiler can infer it doesn't mean a person reading the code can@kentbeck -
-
@avibryant@kentbeck I read a lot of code outside editors -
@jedws@avibryant too bad you don't have an editor that's so good you don't want to read code outside it -
@KentBeck@jedws@avibryant This ignores error locality, the annotation isn't for when it _is_ compiling, its for narrowing scope of errors.
End of conversation
New conversation -
-
-
@avibryant also, see Hole Driven Development http://matthew.brecknell.net/post/hole-driven-haskell/ … where you _start_ with the types, similar to TDD@kentbeckThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@avibryant also, a type ascription is a form of assertion/test of the type of the expression@kentbeckThanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.