Saul Shanabrook

Notes on "Squid: Type-Safe, Hygienic, and Reusable Quasiquotes"

This is why we need typed DSL in Python:

Manipulating such an IR is error-prone, as it is easy to con- struct nonsensical terms such as App(Const(1),Const(2)).

How to get quasiquotes in Python?


But the issue is you also need to store the types at runtime and the regular types aren't good at this...