News for hackers. Stuff that matters.

A comment on ZZ is a modern formally provable dialect of C. Parent comment

Re:ZZ is a modern formally provable dialect of C by wuschel on Wednesday February 05, 2020 @07:36AM (#22246209)
If you like this, it might be worth looking at ATS: http://www.ats-lang.org/
[ Parent | on HN ]
Re:ZZ is a modern formally provable dialect of C by throwaway17_17 on Wednesday February 05, 2020 @10:24AM (#22247476)
I'm a fan of ATS, really I am, but recommending ATS to someone who said Rust looks too complicated made me literally laugh out loud. Like I said, I like ATS and don't particularly care for Rust, but ATS is in no way less complicated that Rust. But I really do feel like the laugh I had is going to make my day better, so thanks.

Just a note: the above is not sarcasm

[ Parent | on HN ]