Amendmend proposal: Changed syntax for Or patterns

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

Our great sponsors
  • InfluxDB - Collect and Analyze Billions of Data Points in Real Time
  • SonarQube - Static code analysis for 29 languages.
  • Mergify - Updating dependencies is time-consuming.
  • 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, 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

    Collect and Analyze Billions of Data Points in Real Time. Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.

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