Hi y'all, I've compiled a generic collection of data-checking macros (which I'm consider contributing as SRFI), but I'm not satisfied with their performance. Dave Thompson's blog post shows benefits from adding type predicates before the code, but it seems that my approach of adding assert-s to the start of the function is less effective and adds a lot of performance overhead.
Thus the question: is there any way to declare types that Guile will accept and act on? Especially if this way it exported for user to play with. I haven't found any pointers in the manual, thus I'm asking it here (I'm also asking it on the devel list because devs are more likely to know the ins and outs of typing and maybe even able to act on it.) Thanks, -- Artyom Bologov https://aartaka.me
