Hi y'all,

One of the early drafts of this SRFI has case-checked, a
predicate-dispatching macro akin to Common Lisp typecase or Chicken's
compiler-typecase. Antero Mejr (CC) also suggested that
case-lambda-checked dispatch over types of arguments. While I don't
agree with the case-lambda-checked suggestion in particular, I see
there's a demand for type/predicate dispatching.

Thus the question: does type dispatching belong to SRFI-253? Or should
it better be left to OOP and generics to dispatch over function argument
types/classes/properties?

Best of luck,
--
Artyom Bologov
https://aartaka.me