News for hackers. Stuff that matters.

A comment on Using Zig to Provide Stack Traces on Kernel Panic for a Bare Bones OS. Parent comment

Re:Using Zig to Provide Stack Traces on Kernel Panic for a B... by floatboth on Wednesday December 05, 2018 @05:44AM (#18607159)
> 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.

[ Parent | on HN ]
Re:Using Zig to Provide Stack Traces on Kernel Panic for a B... by vmchale on Wednesday December 05, 2018 @02:12PM (#18611426)
> 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.

[ Parent | on HN ]