Is it worth learning dependent types for someone who won't do research in type theory and PL?

This page summarizes the projects mentioned and recommended in the original post on

Our great sponsors
  • Scout APM - Less time debugging, more time building
  • SonarLint - Clean code begins in your IDE with SonarLint
  • SaaSHub - Software Alternatives and Reviews
  • FStar

    A Proof-oriented Programming Language

    A really cool example is F*, which I found via the Oregon Programming Language Summer School (OPLSS).

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