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

Our great sponsors
  • Onboard AI - Learn any GitHub repo in 59 seconds
  • InfluxDB - Collect and Analyze Billions of Data Points in Real Time
  • 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)

  • Onboard AI

    Learn any GitHub repo in 59 seconds. Onboard AI learns any GitHub repo in minutes and lets you chat with it to locate functionality, understand different parts, and generate new code. Use it for free at www.getonboard.dev.

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