How do Typescript and Haskell deal with the fact that the typed Lambda Calculus is inconsistent?

This page summarizes the projects mentioned and recommended in the original post on /r/functionalprogramming
lean4 Lean

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

  • lean4

    Lean 4 programming language and theorem prover

    • Well, it matters if you are trying to use the language as a proof assistant like Coq, Lean or Agda). Both of those examples are somewhat similar to Haskell though they have more powerful type systems and, more crucially, do not allow nonterminating programs.

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB 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