Our great sponsors
-
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.
For those who are searching for proposal - https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0282-record-dot-syntax.rst
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!
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.
As of 2013, Idris does not want to even support user defined Unicode operators, for the usual reasons.
PureScript supports Unicode syntax and user defined operators. There is a Unicode prelude.
Julia uses a lot of Unicode, since 2014.
Related posts
- Show HN: Codon: A Compiler for High-Performance Pythonic Applications and DSLs [pdf]
- Just a quick question, can a programming language be as fast as C++ and efficient with as simple syntax like Python?
- Beginner at programming.
- Announcing the Hare programming language
- Optimizations for CLI-built shared libraries