I'm trying to google the System IF spj mentioned earlier in this topic/ or on trac. Google and other search tools are failing me. Can anyone kindly direct me to what papers or expositions on this system f variant ?
-Carter > On Sep 25, 2016, at 10:59 AM, Carter Schonwald <[email protected]> > wrote: > > Also this whole multi arg thing was something I was hoping to talk with > Stephanie and or Richard about at hac phi next month. > >> On Sunday, September 25, 2016, Carter Schonwald <[email protected]> >> wrote: >> I'm in favor as well. >> >> I've some experiments I'd like to do on ghc (and that work would support me >> focusing on!!!) that become dramatically simpler to get the the Simons seal >> of approval if core already gets multiple arg / simultaneous arg saturated >> application (a la type are calling or sequent core ). >> :) >> -Carter >> >>> On Saturday, September 24, 2016, Manuel M T Chakravarty >>> <[email protected]> wrote: >>> I like this. Having the DataCon only in IdDetails always felt a bit off. >>> >>> Manuel >>> >>>> Simon Peyton Jones via ghc-devs <[email protected]>: >>>> >>>> Andres, Richard, Stephanie >>>> >>>> The more I think about our idea of introducing ConApp the more I like it. >>>> I wrote it up in a ticket >>>> >>>> https://ghc.haskell.org/trac/ghc/ticket/12618 >>>> >>>> Simon >>>> >>>> _______________________________________________ >>>> ghc-devs mailing list >>>> [email protected] >>>> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs >>>
_______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
