On Thursday, 5 June 2014 at 12:46:24 UTC, Atila Neves wrote:
I don't know, but the only language I've used with no static
types that made me comfortable was Common Lisp. That was a long
time ago, but I think it was the ease of manually testing the
code in a REPL that did it. Obviously today I'd write unit
tests anyway.
Atila
There are languages with good static type systems (OCaml, F#,
Scala, to name a few) that have REPLs as well, and they're quite
useful there too.
I'm fond of Lisp, and I think Lisp macros are very powerful and
useful. I like Python's (really ISWIM's) indentation sensitive
syntax. But, as someone who uses 'dynamically typed' languages
daily, I think static typing is a huge win and don't understand
why anyone would not want to use a language with static types,
especially if they were mostly inferred and so the annotation
burden was minimal. ML is the language of the future ;-)
