#programming #engineering #types #strongTyping #commonLisp #example https://screwlisp.small-web.org/programming/common-lisp-strong-typing-example/ for my friend @aleteoryx .

Actually the #historicalNotes in the first paragraph of this article are a little explored key frontier in #computerScience , but the strong typing examples are simple ( etypecase and deftype.. satisfies for those in the know).

I am personally still figuring out how typing in this manner does and can further connect to #typeTheory.

@dougmerritt @northernlights @kentpitman @SDF @nosrednayduj @sacha @hairylarry @pkw @rat @pizzapal

Thanks for the incredible #interview and episode Kent Pitman and everyone ! Lots of #lisp #emacs #teco #programming #lore #unique #historicalNotes

https://archives.anonradio.net/202502120000_screwtape.mp3

(One hour)

Please do ping Kent (and me!) about topics you are particularly interested in Kent following up on in later interviews, or releasing from his personal software stockpiles.

Every week 0UTC Wednesadys on anonradio