reflection or types, either/or?
Conversation
Replying to
I think that's mostly an outcome of programming language designs, what features are made accessible and effective in a given environment.
At intersection, there is stuff like using macros as type systems or vice versa.
ccs.neu.edu/home/stchang/p
1
1
Replying to
The key thing seems to be to allow the feedback loop or not, i.e. keep things staged, or let the system self-modify and update its own semantics.
This shows up in Erlang hot code loading for instance.
1
Show replies