The idea of AST to AST transformation by macro is excellent. It has very great potential. I want to show one practical example. I have created a proof of concept for the Power Assert library using currently publicly available code. If you write a macro like the following: let a = 4 let b = 7 let c = 12 #powerAssert(max(a, b) == c) #powerAsser...