Open olynch opened 1 year ago
An alternative to writing down syntax trees with macros is to either:
@code_lowered
Number
We should think about both of these approaches. Both of these are used in SciML: the second one is the default mode of operation and the first one is supported through https://docs.sciml.ai/ModelingToolkit/stable/tutorials/modelingtoolkitize/
SciML
An alternative to writing down syntax trees with macros is to either:
@code_loweredto expand a julia function, and then parse into Trm/e-graph from thatNumberto a julia function, and have the operations on it accumulate a syntax tree instead of computing anythingWe should think about both of these approaches. Both of these are used in
SciML: the second one is the default mode of operation and the first one is supported through https://docs.sciml.ai/ModelingToolkit/stable/tutorials/modelingtoolkitize/