|
|
Log in / Subscribe / Register

Rust lacunae

Rust lacunae

Posted Jun 13, 2021 19:35 UTC (Sun) by ncm (guest, #165)
In reply to: Rust lacunae by jezuch
Parent article: Rewriting the GNU Coreutils in Rust

You are free to believe as many falsehoods as you like.

Or, you can look at the actual proposals to strengthen Rust's type system to be able to express more of what can now be expressed in C++ and Haskell but not in Rust.


to post comments

Rust lacunae

Posted Jun 14, 2021 12:22 UTC (Mon) by jezuch (subscriber, #52988) [Link]

Well, Rust's type system is Turing-complete[1], so it's hard to argue that it's less powerful than anything.

[1] https://sdleffler.github.io/RustTypeSystemTuringComplete/


Copyright © 2026, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds