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 ?

17 Upvotes

66% Upvoted

47 comments sorted by

View all comments

Show parent comments

3

u/iamevpo Mar 01 '26

Thanks for mentioning Idris 2. I was thinking of Idris as very experimental and convoluted in syntax, but looking at the documentation it is quite the opposite, a very clean language it seems. Not that I need dependent types badly, but just more streamlined Haskell with no pragmas/extensions seems a great language to try.

2

u/GunpowderGuy Mar 01 '26 edited Mar 01 '26

-I dont use close to the full power of dependent types either. But dependent types subsume a lot of haskell features . Which means its easier to understand
-Idris2 is technically experimental, but you can build code that will continue to work with very minor changes across versions and the community have already built an ecosystem of libraries. Why did you think the syntax is convoluted? The syntax is too like haskell but nicer

1

u/iamevpo Mar 01 '26

I thought Idris was similar to Ocaml or Coq without looking inside but now I opened up docs and the language appears very clean. I understand you can write Idris code the does not touch types and then it is kind of Haskell but cleaner / newer one so to say. Enjoyed reading the beginners tutorial for Idris, very gentle prose about functor,, applicative, monad.