tsunami
log in
email
password
links
newest items
tag list
syntax reference
tag:time
history
item name
tags
== Links - [[http://luke.breuer.com/webmark/?cmd=typing:links I've gathered]] == Summary Bryn Keller writes "an excellent article"[1], supporting static type systems based on type inference. It's a response to Bruce Eckel's "article on static typing vs. testing"[2]. One of Keller's big points is that when people criticize static typing, they are criticizing a clunky type system wrapped up in verbose or arcane syntax, conflating static/dynamic typing with non-typing syntax. Some languages (like Haskell) allow optional typing with type inference when types are omitted, whereas others only require types for [method] signatures. [1]http://www.xoltar.org/old_site/misc/static_typing_eckel.html [2]http://mindview.net/WebLog/log-0025
some permissive license goes here
contact