Hey, I was wondering if you had any thoughts about how I might implement a validator for my core syntax, given the presence of metavariables? Eg. github.com/brendanzab/rus - ie. my solutions are value in the meta environment, but I can't get the type of those…
Conversation
You either need to unfold all solved metas in core syntax ("zonking"), or remember types of metas. Neither are too complicated but I prefer the latter, because zonked syntax is cluttered, and typed metas are needed anyway for more sophisticated unification.
1
2
But in the absence of glued evaluation, meta solutions and their types are always greatly bloated.
3
1
What’s glued evaluation? Should I read the smalltt code again
1
Quote Tweet
Replying to @andrasKovacs6 @rob_rix and @brendanzab
"Glued" term vaguely comes from categorical gluing and the Glue type in "Epigram reloaded". The Epigram glue is much different from my version though.
There's also a slideshow PDF in the smalltt repo:
Quote Tweet
Replying to @d_christiansen @andrasKovacs6 and 2 others
Never mind, I just found the PDF of your slides in the smalltt repo, and that clears it up. Thanks!
1