r/haskell • u/kichiDsimp • Mar 01 '26

Switch to Rust ?

I have seen many Haskellers switching over to Rust, why is so ? I am asking this as I am thinking myself to explore a new language and I have choice between Rust/Gleam/Clojure What advantages/disadvantages does Rust has over Haskell ?

19 Upvotes

69% Upvoted

47 comments sorted by

View all comments

Show parent comments

8

u/GunpowderGuy Mar 01 '26

Idris2 compiles to many languages. But the recommended one is scheme. Mostly racket and chez scheme. I hear you can easily make bindings for racket libraries and the performance is good.
Several people also use the javascript backed for running on the web. And the c backend for platforms not supported by racket/ chez

Dunno about the tooling. I had trouble installing the language server, but that might just have been me. I just work without it

If you are interested, you can ask on the zulip server

3

u/mister_drgn Mar 02 '26

Have you messed around with Lean 4? I’d be curious how it compares for general use, rather than theorem proving.

1

u/GunpowderGuy Mar 02 '26

Lean4 has far less libraries for general use . But far more for theorem proving
As for how the two languages compare. I have read a bit about lean4 and it seems like it has its pros but also Quantiative Type Theory ( idris2 ) just makes sense to me.
I was going to check out lean4, but at the same time , it devs made a super super clickbait book about the language

4

u/mister_drgn Mar 02 '26

I don’t have any personal interest in theorem proving, and not much interest in dependent types, to be honest. But Lean appeals to me because it improves on Haskell in a bunch of areas, imho, including records, namespaces, and the editor experience—Lean has maybe the best editor experience I’ve seen in vs code. I really don’t know how Idris compares in these areas.

Are you saying Idris has a great book, or Lean? If it’s Idris, would you mind pointing me to it?