Post #4404266
2026-08-05 05:28 UTC
@ramin_hal9001@fe.disroot.org Clearly common lisp does not enforce singlethreadedness in the way acl2 does; however if you use the acl2 code, this will happen incidentally. Translating stobjs to setf and structs, and loop to loop$, lambda to lambda$, apply to apply$, [] format to fmt aren't broad-spectrum automatable because there are differences, but can generally be macroed in a particular project I think.
Replies (1)
-
@simon_brooke@mastodon.scot 2026-08-05 05:53
@screwlisp@gamerplus.org @ramin_hal9001@fe.disroot.org "The great thing about #Lisp is that it has extremely simple syntax" ... except, of course, for #CommonLisp which is a complete baroque mess. Of course, it's largely a complete baroque mess because reader macros, and reader macros are useful shorthand, but `#$(words)`? Really? And noted also that #Clojure has its own baroquery hard-coded into its reader (`#{:a :b [:c @D@mastodon.scot]}`, anyone?), which is arguably worse, but... This might as well be #Perl.