undefined | Better HN

0 pointscies4y ago0 comments

> healing

> these days we have TypeScript, Rust, Kotlin; Java and C# are getting better too (type inference), Python and Ruby are getting typechecking

everyone caves to the types.

i think the strongest holdout is probably the LISP/Clojure corner. they have optional typing for along time, but it is not used that much afaik

many have voiced their reasons for liking dynamic typing. i only have one: faster reload cycles while developing. the other pros of dynamic typing are all over shadowed by their inherent downsides.

0 comments

smasher1644y ago

It's a false dichotomy. If you defer type-checking to runtime, you have a traditional dynamically typed language. Haskell has this in the form of -fdefer-type-errors, but I'd like to see this feature given more emphasis and used in other languages.

ciesOP4y ago

I've not seen it work (not in Haskell, not in other strong typed langs). Java with IntelliJ does quite well, but then it is VM based and not very strongly typed. Kotlin has a much better type system, but then compile times start to become much more noticeable as well.

In heard OCaml has a quick reloads in some scenarios, but I never tried.

KwisaksHaderach4y ago

You are looking for Golang ;)

1 more reply

Zababa4y ago

> everyone caves to the types.

In a way, but static languages have also heavily invested in ergonomics. Type inference is the best example I think. On the other hand, there are also other stuff like immutability that's getting popular in both languages. It seems like 10 years before you had to choose between developing software fast and developing reliable software, these days it's easier to have both.

j / k navigate · click thread line to collapse