Could AKKU provide type information?
Hi, I noticed that this page provided many library information about packages published on AKKU. And those many exported procedures or something else has been recognized as like in this page. I wonder maybe it is possible to attach type information to these identifiers?
In my mind, this will make two significant steps that
- Saving time for code indexing. For example, I'm maintaining a language server named scheme-langserver and type inference is really expensive. If the type information could be downloaded from AKKU, I can directly use these information and bunch of time could be saved.
- Helping possible optimization. Chez scheme community has such a issue that "Add a compilation pass to cp0 to reduce expression using types". I mean that maybe AKKU could set up a mechanism: as every times publishers publish their package on AKKU, a mechanism analysis their codes and do type attachment work automatically. This will be good for Chez Scheme or other scheme community doing optimization with type information.
As for the implementing, I has just released a new feature type inference DSL(Domain Specific Language) in scheme-langserver 1.1.0, which is now in AKKU's queue. Maybe could AKKU involve my package?
If it's ok, maybe I will be able to fork the code and do some work? I'm not sure whether there's any problem.
It seems a big idea, and I am very much looking forward to the reply from the community maintainer.
----20231123 update-----
An example of automatic type inference result is like
is-leaf?
("([identifier-refrence boolean?] <- (inner:list? [identifier-refrence index-node?] ) ) ")
index-node-excluded-references-set!
("(void? <- (inner:list? [identifier-refrence index-node?] something? ) ) ")