News for hackers. Stuff that matters.

A comment on Coalton: How to Have Our (Typed) Cake and (Safely) Eat It Too, in Common Lisp. Parent comment

Re:Coalton: How to Have Our (Typed) Cake and (Safely) Eat It... by Y_Y on Friday September 10, 2021 @06:13PM (#28487497)
Ok. I'm happy with compile-time eval failing in normal Lisp, I might have given it an undefined symbol or something. And in Haskell I can go "off the grid" and write something dynamically typed, or even make a Lisp interpreter.

Can I have it both ways though? Can I get compile-time guarantees, about non-trivial run-time generated code? It feels like there's going to be a Halting Problem that stops me having my cake and eating it too.

[ Parent | on HN ]
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.

[ Parent | on HN ]