[Haskell-cafe] Haskell showcase in 5 minutes - follow-up

2012-03-01 Thread Arnaud Bailly
Hello Cafe, Thanks to all of you who provided ideas and suggestions for introducing Haskell. I finally went the simple way, presenting the "knapsack" problem slightly reframed using tapas (spanish dishes). This problem is small enough to fit in the 5 minutes time-frame and it actually illustrates s

Re: [Haskell-cafe] Records in Haskell

2012-03-01 Thread AntC
Evan Laforge gmail.com> writes: > [ ccing the list because the wiki page was flawed and I made a bunch > of changes, hope you don't mind ] > Thanks Evan, I've had a quick read through. It's a bit difficult to compare to the other proposals. I can't see discussion of extracting higher-ranked f

Re: [Haskell-cafe] need help with monad transformers

2012-03-01 Thread Dmitry Olshansky
>> If I'm running register outside runWriterT everything will work. Maybe just > lift $ register $ print "freed2" or I didn't catch something? 2012/3/1 Alexander V Vershilov > Hello. > > I'm trying to add monad stack into network-conduit, and everything > works except some details [1]. > >

Re: [Haskell-cafe] need help with monad transformers

2012-03-01 Thread Alexander V Vershilov
It will not work due: gistfile1.hs:29:36: Could not deduce (m ~ ResourceT m0) from the context (Base m ~ IO, MonadReader SInit m, MonadIO m, IsSource src, Resource m) bound by the type signature f

Re: [Haskell-cafe] FreeSect -- generalised sections syntax extension

2012-03-01 Thread Ras Far
For anyone who tried building the implementation linked off the fremissant page (see above email), there was a glitch or two and this is fixed. The problem being simply the target path -- I build to a ramdisk because, as is often the case, GHC produces a rather large binary and I don't like to thr

Re: [Haskell-cafe] Does somebody know about these functions?

2012-03-01 Thread Johan Holmquist
So, these two functions do not appear to be defined, perhaps because many of their potential uses could be expressed using the functions from Data.Applicative and Data.Arrow instead. You may have noticed that the words and lines examples where defunct, but not difficult to fix: words = go . dropW

Re: [Haskell-cafe] Fwd: Now Accepting Applications for Mentoring Organizations for GSoC 2012

2012-03-01 Thread Ganesh Sittampalam
FYI, Edward Kmett has volunteered to do it again. On 28/02/2012 16:23, Johan Tibell wrote: > Hi all, > > Anyone interested in acting as an admin for haskell.org > this year? I'm afraid I won't have time. It's not > that much work (filling in some information, sending out some

Re: [Haskell-cafe] need help with monad transformers

2012-03-01 Thread Alexander V Vershilov
I've found a solution, I should not use lift for runWriterT, and should explicilty lift all computation of level I need, i.e. (lift.lift) for ask and lift for register. Thu, Mar 01, 2012 at 02:19:29PM +0400, Dmitry Olshansky wrote > >> If I'm running register outside runWriterT everything will wor

Re: [Haskell-cafe] Records in Haskell

2012-03-01 Thread Evan Laforge
> Thanks Evan, I've had a quick read through. Thanks for reading and commenting! > It's a bit difficult to compare to the other proposals. > > I can't see discussion of extracting higher-ranked functions and applying them > in polymorphic contexts. (This is SPJ's `rev` example.) > > Putting h-r f

Re: [Haskell-cafe] Fwd: Now Accepting Applications for Mentoring Organizations for GSoC 2012

2012-03-01 Thread Johan Tibell
On Thu, Mar 1, 2012 at 12:54 PM, Ganesh Sittampalam wrote: > FYI, Edward Kmett has volunteered to do it again. > That's great since he's the most experienced GSoC admin we have. :) There's still room for a replacement for me. I had a few people show interest so far.

Re: [Haskell-cafe] Fwd: Now Accepting Applications for Mentoring Organizations for GSoC 2012

2012-03-01 Thread Ganesh Sittampalam
On 01/03/2012 21:37, Johan Tibell wrote: > On Thu, Mar 1, 2012 at 12:54 PM, Ganesh Sittampalam > wrote: > > FYI, Edward Kmett has volunteered to do it again. > > > That's great since he's the most experienced GSoC admin we have. :) > > There's still room for a repla

[Haskell-cafe] Conduits and large ConduitResult chunks

2012-03-01 Thread Nathan Howell
I'm porting lzma-enumerator over to conduits and I've run into a snag. The output chunks from lzma can be quite large, so I'd like to stream the results out in smaller chunks instead of tens (or hundreds) of megabytes at a time. It seems as though this should be possible, as it is with enumeratees,

Re: [Haskell-cafe] Fwd: Now Accepting Applications for Mentoring Organizations for GSoC 2012

2012-03-01 Thread Johan Tibell
On Thu, Mar 1, 2012 at 1:42 PM, Ganesh Sittampalam wrote: > On 01/03/2012 21:37, Johan Tibell wrote: > > On Thu, Mar 1, 2012 at 12:54 PM, Ganesh Sittampalam > > wrote: > > > > FYI, Edward Kmett has volunteered to do it again. > > > > > > That's great since he's the mo

Re: [Haskell-cafe] FreeSect -- generalised sections syntax extension

2012-03-01 Thread John Lask
On Wed, Feb 29, 2012 at 9:27 PM, Ras Far wrote: Hello, I bit premature perhaps but I wanted to post it on a leap day... http://fremissant.net/freesect Thanks for eyebloom on #haskell for motivating me to finally implement an old idea. Thanks to the rest on #haskell for doing their best to

Re: [Haskell-cafe] need help with monad transformers

2012-03-01 Thread Dmitry Olshansky
Did you try to use transformers instead of mtl? I am just in doubt about it in my work. I've found that Conduit use it. So you remove extra dependency. I hope that transformers have more readable messages (without FD) and you can control what is "lift" more clear. I have no experience although.

Re: [Haskell-cafe] Conduits and large ConduitResult chunks

2012-03-01 Thread Michael Snoyman
On Thu, Mar 1, 2012 at 11:50 PM, Nathan Howell wrote: > I'm porting lzma-enumerator over to conduits and I've run into a snag. > The output chunks from lzma can be quite large, so I'd like to stream > the results out in smaller chunks instead of tens (or hundreds) of > megabytes at a time. It seem