Hi again y’all,

So I mentioned index.scheme.org in an earlier email. I decided to
re-check its state, and I was surprised about how exact its types
actually are! This iota (SRFI 1) type is quite explanatory:

((name . "iota")
 (signature
  case-lambda
  (((integer? count)) list?)
  (((integer? count) (number? start)) list?)
  (((integer? count) (number? start) (number? step)) list?))
 (tags pure)
 (desc . "Returns a list containing the elements (start start+step ... start+(count-1)*step). The start and step parameters default to 0 and 1, respectively. This procedure takes its name from the APL primitive."))

So, those people that wanted to see type declarations for SRFIs, maybe
we can focus on expanding and improving index.scheme.org?

I realize this idea discards all the useful ideas and references in this
thread by falling back to (extremely) SRFI-253-like system of
index.scheme.org. But I consider using and extending existing projects a
virtue far outstripping invention of new projects and duplication of
work in these.

So maybe we should give some love to index.scheme.org instead?

Find the repository and types at
https://github.com/schemeorg-community/index.scheme.org/tree/master/types

Best of love,
--
Artyom Bologov
https://aartaka.me