6 ms·
You can use a "subtype predicate" for this: https://learn.adacore.com/courses/Ada_For_The_CPP_Java_Developer/chapters/05_Type_System.html#generalized-type-contr
by steveklabnik 8d ago
You can use a "subtype predicate" for this: https://learn.adacore.com/courses/Ada_For_The_CPP_Java_Developer/chapters/05_Type_System.html#generalized-type-contracts-subtype-predicates https://learn.adacore.com/courses/Ada_For_The_CPP_Java_Devel...
- BoingBoomTschak 8d agoMight 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 8d agoI don't know enough about the details to speak to it.