gt; default.(Your “rebuild” idea might work better with (State# Realorld#
> -> Builder) rather than (() -> Builder) for that reason.)
>
>
>
> Simon
>
>
>
> *From:* Glasgow-haskell-users [mailto:
> glasgow-haskell-users-boun...@haskell.org] *On Behalf Of *Akio
>
>
>
> Simon
>
>
>
>
>
> *From:* John Lato [mailto:jwl...@gmail.com]
> *Sent:* 12 November 2013 00:12
>
> *To:* Simon Peyton-Jones
> *Cc:* glasgow-haskell-users@haskell.org; Akio Takano
> *Subject:* Re: Giving function a larger arity
>
>
>
> Ye
and only the second would be a one-shot lambda.
So if anything plan B seems more flexible.
Simon
From: John Lato [mailto:jwl...@gmail.com]
Sent: 12 November 2013 00:12
To: Simon Peyton-Jones
Cc: glasgow-haskell-users@haskell.org; Akio Takano
Subject: Re: Giving function a larger arity
Ye
;
>
> Simon
>
>
>
> *From:* John Lato [mailto:jwl...@gmail.com]
> *Sent:* 11 November 2013 17:29
> *To:* Simon Peyton-Jones
> *Cc:* glasgow-haskell-users@haskell.org; Akio Takano
> *Subject:* RE: Giving function a larger arity
>
>
>
> Originally I thought P
e-shot, we’d also
> add (OneShot t).
>
>
>
> Simon
>
>
>
> *From:* John Lato [mailto:jwl...@gmail.com]
> *Sent:* 11 November 2013 17:29
> *To:* Simon Peyton-Jones
> *Cc:* glasgow-haskell-users@haskell.org; Akio Takano
> *Subject:* RE: Giving function a larger ar
w-haskell-users@haskell.org; Akio Takano
Subject: RE: Giving function a larger arity
Originally I thought Plan B would make more sense, but if Plan A were
implemented could this one-shot type annotation be unified with the state hack?
I'm envisioning something like RULES, where if the type match
such a huge win for more programs that it is on by
> default.(Your “rebuild” idea might work better with (State# Realorld#
> -> Builder) rather than (() -> Builder) for that reason.)
>
>
>
> Simon
>
>
>
> *From:* Glasgow-haskell-users [mailto:
> glasgow-haskell
alf Of Akio Takano
Sent: 11 November 2013 09:19
To: glasgow-haskell-users@haskell.org
Subject: Giving function a larger arity
Hi,
I've been trying to get a certain type of programs compiled into efficient
code, but I haven't been able to find a good way to do it, so I'm a
Hi,
I've been trying to get a certain type of programs compiled into efficient
code, but I haven't been able to find a good way to do it, so I'm asking
for help.
Specifically, it involves a library that defines a newtype whose
representation is a function. Attached Lib.hs is an example of such a