Re:Coalton: How to Have Our (Typed) Cake and (Safely) Eat It...
by pritambaral on Friday September 10, 2021 @06:27PM
(#28487599)
> Can I get compile-time guarantees, about non-trivial run-time generated code?
Sure. If you control all sites where run-time code gen happens, you can gate them all on a compiler-check. In fact, the former is just `cl:eval`; and in some Lisps, a compiler-check already guards it.
Sure. If you control all sites where run-time code gen happens, you can gate them all on a compiler-check. In fact, the former is just `cl:eval`; and in some Lisps, a compiler-check already guards it.