2 ms·
Reminds me of Manifold[1] for Java. But Manifold integrates seamlessly with the Java compiler as a plugin as opposed to being a separate compiler, which makes C
by mckinney 6y ago
Reminds me of Manifold[1] for Java. But Manifold integrates seamlessly with the Java compiler as a plugin as opposed to being a separate compiler, which makes Circle less approachable imo. Still, I like the F# type provider-ish aspect of this.
[1]: https://github.com/manifold-systems/manifold https://github.com/manifold-systems/manifold
- tpoindex 6y agoThanks for pointing out Manifold, looks delicious. As a historical note, PL/I had a preprocessor that itself was a subset of PL/I. I don't recall any type safety features, but was quite useful for creating DSLs within a program.