Draft RFC: Pure intersection types

This page summarizes the projects mentioned and recommended in the original post on /r/PHP
Virtual Machines Hhvm PHP Hack Hacklang

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

  • intersection-types

    Discontinued PHP RFC for pure intersection types

  • HHVM

    A virtual machine for executing programs written in Hack.

    • Here’s an example for it in Hack (which doesn’t have this feature), which would translate across: https://github.com/facebook/hhvm/blob/master/hphp/hack/doc/HSL_design/io.md#denotable-intersection-types

  • 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

  • HHVM – a virtual machine designed for executing programs written in Hack

    1 project | news.ycombinator.com | 5 Sep 2023

  • Hack Lang: Contexts and Capabilities

    1 project | news.ycombinator.com | 19 Aug 2023

  • Has Meta/Facebook stopped developing hacklang?

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

  • Hacklang is no longer opensource?

    2 projects | /r/PHP | 21 Jul 2023

  • Taking Hack Seriously - Slack Engineering

    2 projects | /r/PHP | 9 Feb 2023