StudyNeat8656

joined 2 years ago
sorted by: new top controversial old
Scheme-langserver finally release type inference and embedded it into auto-completion! in c/lisp
[–] StudyNeat8656@alien.top 1 points 2 years ago

I'm glad to know it will help you! However, I know there're many problems in this project, and I ask for your forgiveness and feedback, which can help me make this software better.

Which Scheme Implementation to use in c/lisp
[–] StudyNeat8656@alien.top 1 points 2 years ago

Will you have a look at the developing environment? For example, racket, chez scheme and guile they all have language server. But their server has their own ability and disability.

1
Scheme-langserver finally release type inference and embedded it into auto-completion! (alien.top)
 

​

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.