News for hackers. Stuff that matters.

A comment on Strong typing, a hill I'm willing to die on. Parent comment

Re:Strong typing, a hill I'm willing to die on by scns on Wednesday October 04, 2023 @01:59PM (#37769117)
Python got type hints bolted on. A type system for Elixir is being worked on. Dynamic typing was a prerequisite for Erlang to enable hot-code-reloading. Julia is can be typed for an extra speedup. Stripe built a type checker for Ruby called Sorbet.
[ Parent | on HN ]
Re:Strong typing, a hill I'm willing to die on by adgjlsfhk1 on Wednesday October 04, 2023 @02:25PM (#37769478)
Julia generates fast code without type annotations (except for your data types).
[ Parent | on HN ]
Re:Strong typing, a hill I'm willing to die on by sundarurfriend on Wednesday October 04, 2023 @03:12PM (#37770120)
> (except for your data types)

This confused me for a moment, but I think you mean annotating the types of the fields in your `struct`s, right?

An addition to that: any non-constant global variables (if you must have those) should also be type annotated.

[ Parent | on HN ]