Any downsides to an exogenous type system vs integrated?

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

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

  • eta

    The Eta Programming Language, a dialect of Haskell on the JVM

    • Facebook says that Flow is not a language, but just a type checker. Meanwhile TypeLead says Eta is a language. Both stances are purely arbitrary, and to me they're dialects of ECMAScript and Haskell respectively. In this sense, the difference between exogenous and "integrated" is purely one of terminology, and one on which people do not agree on.

  • 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

  • IHP – The Haskell Framework for Non-Haskellers

    1 project | news.ycombinator.com | 22 Apr 2024

  • Ask HN: Is there a GUI for bash shell?

    2 projects | news.ycombinator.com | 19 Apr 2024

  • Lightweight and Composable Servers for Haskell

    1 project | news.ycombinator.com | 18 Apr 2024

  • GitHub: Neurallambda/automata: synth data for training FSMs/PDAs/Turing Machines

    1 project | news.ycombinator.com | 16 Apr 2024

  • Japanese minimalist and his designs for a minimalist lifestyle

    1 project | news.ycombinator.com | 16 Apr 2024