News for hackers. Stuff that matters.

A comment on The problem of effects in Rust (2020). Parent comment

Re:The problem of effects in Rust (2020) by 3np on Saturday August 28, 2021 @06:15AM (#28336937)
Does Idris qualify?

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

[ Parent | on HN ]
Re:The problem of effects in Rust (2020) by cies on Saturday August 28, 2021 @09:08AM (#28337732)
Idris is great.
[ Parent | on HN ]