3 ms·

I'm a bit confused: Can this static information system be used for run-of-the-mill static type checking as well or not? And if so, does a static type checker fo

I'm a bit confused: Can this static information system be used for run-of-the-mill static type checking as well or not? And if so, does a static type checker for this language exist or is one in the works?

soegaard 2y ago
> Can this static information system be used for run-of-the-mill static type checking as well or not? Yes. As an example Matthew Flatt has implemented Shplait in Rhombus: https://github.com/mflatt/shplait https://github.com/mflatt/shplait