> Types are an intrinsic part of ergonomics. For example creating new type in Ja... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		youerbt on Dec 14, 2019 \| parent \| context \| favorite \| on: Seven deadly sins of talking about “types” (2014) > Types are an intrinsic part of ergonomics. For example creating new type in Java and Rust is a whole different world. If you can't separate Java the language from the idea of static typing and type systems, you are probably not a person suited for such discussion. As for your remarks about Haskell, welp, I have build things with Haskell and Python, and it's not even close. But I guess chasing runtime exceptions during development is an acquired taste.

pytester on Dec 14, 2019 [–]

>If you can't separate Java the language from the idea of static typing and type systems

I can. It's people who make blanket statements about static or dynamic typing who can't.

>I guess chasing runtime exceptions during development is an acquired taste.

Much like building software people actually use.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact