Typing rules for Haskell
Ömer Sinan Ağacan
omeragacan at gmail.com
Thu Jul 25 07:07:08 UTC 2019
Perhaps I should revive my or-patterns proposal now. The main problem (IIRC) was
that I had to give a rather large subset of Haskell (that includes pattern
matching) typing rules to show typing rules of or-patterns. Now that that part
is done perhaps I can find the time for the rest.
Ben Gamari <ben at smart-cactus.org>, 25 Tem 2019 Per, 02:32 tarihinde şunu yazdı:
> Richard Eisenberg <rae at richarde.dev> writes:
> > Hi devs,
> > Simon and I were wondering about a tight specification for the recent
> > action in proposal #253
> > (https://github.com/ghc-proposals/ghc-proposals/pull/253
> > <https://github.com/ghc-proposals/ghc-proposals/pull/253>). We needed
> > to see the typing rules. So I made a repo
> > (https://gitlab.haskell.org/rae/haskell
> > <https://gitlab.haskell.org/rae/haskell>) to collect typing rules for
> > source Haskell. I managed to convince the CI infrastructure to produce
> > a PDF at every upload; it is linked from the README.
> > The current version contains the proposed result signatures; it should
> > probably be in a branch, but life is short.
> Very nice!
> - Ben
> ghc-devs mailing list
> ghc-devs at haskell.org
More information about the ghc-devs