Hi Artyom,

On 2024-10-20 10:45 +0400, Artyom Bologov wrote:
> Thus the question: does type dispatching belong to SRFI-253?

In my opinion, no—I think it belongs in a pattern-matcher, or (as you
suggest) in some sort of inheiritance-based system. You could provide
a simple ‘type-case’ form and its derivatives in SRFI 253, but its
usefulness would be limited without the destructuring power of a full
pattern-matcher. And that would be far outside the current scope.

But maybe you have something other than a ‘type-case’ in mind?

--
Wolfgang Corcoran-Mathe  <xxxxxx@sigwinch.xyz>