Re: Giving function a larger arity

2013-11-12 Thread Akio Takano
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

Re: Giving function a larger arity

2013-11-12 Thread Johan Tibell
> > > > 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

RE: Giving function a larger arity

2013-11-12 Thread Simon Peyton-Jones
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

Re: Giving function a larger arity

2013-11-11 Thread John Lato
; > > 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

Re: Giving function a larger arity

2013-11-11 Thread Carter Schonwald
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

RE: Giving function a larger arity

2013-11-11 Thread Simon Peyton-Jones
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

RE: Giving function a larger arity

2013-11-11 Thread John Lato
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

RE: Giving function a larger arity

2013-11-11 Thread Simon Peyton-Jones
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

Giving function a larger arity

2013-11-11 Thread Akio Takano
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