Why is there no simple C-like functional programming language?

This page summarizes the projects mentioned and recommended in the original post on /r/functionalprogramming
programming-language Compiler Verification Language Dependent Types

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

  • FStar

    A Proof-oriented Programming Language

    F* is a dependently typed language that can be transpiled to idiomatic C via the KReMLin compiler. It’s very ML-ish to write and you can leave out some proofs. It also has the benefit of being used to write a formally verified TLS implementation that’s in wide use throughout industry.

  • specification

    Have you seen Val Programming language? Probably not exact what you ask for, but might have some interesting aspects for you? I just learn about that one yesterday, from an article about value based programming. I haven't had time to download and test it myself yet.

  • 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.

  • ante

    A safe, easy systems language

    Ante is what you are looking for. It's an ML descendant with no RTS nor AGC.

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