I think Futhark[0] is close to that, no? Or what about Co-DFNS[1]?

[0]: https://futhark-lang.org/

[1]: https://github.com/Co-dfns/Co-dfns