On 09/10/2021 13:46, Anton Lobach wrote: > Hello, > > Does PolyML support any form of metaprogramming?
For Isabelle/ML, which is based on Poly/ML at the bottom, we are using old-school runtime evaluation a lot. Here is a tiny spin-off for raw Poly/ML: https://stackoverflow.com/questions/9555790/does-sml-poly-have-a-cl-like-repl Makarius _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
