Predicate generic functions
Ben Davenport-Ray 28 Jul 2021 15:22 UTC
Hi everyone! Been awhile.
I've been noodling on the generic procedures/polymorphism problem for a bit, but the huge discussion on this list about it has prompted me to make my work public.
Check it out at https://github.com/laserswald/pre-srfi-generic-procedures , pull requests, comments, and even complaints are more than welcome! I think this would be a good SRFI for the CLOS style OO implementation, but I think we should have other SRFIs for other kinds of polymorphism.
It's based a little bit on Clojure's multimethods, where there is an explicit hierarchy structure that controls resolution.
--
Ben Davenport-Ray