SRFI-253SRFI-253: Data (Type-)Checking
http://srfi.schemers.org/srfi-253/srfi-253.html
SRFI-253 is implemented in ChezScheme ChibiScheme Chicken Gauche Guile Kawa Loko STklos Sagittarius Skint
Rest arguments are currently unsupported on Chicken and Kawa, due to the limitations of their macro systems. Use the #!rest argument there.
Chibi implementation uses generics under the hood, so any procedure defined with define-checked can be extended with define-method-s.
|