Ooh, what magic is this `%runElab` thingy? How does it know about those user-defined data types you made in that gist? Does it verify that they're of the right 'shape' first, or is it more of a macro-style thing?
-
-
-
The magic is more or less what you see in https://eb.host.cs.st-andrews.ac.uk/drafts/elab-reflection.pdf … by
@d_christiansen and me - 8 more replies
New conversation -
-
-
What difference does it make to what ideis was doing? Would you mind explaining just a bit?
-
The general idea is from https://eb.host.cs.st-andrews.ac.uk/drafts/elab-reflection.pdf … - I'm experimenting to see if the Self Hosting plan in §7.1 is remotely feasible
End of conversation
New conversation -
-
-
Are you planning to bootstrap Blodwen eventually? Including Elaborator Reflection? Asking for a friend :) .
-
I am at least experimenting to see if this is a feasible path to self hosting. Also it's fun :). It might be a fun way to experiment with other high level language ideas too, given the way Blodwen is set up.
- 4 more replies
New conversation -
-
-
Wow! Nice!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.