Re: Type declarations and data validation utils?

[Artyom Bologov]

Hi Maxime,

> Is it this one: https://dthompson.us/posts/optimizing-guile-scheme.html?

Yes, that's the one!

> An example demonstrating the overhead could be useful to determine how to 
> improve things.

I'm not yet that familiar with Guile disassembler to infer any useful
insights, that's why I'm not sure which techniques work and which
don't. It's part of why I'm asking it here.

> The way to ‘declare’ it is to add those asserts or equivalent. The reason 
> that there is no more about it in the manual is that currently
> there is not more to it than that.

That's the route I'm taking for now.

Thanks for the rest of the message, there is indeed a lot of type
checking opportunities, and I want my potential SRFI to actually fit
these, so I'll ping y'all here when I have something polished enough.

Still, if someone knows more strict ways to enforce types/validation,
speak up—I want to use what's there in Guile to optimize things as much
as possible!

Thanks,
--
Artyom