this post was submitted on 21 Nov 2023
1 points (100.0% liked)

Lisp

53 readers
3 users here now

founded 1 year ago
MODERATORS
rglullis
defmacro
1
Scheme-langserver finally release type inference and embedded it into auto-completion! (alien.top)
submitted 11 months ago by StudyNeat8656@alien.top to c/lisp
4 comments fedilink hide all child comments
 

โ€‹

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.

you are viewing a single comment's thread
view the rest of the comments
[โ€“] geenob@alien.top 1 points 11 months ago

Thank you for working on this. I just got back into scheme today and was disappointed by the lack of language server support.