The "Grace" language is based on the same idea, but lets you get the full benefit of specifying static types. https://github.com/Gabriella439/grace https://git

The "Grace" language is based on the same idea, but lets you get the full benefit of specifying static types. https://github.com/Gabriella439/grace https://github.com/Gabriella439/grace It's still probably not a great idea.