rfcs
rfcs copied to clipboard
haskell
This repo is archived, consider using https://github.com/ghc-proposals/ghc-proposals instead
Rendered version: https://github.com/quchen/rfcs/blob/lambdacase/texts/0000-lambdacase.rst
I'd love to see this be successful, but it seems it has stalled. * Have the contributors lost interest? * Is there a part of the committee process that is...
Straight adaption of [the original proposal](https://github.com/quchen/articles/blob/master/applicative_monad.md). Rendered version of this proposal: https://github.com/quchen/rfcs/blob/amp/texts/0000-applicative-monad-superclass.rst
Hi Haskell 2020, After using Haskell a lot, I am now programming in Ada and [Spark](https://en.wikipedia.org/wiki/SPARK_(programming_language)). Despite that SPARK is non-functional, the tooling (using problem solvers like Z3 and cvc4)...
Rendered version: https://github.com/quchen/rfcs/blob/tuple-sections/texts/0000-tuple-sections.rst
Rendered version: https://github.com/nomeata/rfcs/blob/instancesigs/0000-instancesigs.rst
Rendered proposal at https://github.com/blamario/rfcs/blob/ExciseMonadPlus/0000-excise-MonadPlus.rst
As promised at the ICFP meeting. Here's the rendered proposal: https://github.com/blamario/rfcs/blob/exportable-named-defaults/0000-exportable-named-defaults.rst
This PR, among other things, is a generalized replacement for the abandoned [Lambda the Ultimate Reserved Keyword](https://github.com/haskell/rfcs/pull/19) PR. [Rendered Proposal](https://github.com/blamario/rfcs/blob/unicode-identifers/0000-unicode-identifers.rst)
View: https://github.com/yav/rfcs/blob/no-partial-records/texts/no-partial-records.rst
