it is a big brain functional language, i picked it up because it is a pure one and i never did fp, and i dont like haskell lean is also a proof checker, and has a nice lsp that runs a proof checker on your functions, types and etc. another good fp is gleam, but i am not at home atm, gleam is a good language for beam vm much better than erlang or elixir and i dont think lean will die out, i think it will be used a lot by mathematicians, physicists and cs science
Russian Federation