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 corebuffer on Sunday August 29, 2021 @01:43AM (#28344494)
F* (f star) too! https://www.fstar-lang.org/

Maybe also ATS, but I'm unsure if it qualifies

[ Parent | on HN ]

There are no comments on this comment yet.