3 ms·
The point is that the part of mojo that is new allows you to write early bindings that can't change, immutable variables, values that are accessed without indir
by jjnoakes 3y ago
The point is that the part of mojo that is new allows you to write early bindings that can't change, immutable variables, values that are accessed without indirection, types, ownership annotations, etc, and uses all of that to do precisely what you are asking for.
- mikepurvis 3y agoIf it can't do much until those extra annotations are in place, then I would imagine it's unlikely it'll ever get support from numpy, django, and the like. Uptake for mypy type annotations alone has been pretty slow.
- carlmr 3y ago>Uptake for mypy type annotations alone has been pretty slow. Because they're annotations with bad checkers. They're mostly helpful as documentation. TypeScript checking is on a whole different level.