If you're passingly familiar with Haskell or similar languages, you could give Idris a try.

https://www.idris-lang.org/