Re: type annotations

[siiky]

On 8/16/20 1:54 PM, Claude Marinier wrote:
> Allô,
>
> I have discovered types.
>
> https://wiki.call-cc.org/man/5/Types <https://wiki.call-cc.org/man/5/Types>
>
> When used judiciously and sparingly, this could be useful to prevent 
> errors and provide optimisation (specialisation) hints to the compiler.
>
> Is there a guide to using this well? I would like examples. Perhaps one 
> of the Chicken libraries or eggs can be used as an example.
>
> Merci.
>
> --
> Claude Marinier

Hello,

I myself would like some good usage examples of `chicken.type`, but if 
you're just getting started and not sure how to use them, or you're 
getting errors, I hope [0, 1, 2] may be helpful to you. The annotations 
on the macros in [1, 2] are not as strict as they could be. And some of 
the other type annotations may even be wrong (e.g. using the symbol uri 
to mean an URI object; the way I use it, it's the same as using *, the 
"any" type), because usually the compiler doesn't complain too much and 
I forget to update them.

[0]: 
https://github.com/SiIky/ssg/blob/81e863733fa6b3e34608adc1ca89065f0759c836/ssg.converters.lowdown.scm#L32-L42
[1]: 
https://github.com/SiIky/invidious.scm/blob/09c1b26080ecf1ba64a86b3ece501d975ea3608a/invidious.req.v1.scm#L41-L58
[2]: 
https://github.com/SiIky/invidious.scm/blob/09c1b26080ecf1ba64a86b3ece501d975ea3608a/invidious.uri.v1.scm

André Sá