Mathematician gone software engineer Vassil Nikolov talks with ANSI Common Lisp’s Kent M Pitman (and yours truly) about his assertables macro.
(The one hour live discussion can be downloaded/listened to here).
There is extensive discussion on ANSI CL’s eval-when special form which Vassil describes as allowing one to work on the compiler in a plugin-like manner. Kent gives the historical context he remembers of many of the related details in the ANSI standard.
Comparison to cl-series is drawn relating to its nature as a portable macro package, and its decision to shadow cl:let with reference Vassil’s alternate defun, and the norms and expectations around ANSI CL and cltl to allow shadowing like this in your own universe.
Considerable effort is made to explain to me personally that classed assertions would be different to either CLOS conditions or type checking, and the historical thing with macros not being declarations is brought up. Some reference to the CMUCL reference manual on optimize declarations.
I probably missed something important. Because Kent basically asked for it, I included four minutes of hot mic after the show from the fallback stream (which has such things), because I think it just added historically significant additional notes about lisp.
An earlier interview with Kent Pitman.
Thank-you to rat for Kent’s links to Exceptional Situations in Lisp by Kent M. Pitman:
(I also mentioned I recognized Kent’s example about + not being intended to be used to provide type assertions [] from this historical text document on conditions in lisp)
Doug Merritt and everyone for active commentary live on LambdaMOO.
Once and future guest Shizamura’s O Sarilho scifi comic is just printing its fourth volume.
Feedback and commentary (and volunteering to be on in the future) on this Mastodon thread please.
Please absolutely do share and distribute this and the interview in whatever means and mediums occur to you, and talk about it in the Mastodon thread. (Are you an expert or otherwise interested in any of the future show topics Vassil called for?).
screwlisp proposes kittens