Lisp

53 readers

3 users here now

founded 1 year ago

MODERATORS

rglullis

defmacro

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

[–] StudyNeat8656@alien.top 1 points 11 months 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.