10 Oct
2021
10 Oct
'21
4:02 p.m.
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-rep...
Makarius