Languages on the rise like Rust and Go are being quite vocal against inheritance and many engineers seem to agree. Is this the end of inheritance? What do you think?

This page summarizes the projects mentioned and recommended in the original post on /r/rust
Formal Verification refinement-types Formal Methods Rust type-safety

WorkOS
Our great sponsors
  • WorkOS - The modern identity platform for B2B SaaS
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • SaaSHub - Software Alternatives and Reviews
Our great sponsors

  • magmide

    A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

    • https://github.com/magmide/magmide when

  • flux

    Refinement Types for Rust (by flux-rs)

    • Right, the way to fix it is to use refinement types (such as flux for rust)

  • WorkOS

    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.

    WorkOS logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts