Data types with Negation

This page summarizes the projects mentioned and recommended in the original post on /r/ProgrammingLanguages
Compiler Functional programming Dependent Types type-inference HacktoberFest

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.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

  • Idris2

    A purely functional programming language with first class types

    • I asked because it just baffles me any time I see a dependently typed language using unary numbers. I think to myself, "are these people even educated? Do they know about number systems?" I mean, cavemen were the last group using unary number system as their mainstay, and that was during the Paleolithic. Then they have issues open like this when they discuss optimizing those damn unaries. But this shouldn't even have been a problem for anyone even remotely related to programming! It's giving a terrible impression of dependently-typed languages. Getting rid of those should be the first step of popularizing them.

  • mlscript

    The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!

  • 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

  • Idris2: A purely functional programming language with first class types

    1 project | news.ycombinator.com | 6 Nov 2023

  • How to Keep Lambda Calculus Simple

    1 project | news.ycombinator.com | 8 Jul 2023

  • How to avoid right intendation?

    2 projects | /r/haskell | 17 Jan 2023

  • I've learned this from Conor McBride on an SPLV'19 bus ride. A literary reference would be welcome.

    1 project | /r/programmingcirclejerk | 12 Jan 2023

  • Altering behavior of runElab and macros outside of source code

    1 project | /r/Idris | 11 Jan 2023