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

You mean static-typing.

Both Java & Python are strongly typed..

e.g. in python, <3 + "2"> gives <TypeError: unsupported operand type(s) for +: 'int' and 'str'>



Strong typing is static, but usually entails more strictness (e.g. not allowing implicit nulls) and more features at typelevel (e.g. sum types, higher level types).


This really depends on definitions of strong and weak and this might be another point but C could be considered a static and weak language. Not sure of any other language like this.




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

Search: