Amendmend proposal: Changed syntax for Or patterns

This page summarizes the projects mentioned and recommended in the original post on /r/haskell
Data structures Dependent Types Agda programming-language proof-assistant

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

  • ghc-proposals

    Proposed compiler and language changes for GHC and GHC/Haskell

    • as syntax is contentious a topic as ever, David (the main proposal author) and I would like to invite you to give your input on https://github.com/ghc-proposals/ghc-proposals/pull/585, where we propose to change the syntax of the accepted proposal #522 introducing Or patterns. In particular, we'd like to know

  • Agda

    Agda is a dependently typed programming language / interactive theorem prover.

    • Does this come with plans to separately unify the body with each of the contexts induced by matching on each of the respective patterns (similar to what’s discussed here), or will it behave like the _ pattern and use only the most general context?

  • 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

  • Types versus sets (and what about categories?)

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

  • Functional Programming and Maths <|> How can a code monkey learn Agda?

    1 project | /r/functionalprogramming | 26 Mar 2023

  • Doom emacs and agda-mode

    2 projects | /r/emacs | 22 Mar 2023

  • FP language idea - would this is possible to infer and type check?

    1 project | /r/haskell | 26 Jan 2023

  • Haskell is the greatest programming language of all time ... the rational adult in a room full of children ... When I program in Haskell, I am in utopia. I am in a different world than 99.9% of what I see posted on Reddit.

    2 projects | /r/programmingcirclejerk | 2 Nov 2022