Typed Python 3.8.10 (default, Jun 22 2022, 20:18:18)
[GCC 9.4.0] on linux
Type "help", "copyright", "credits" or "license" for more information.
>>> a = 1
>>> a = "1"
File "<stdin>", line 1
a = "1"
^
TypeError: Mismatched types, variable "a" only accepts number
>>> imagine
comments
Highlighted comment
Typethon (also, imagine if strictly typed languages worked like that instead of specifically defining a type when declaring the variable lol)
I think Rust does that