@ksaj @lispwizard @amszmidt @screwtape
On the Symbolics system, the type tags were all encoded in the microcode source and recognized in the hardware (ok, really the microcode). The type tag names were constants whose names all began with "DTP-" (for "data type", probably).
There was a type calld DTP-NULL (see below, page 7, though I think that's for the Ivory chip).
It didn't *quite* mean WTF, but almost. :-)
(No, it was not used this way.)
https://bitsavers.org/pdf/symbolics/I_Machine/Lisp-Machine_Data_Types.pdf
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.