Lmst
Login

#staticProgramAnalysis

screwlispscrewlisp@gamerplus.org
2025-06-13

Play Static Games, Win Static Prizes screwlisp.small-web.org/progra
#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.

steel bank common lisp telling me that the type coercion necessary for my DEFUN MYADD's types has (cost 20) for the result of inline (signed-byte 64) arithmetic when I compile a file.

Client Info

Server: https://mastodon.social
Version: 2025.04
Repository: https://github.com/cyevgeniy/lmst