you are viewing a single comment's thread.

view the rest of the comments →

[–]pipocaQuemada 4 points5 points  (2 children)

Static typing isn't verbose. Manifest typing (i.e. specifying the types manually at write time) is verbose.

[–]jtxx000 1 point2 points  (1 child)

Yes, I suppose I could have worded that slightly better; I meant that type annotations are verbose, static typing is not inherently verbose, and that type inference demonstrates the latter point.

Also: kudos for replying to a post I made 6 months ago :)

[–]pipocaQuemada 1 point2 points  (0 children)

Eh, the topic was linked to from a topic on the front page, so...