#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.