setting up koka for neovim on NixOS

[MangoIV]

Hi, I wanted to share my experience setting up neovim with koka:

language server

• neovim communicates via a simple simple stdio with the language server, hence you have to pass

  koka --language-server --lsstdio

• I have contributed a patch to neovim/nvim-lspconfig to make it "just work". You can enable the koka language server in your lsp config by first installing the nvim-lspconfig plugin and then adding

  require('lspconfig').koka.setup{}

  to your `init.lua
• for that to work you should also set

  vim.filetype.add({
    extension = {
      kk = "koka",
    },
  })

  in your init.lua
• tip: you should try out vim.lsp.inlay_hint.enable() which is neovim from version 10 upwards and is supported by the koka language server

syntax highlighting

There is a tree-sitter grammar for koka: https://github.com/mtoohey31/tree-sitter-koka

This can be used by neovim according to :help treesitter by

1. moving the parser into <any runtimepath directory>/parser/koka.*
2. moving the queries into `/queries/koka/*.scm

I have contributed a patch to nixpkgs which should make it possible to add the koka tree-sitter grammar to your neovim by adding
pkgs.neovimUtils.grammarToPlugin pkgs.tree-sitter-grammars.tree-sitter-koka to your programs.neovim.plugins configuration option.

[MangoIV]

This is how it looks for me :)