The language is intriguing to me because of its safety guarantees. I believe it could compete with languages like Haskell and Rust in that area.

It's on my list to learn. But one issue is that (I think) there's a preferred (and only one?) IDE for developing in it.

See:

https://www.cse.msu.edu/~cse814/Lectures/09_spark_intro.pdf

https://en.wikipedia.org/wiki/SPARK_(programming_language)