​

These options are sorted with type inference and natural order.

Though it has so many problems, but, you now can enable this problem in scheme-langserver(https://github.com/ufo5260987423/scheme-langserver)!

It now mainly used the r6rs procedures’ information, and I annotated them with my homemade DSL. And some trick from gradual typing is also used!

Ok, I don’t have a degree on computer science, but this is all what I can do.