3 ms·
> 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
by 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