Play Static Games, Win Static Prizes https://screwlisp.small-web.org/programming/play-static-games-win-static-prizes/
#staticTyping #typechecking #staticProgramAnalysis #commonLisp #lisp #sbcl #series #acl2
In which I look at modern and to some extent historical static program analysis popularly used with common lisp #programming.
I accidentally make the really good point that even if #sbcl is not your deployment target, you can still use its static type checking, for which I work an example.
#lazyEvaluation and formal theorems are also included.
Edited 24d ago