3 ms·
> given the current offering Current offering being of course Rust. Rust isn't a "simpler Agda" either. It is a safer C/C++ – as in bare metal capable, no GC,
by floatboth 8y ago
> given the current offering
Current offering being of course Rust.
Rust isn't a "simpler Agda" either. It is a safer C/C++ – as in bare metal capable, no GC, natively compiled… and affine types is what makes the safety possible.
- vmchale 8y ago> Rust isn't a "simpler Agda" either. Calling Rust a "simpler Agda" is a bit insane. Rust simply has a sensible, current type system. Agda is full dependent types.