undefined | Better HN

0 pointscle4y ago0 comments

I"m guessing by rejecting perfectly valid and correct programs that are unable to be type checked. There is a large space of "false negative" programs that a type checker will reject, but that could be perfectly correct. E.g. compare Python-esque duck typing with nominal typing.

0 comments

novok4y ago

You can have that by using Any as your type if you so wish typically and escape the type system for those rare circumstances.

Also C# suffers a similar issue with what I call "unproductive Java bureaucracy", since it's basically Microsoft Java. Bureaucracy is not static typing. You can also have full dynamic dispatch and still have static typing too.

j / k navigate · click thread line to collapse

0 comments

novok4y ago

You can have that by using Any as your type if you so wish typically and escape the type system for those rare circumstances.

j / k navigate · click thread line to collapse