Re:D is being used for autonomous driving research – Audi an...
by _cvuy on Tuesday June 25, 2019 @06:21PM
(#20279645)
> I am personally very intrigued by ATS
As am I. I'd say this, along with Idris and Agda are showing how useful types can be.
> Do you consider it ready for adoption
People have written non-trivial software in it[0], but because it hasn't yet reached a 1.0 release, I wouldn't say it's quite ready for adoption. It seems to be more of an academic project for now.
As am I. I'd say this, along with Idris and Agda are showing how useful types can be.
> Do you consider it ready for adoption
People have written non-trivial software in it[0], but because it hasn't yet reached a 1.0 release, I wouldn't say it's quite ready for adoption. It seems to be more of an academic project for now.
[0] https://github.com/xlq/aos