← Back to context Comment by BoingBoomTschak 14 hours ago Can it do holes like this? (typep 3 '(or (integer 0 10) (integer 50 100)));; => T 3 comments BoingBoomTschak Reply steveklabnik 13 hours ago You can use a "subtype predicate" for this: https://learn.adacore.com/courses/Ada_For_The_CPP_Java_Devel... BoingBoomTschak 13 hours ago Might be less efficient, no? At least in CL (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 13 hours ago I don't know enough about the details to speak to it.
steveklabnik 13 hours ago You can use a "subtype predicate" for this: https://learn.adacore.com/courses/Ada_For_The_CPP_Java_Devel... BoingBoomTschak 13 hours ago Might be less efficient, no? At least in CL (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 13 hours ago I don't know enough about the details to speak to it.
BoingBoomTschak 13 hours ago Might be less efficient, no? At least in CL (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 13 hours ago I don't know enough about the details to speak to it.
You can use a "subtype predicate" for this: https://learn.adacore.com/courses/Ada_For_The_CPP_Java_Devel...
Might be less efficient, no? At least in CL (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.
I don't know enough about the details to speak to it.