One candidate is ATS [1].

Another, https://cakeml.org/

[1]: https://en.wikipedia.org/wiki/ATS_(programming_language)