Record dot syntax has been merged

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

Our great sponsors
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • WorkOS - The modern identity platform for B2B SaaS
  • SaaSHub - Software Alternatives and Reviews
  • ghc-proposals

    Proposed compiler and language changes for GHC and GHC/Haskell

  • For those who are searching for proposal - https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0282-record-dot-syntax.rst

  • klfc

    Keyboard Layout Files Creator

  • The excellent tool klfc, by the way written in Haskell, allows one to put useful symbols to the keyboard in a matter of minutes. Try it!

  • 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
  • agdarsec

    Total Parser Combinators in Agda

  • I've shared my experiences, too, though I don't have specific examples. I find https://hackage.haskell.org/package/parsec-3.1.14.0/docs/src/Text.Parsec.Prim.html mush easier to read, modify, and use than https://github.com/gallais/agdarsec/blob/master/src/Text/Parser.agda . That's a specific example.

  • idris

    A Dependently Typed Functional Programming Language

  • As of 2013, Idris does not want to even support user defined Unicode operators, for the usual reasons.

  • 24-days-of-purescript-2016

    24 Days of PureScript, 2016

  • PureScript supports Unicode syntax and user defined operators. There is a Unicode prelude.

  • julia

    The Julia Programming Language

  • Julia uses a lot of Unicode, since 2014.

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