Grids in Rust, part 2: const generics

• rfcs

  666 5,685 9.7 Markdown

  RFCs for changes to Rust

  

I am a bit under-educated about the exact specifics here, but I should note that this feature was originally literally dependent types.

* https://github.com/rust-lang/rfcs/pull/1657

* https://github.com/rust-lang/rfcs/issues/1930

* https://github.com/rust-lang/rfcs/pull/2000 (the design that was accepted, in the end)

(I am not actually 100% sure if rfc 2000 meets the by-the-book definition of "dependent types", my copy of Pierce has been collecting dust. Really gotta study up more on this stuff.)

• zz

  10 1,604 1.9 Rust

  Discontinued 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

  

I still want to try the ZZ language (https://github.com/zetzit/zz) someday. It compiles to C, and uses a SMT solver to prove that you don't index out-of-bounds at compile time. But I don't like how it lacks generics, uses C idioms, and compiles to C.

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

Suggest a related project