skiplang / skip

A programming language to skip the things you have already computed
http://skiplang.com
MIT License
1.97k stars 66 forks source link

IDE's? #20

Open lynchs61 opened 6 years ago

lynchs61 commented 6 years ago

In the README it says "with alpha versions of IDE plugins providing near-instantaneous errors as you type". Where can I find these alpha IDE plugins?

Pavlos1 commented 6 years ago

It looks like there are plugins for vim, emacs and nuclide in the ide directory.

pikatchu commented 6 years ago

So nobody is working on that right now, but I don't think it would be too hard to add. We follow the "LSP" protocol which is pretty standard. You can find the binary in build/bin/skip_lsp

lynchs61 commented 6 years ago

I was wondering specifically about an intellij plugin. I'd work on it but that would mean I'd have to write some Java. 😬

Emacs is cool though.

vjeux commented 6 years ago

It seems like there's a intelliJ-LSP plugin. So if you install this plugin and point it to skip_lsp binary, it should "just work" (one can dream :P) https://github.com/gtache/intellij-lsp

peterhal commented 6 years ago

Agreed with @vjeux that we should base all of our IDE integration on skip_lsp. An intelliJ plugin based on intellij-lsp would be fantastic.

We should also do a VSCode plugin. Sadly I didn't get to this before the release.

As I mentioned in https://github.com/skiplang/skip/issues/23 open source Nuclide will soon-ish support VSCode plugins unmodified. Once we get the vscode plugin built, we should just wait for the Nuclide work to land to get Nuclide/Atom support.