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 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?
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.
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