2 ms·

wait, are you saying that any sufficiently complicated lisp program contains an ad hoc, informally-specified, bug-ridden, slow implementation of a static type s

• packetlost 3y ago
  No. I'm saying you can build almost whatever static analysis tools you want right into the compiler