4 ms·
Might be less efficient, no? At least in CL (https://www.lispworks.com/documentation/HyperSpec/Body/t_satisf.htm https://www.lispworks.com/documentation/HyperSp
by BoingBoomTschak 18d ago
Might be less efficient, no? At least in CL (https://www.lispworks.com/documentation/HyperSpec/Body/t_satisf.htm https://www.lispworks.com/documentation/HyperSpec/Body/t_sat...) this is the case, that static type analysis isn't clever enough to work with predicate based types.
- steveklabnik 18d agoI don't know enough about the details to speak to it.