Kategory VS KotlinLanguageServer

Yeah, it has nice funcional capabilities and libraries (like Arrow[0]).

[0]: https://arrow-kt.io

Last but not least, Scala is currently the language with one of the best effect systems in my opinion (https://zio.dev/). Kotlin for example has copied the approach with https://arrow-kt.io/ which I think is great actually. But when comparing Scala and Kotlin here, Scala wins by a large margin, it is a completely different world. It's like building a highly concurrent system in Erlang vs C.

Of course, if you don't want to learn things like union types, traits/typeclasses and effects (similar to async/await but more powerful) you will be annoyed by Scala. But once you learned them, you can never go back.

In my own code, I started to use explicit error handling. I'm currently experimenting with Result (from https://github.com/michaelbull/kotlin-result) and Raise (from https://arrow-kt.io/).

Are there any more-or-less established functional crates in Rust (similar to Kotlin’s Arrow)?

I wonder how the community sees adding Arrow besides standard Kotlin language features. Is it something that's still considered useful or just redundant and causing more confusion?

You can define a function like context(EitherEffect) suspend fun MyType.bind(path: String)like the ones in https://github.com/arrow-kt/arrow/blob/b608a054a5318fe57d7055c35bb64a5effb053b6/arrow-libs/core/arrow-core/src/commonMain/kotlin/arrow/core/computations/either.kt

If you're using Kotlin, I'd highly recommend looking into the https://arrow-kt.io library. It's quite a bit more sophisticated than the Dart FP libs, and meshes well with Kotlin. They've got a great website, but even better is their engagement on the #arrow channel on the kotlinlang.slack.com Slack.

There's a community-made one, but of course as much effort as has been put into it it's not as featureful as JetBrains's own stuff.

Kotlin is probably the worst case for Neovim. While there is a language server for Kotlin, it's not very advanced and does not look like it's actively developed.

Hi, if you are going to do Kotlin the easiest choice is android studio with Kotlin plugin. Using Vscode is more tricky because Jetbrains does not want to support lsp for Kotlin so you only have https://github.com/fwcd/kotlin-language-server available to write Kotlin on Vscode.

Kotlin Language Server puts a warning on this code, because the bar inside the lambda shadows the function argument bar. Flow typing solves this problem by eliminating the need to redefine bar as a new non-nullable variable in the branch where we've verified it's non-nullable.

You want to change something about that? Go and help over at the kotin lsp server. It's maintained, and welcomes contributions. I sometimes use it in my day job (writing Kotlin backend code)

There is https://github.com/fwcd/kotlin-language-server, but I wouldn't expect something more official from a company that refuse to support LSP in their IDEs. JetBrains is the Apple of the IDE world.

Oddly enough, we use mostly the same languages. However, I would advise against using neovim with Kotlin: its language server has an excessive memory usage and its debugger is cumbersome with neovim (I haven't managed to get it working, and currently it also lacks an entry in nvim-dap's wiki).

I'll bring up the Kotlin LSP[0] every time I see Kotlin on HN because I really hope the LSP takes off (which would make it viable to use Kotlin with a non-IntelliJ editor).

Kotlin as a language looks really cool, but I don't want to give up terminal-based, modal editing (which I'd have to in order to use IntelliJ).

Along those lines, I once tried diving into using Gradle outside IntelliJ, and I couldn't find any good resources to help with that. If folks have hints/links-to-blog-posts with regards to that as well, that'd be great!

[0] https://github.com/fwcd/kotlin-language-server#this-reposito...

I've tried [this Kotlin LSP](https://github.com/fwcd/kotlin-language-server) and it isn't perfect. It's not complete, but it does some of the basic things.

I've downloaded kotlin language server from here: https://github.com/fwcd/kotlin-language-server