Typing rules for Haskell

Richard Eisenberg rae at richarde.dev
Thu Jul 25 16:52:56 UTC 2019


Great idea. I believe that if you fork my repo, your fork will also auto-build a PDF on pushing. Feel free to add text among the Greek, as well. :)

> On Jul 25, 2019, at 3:07 AM, Ömer Sinan Ağacan <omeragacan at gmail.com> wrote:
> 
> Nice!
> 
> 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.
> 
> Ömer
> 
> 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!
>> 
>> Cheers,
>> 
>> - Ben
>> 
>> _______________________________________________
>> ghc-devs mailing list
>> ghc-devs at haskell.org
>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs



More information about the ghc-devs mailing list