[Haskell] ARRAY 2023 Call for Papers - please help disseminate

# ARRAY 2023 - co-located with PLDI 2023 - call for papers * Submission deadline: 31st of March * Notification:21st of April * Workshop date: 17th of June * Submission: https://array23.hotcrp.com/ Array programming is at home in many communities, including language design, library

[Haskell] Help lead Haskell: Executive Director sought for Haskell Foundation

Posting on behalf of the Haskell Foundation Working Group. Please forward widely! The Haskell Foundation is seeking an Executive Director. Please find the job description here: https://haskell.foundation/ ed-job-description

[Haskell] Help wanted: Postfix admin guru for Haskell.org

help from someone familiar with maintaining and administering postfix servers, if someone is up to volunteer for the task. Thanks! --Gershom ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell

Help inform GHC's development priorities

tl;dr. Please a take a minute to express your thoughts on GHC's development priorities via this survey [1]. Hello everyone, The GHC developers want to ensure that we are working on problems that of most importance to you, the Haskell community. To this end we are surveying the community

[Haskell] Help inform GHC's development priorities

tl;dr. Please a take a minute to express your thoughts on GHC's development priorities via this survey [1]. Hello everyone, The GHC developers want to ensure that we are working on problems that of most importance to you, the Haskell community. To this end we are surveying the community

[Haskell] [ANN] Help wanted: Vty contributors on Windows

Hi, With some recent requests for Windows support in Vty[1], I'm looking for folks who are interested in working on the Vty library and getting it working on Windows (Cygwin) systems. Anyone interested in contributing should contact me! Thanks, [1] http://hackage.haskell.org/package/vty --

Re: [Haskell] [Haskell-cafe] Help wanted with Wiki.Haskell.Org

Gershom wrote: ...the HaskellWiki ...requires care and maintenance and contributions from all of us. I replied to this in the reddit thread at: http://www.reddit.com/r/haskell/comments/339qxm/haskellcafe_help_wanted_with_wikihaskellorg/ Short summary: 1) Account Creation Management I

[Haskell] Help wanted with Wiki.Haskell.Org

. It would be worth investigating if a full upgrade and new plugins could help this issue. In the meantime, the responsibility for creating new accounts has fallen on only one person for years. This is not a good situation. We would like to set up a mail alias for wiki admins and extend account

Re: Help wanted: working on the GHC webpage

Hey Sergey, Sorry for the delay - thanks for all your changes! A few other people have stepped up. But we still need more help of course. :) I'm incorporating your changes into the main Git repository as we speak, and I greatly appreciate it! I'm also incorporating changes from others. Please

Help wanted: working on the GHC webpage

Hello *, For a while now, I've been wanting to do a facelift on the GHC homepage, but among many other things it's been a low priority. I'd like for people to help, so I've tried to get the ball rolling. The webpages existed in a Darcs repository previously (which wasn't available online

Re: CPP Help (was Re: Latest Template Haskell Breaks Package)

You can specify the pre-processor in the `ghc-options' field in the cabal file, e.g. ghc-options: -pgmPcpphs Francesco On 23 December 2014 at 17:14, Brandon Allbery allber...@gmail.com wrote: On Tue, Dec 23, 2014 at 11:10 AM, Dominic Steinitz domi...@steinitz.org wrote: How very clever

Re: CPP Help (was Re: Latest Template Haskell Breaks Package)

I forgot to mention that `cpphs' can mimick gcc's cpp, with the flag `-cpp'. In Agda we have ghc-options: -pgmPcpphs -optP--cpp Francesco On 24 December 2014 at 10:50, Francesco Mazzoli f...@mazzo.li wrote: You can specify the pre-processor in the `ghc-options' field in the cabal file,

Re: CPP Help (was Re: Latest Template Haskell Breaks Package)

Thank you very much everyone. I now have a version of yarr which compiles under ghc 7.8.3. I have yet to do the conditional compilation hackery to support back versions but then I can make a release. What a great community :-) Dominic Steinitz domi...@steinitz.org

CPP Help (was Re: Latest Template Haskell Breaks Package)

Ok I have a cut down version of the problem and am cross posting to glasgow-haskell-users. To restate the problem: this is from code that has not been changed for 2 years. I get Examples.hs:42:42: Parse error in pattern: con Failed, modules loaded: none. Any help would be very gratefully

Re: CPP Help (was Re: Latest Template Haskell Breaks Package)

years. I get Examples.hs:42:42: Parse error in pattern: con Failed, modules loaded: none. Any help would be very gratefully received. {-# LANGUAGE TypeFamilies, MultiParamTypeClasses, FunctionalDependencies #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE

Re: CPP Help (was Re: Latest Template Haskell Breaks Package)

On Tue, Dec 23, 2014 at 10:46 AM, Dominic Steinitz domi...@steinitz.org wrote: To restate the problem: this is from code that has not been changed for 2 years. I get Examples.hs:42:42: Parse error in pattern: con Failed, modules loaded: none. I think I see the problem. Are you by any

Re: CPP Help (was Re: Latest Template Haskell Breaks Package)

How very clever of you and thank you very much. Changing ‘ to 1 does fix the problem. I would have thought this would work cabal install --with-gcc=gcc-4.9 But sadly I still got the same error. Do I need a special version of cpphs? Dominic Steinitz domi...@steinitz.org

Re: CPP Help (was Re: Latest Template Haskell Breaks Package)

in pattern: con Failed, modules loaded: none. Any help would be very gratefully received. {-# LANGUAGE TypeFamilies, MultiParamTypeClasses, FunctionalDependencies #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE EmptyDataDecls #-} {-# LANGUAGE

Re: CPP Help (was Re: Latest Template Haskell Breaks Package)

On Tue, Dec 23, 2014 at 11:10 AM, Dominic Steinitz domi...@steinitz.org wrote: How very clever of you and thank you very much. Changing ‘ to 1 does fix the problem. I would have thought this would work cabal install --with-gcc=gcc-4.9 But sadly I still got the same error. I think that

Re: [arch-haskell] help upgrading packages

On 2014-05-15 23:18, Magnus Therning wrote: On Thu, May 15, 2014 at 05:29:13PM +0200, Bardur Arantsson wrote: On 2014-05-15 11:35, Magnus Therning wrote: On Wed, May 14, 2014 at 10:47 PM, Bardur Arantsson s...@scientician.net wrote: On 2014-05-12 15:47, Magnus Therning wrote: [--snip--]

Re: [arch-haskell] help upgrading packages

On Wed, May 14, 2014 at 10:47 PM, Bardur Arantsson s...@scientician.net wrote: On 2014-05-12 15:47, Magnus Therning wrote: [--snip--] The same goes for me. Occasionally I revert to installing a package for the local user only, but not even then do I use `cabal install` to do that, I prefer

Re: [arch-haskell] help upgrading packages

On 2014-05-15 11:35, Magnus Therning wrote: On Wed, May 14, 2014 at 10:47 PM, Bardur Arantsson s...@scientician.net wrote: On 2014-05-12 15:47, Magnus Therning wrote: [--snip--] All I needed to install build-wrapper (which I think was the inital problem package in this thread) was to do

Re: [arch-haskell] help upgrading packages

On Thu, May 15, 2014 at 05:29:13PM +0200, Bardur Arantsson wrote: On 2014-05-15 11:35, Magnus Therning wrote: On Wed, May 14, 2014 at 10:47 PM, Bardur Arantsson s...@scientician.net wrote: On 2014-05-12 15:47, Magnus Therning wrote: [--snip--] All I needed to install build-wrapper (which I

Re: [arch-haskell] help upgrading packages

On 2014-05-12 15:47, Magnus Therning wrote: [--snip--] The same goes for me. Occasionally I revert to installing a package for the local user only, but not even then do I use `cabal install` to do that, I prefer running `./Setup.hs configure,build,install` myself. I do mean to look into

Re: [arch-haskell] help upgrading packages

someone might help me with an issuing I'm having doing a system upgrade. When I run pacman -Syu, I get: :: Synchronizing package databases... haskell-core is up to date haskell-happstack is up to date core is up to date extra is up to date community is up to date :: Starting full system

Re: [arch-haskell] help upgrading packages

...@gmail.com mailto:katel...@gmail.com wrote: I was hoping someone might help me with an issuing I'm having doing a system upgrade. When I run pacman -Syu, I get: :: Synchronizing package databases... haskell-core is up to date haskell-happstack is up to date core is up

Re: [arch-haskell] help upgrading packages

and reinstall those packages. Nicola On Sun, May 11, 2014 at 11:49 PM, Michael Katelman katel...@gmail.comwrote: I was hoping someone might help me with an issuing I'm having doing a system upgrade. When I run pacman -Syu, I get: :: Synchronizing package databases... haskell-core is up

Re: [arch-haskell] help upgrading packages

On Mon, May 12, 2014 at 3:33 PM, Nicola Squartini tens...@gmail.com wrote: On Mon, May 12, 2014 at 2:24 PM, Dawid Loubser dawid.loub...@ibi.co.za wrote: I had a similar issue with a large number of packages. I ended up removing and re-installing my entire Haskell ecosystem, and now things

Re: [arch-haskell] help upgrading packages

I'm afraid that I am not one of those 'terrifyingly clever' people you speak of, Magnus, but in the past I have had a world of pain trying to use a mixture of packages between cabal and pacman. Had a very happy time using just pacman until *haskell-buildwrapper* disappeared recently, and I could

Re: [arch-haskell] help upgrading packages

On Mon, May 12, 2014 at 4:02 PM, Dawid Loubser dawid.loub...@ibi.co.za wrote: I'm afraid that I am not one of those 'terrifyingly clever' people you speak of, Magnus, but in the past I have had a world of pain trying to use a mixture of packages between cabal and pacman. Had a very happy time

[arch-haskell] help upgrading packages

I was hoping someone might help me with an issuing I'm having doing a system upgrade. When I run pacman -Syu, I get: :: Synchronizing package databases... haskell-core is up to date haskell-happstack is up to date core is up to date extra is up to date community is up to date :: Starting full

RE: Help with cast error

about the nominal/representational distinction. Simon From: Glasgow-haskell-users [mailto:glasgow-haskell-users-boun...@haskell.org] On Behalf Of Conal Elliott Sent: 24 April 2014 01:29 To: glasgow-haskell-users@haskell.org; ghc-d...@haskell.org; Richard Eisenberg; Simon Peyton Jones Subject: Help

Re: Help with cast error

...@haskell.org] *On Behalf Of *Conal Elliott *Sent:* 24 April 2014 01:29 *To:* glasgow-haskell-users@haskell.org; ghc-d...@haskell.org; Richard Eisenberg; Simon Peyton Jones *Subject:* Help with cast error I'd appreciate help with a cast-related Core Lint error I'm getting with a GHC plugin I'm

Help with cast error

I'd appreciate help with a cast-related Core Lint error I'm getting with a GHC plugin I'm working on: Argument value doesn't match argument type: Fun type: Enc (Vec ('S 'Z) Bool) ~ (Bool, ()) = EP (Enc (Vec ('S 'Z) Bool)) - EP (Bool, ()) Arg type: ~R# (Enc (Vec

RE: Help with coercion roles?

April 2014 06:00 To: ghc-d...@haskell.org; glasgow-haskell-users@haskell.org Subject: Help with coercion roles? I’m working on a GHC plugin (as part of my Haskell-to-hardware work) and running into trouble with coercions roles. Error message from Core Lint: Warning: In the expression

Re: Help with coercion roles?

(Simple.NTCo:HasIf[0] GHC.Types.Bool_R)))_R This is one of the problems with roles -- they are *very* fiddly within GHC, and it's hard for a non-expert in roles to get them right. Have you seen docs/core-spec/core-spec.pdf? That is updated w.r.t. roles and may be of help. Let me know if I can

Re: Help with coercion roles?

(Sym (Simple.NTCo:HasIf[0] GHC.Types.Bool_R)))_R This is one of the problems with roles -- they are *very* fiddly within GHC, and it's hard for a non-expert in roles to get them right. Have you seen docs/core-spec/core-spec.pdf? That is updated w.r.t. roles and may be of help. Let me know

Re: Help with coercion roles?

] GHC.Types.Bool_R)))_R This is one of the problems with roles -- they are *very* fiddly within GHC, and it's hard for a non-expert in roles to get them right. Have you seen docs/core-spec/core-spec.pdf? That is updated w.r.t. roles and may be of help. Let me know if I can help further

Re: Help with coercion roles?

of the problems with roles -- they are *very* fiddly within GHC, and it's hard for a non-expert in roles to get them right. Have you seen docs/core-spec/core-spec.pdf? That is updated w.r.t. roles and may be of help. Let me know if I can help further! Richard On Apr 14, 2014, at 5:45 AM, Simon

Re: Help with coercion roles?

the ability of GHC's type system. Of course, I would like to help you with a way forward -- let me know if there's a way I can. Richard On Apr 14, 2014, at 4:12 PM, Conal Elliott co...@conal.net wrote: Hi Richard, I'm working on compiling Haskell to hardware, as outlined at https://github.com

Re: Help with coercion roles?

, I would like to help you with a way forward -- let me know if there's a way I can. Richard On Apr 14, 2014, at 4:12 PM, Conal Elliott co...@conal.net wrote: Hi Richard, I'm working on compiling Haskell to hardware, as outlined at https://github.com/conal/lambda-ccc/blob/master/doc

Help with coercion roles?

I’m working on a GHC plugin (as part of my Haskell-to-hardware work) and running into trouble with coercions roles. Error message from Core Lint: Warning: In the expression: LambdaCCC.Lambda.lamvP# @ (GHC.Types.Bool → GHC.Types.Bool → GHC.Types.Bool → GHC.Types.Bool) @ (Simple.HasIf

[Haskell] Short survey re: use of haskell.org funds to drive development -- please help!

The haskell.org committee is trying to figure out how to use some of its newfound power (the Power of Collecting Money) to best benefit the open-source Haskell community. You can help us by filling out a very short survey (it should only take you about 5 minutes): https://docs.google.com

Re: [Haskell] [Haskell-cafe] Short survey re: use of haskell.org funds to drive development -- please help!

(the Power of Collecting Money) to best benefit the open-source Haskell community. You can help us by filling out a very short survey (it should only take you about 5 minutes): https://docs.google.com/forms/d/1rEobhHwFpjzPnra9L1TmrozWNFFyAVNPmdUMCcT--3Q/viewform Please do fill it out, especially

[Haskell] Just started working with Haskell. Need some help

Hi, I just started working with Haskell Running it on a RHEL linux operating system I was able to download and install it, along with libraries and packages (or, at least, what I thought were the libraries and packages) But, when I try to run a simple script, I keep getting the error :

[arch-haskell] [PATCH 2/3] Fix convert and old typo in help message.

--- src/Main.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Main.hs b/src/Main.hs index 828e55c..12d377f 100644 --- a/src/Main.hs +++ b/src/Main.hs @@ -101,7 +101,7 @@ cmdConvertDbOpts = CmdConvertDb $ strOption (short 'i' long indb value cblrepo.db help old

Re: [Haskell-iPhone] Can anyone help me test GHC-iOS compiler?

Hello all! I'm extremely happy to report (thanks to invaluable help from Stephen) that my issues were my own dumb fault : ) — I was using LLVM 3.0's Clang but not its llc or opt. With some other tweaks to Stephen's above patch[1], we now have a perfectly working GHC-iOS on OS X 10.9 Mavericks

Re: [Haskell-cafe] more gtk help

On Mon, 12 Aug 2013 14:50:43 +0100 Claude Heiland-Allen cla...@mathr.co.uk wrote: Hi Brian, On 12/08/13 03:52, bri...@aracnet.com wrote: ... Couldn't match expected type ... Gtk.on Gtk.exposeEvent glCanvas $ \ _ - putStrLn foo ... I looked up the type of Gtk.on and

Re: [Haskell-cafe] more gtk help

On Tue, Aug 13, 2013 at 10:45 PM, bri...@aracnet.com wrote: fooBar = do putStrLn foo return True so then I thought, aha!, all I need to do is understand the type of return True and all will be revealed to me. Well, it's this: Control.Monad.Trans.Reader.ReaderT

Re: [Haskell-cafe] more gtk help

Hi Brian, On 12/08/13 03:52, bri...@aracnet.com wrote: ... Couldn't match expected type ... Gtk.on Gtk.exposeEvent glCanvas $ \ _ - putStrLn foo ... I looked up the type of Gtk.on and exposeEvent : ... on :: object - Signal object callback - callback - IO (ConnectId object)

Re: [Haskell-iPhone] Can anyone help me test GHC-iOS compiler?

OK! So just to summarize: Building GHC HEAD with LLVM 3.0 or 3.2 (using GHC 7.6.3 as the bootstrap) on OS X 10.9 DP5/Xcode 5 DP5 exhibits very strange behavior wherein layout-based code along with mixed-tabs-and-spaces code fails to parse correctly, with issues in hundreds of files in the GHC HEAD

Re: [Haskell-iPhone] Can anyone help me test GHC-iOS compiler?

And the truly final word for the moment : ) — I built a tool to partially automate the indentation workaround for LLVM 3.0 and it yields the same co-processor offset out of range/unsupported relocation on symbol LCPI65_0 errors LLVM 3.3/3.4 did when it finally gets to

Re: [Haskell-iPhone] Can anyone help me test GHC-iOS compiler?

What if you build a copy of head with the native code gen. Then build the cross compiler using head on head? On Sunday, August 11, 2013, Luke Iannini wrote: And the truly final word for the moment : ) — I built a tool to partially automate the indentation workaround for LLVM 3.0 and it yields

Re: [Haskell-iPhone] Can anyone help me test GHC-iOS compiler?

Hi all, I tried this — building GHC HEAD configured to use the native code gen, and then building the cross compiler using that, and got the same errors as everything else thus far: https://gist.github.com/lukexi/02366ed57171400b961a 10.9 Mavericks is likely coming out in less than a month,

[Haskell-cafe] more gtk help

starting with the type of 'callback' that I can't seem to trace in the documentation. And I can't figure out why callback is repeated... unfortunately it's not obvious what's going on. The type of the entry widget callback is much simpler, and quite a bit different, so I it's of little help. I'm

Re: [Haskell-iPhone] Can anyone help me test GHC-iOS compiler?

Further investigation: I grabbed 7.6.3 just to see if I somehow had a bad install of GHC, but the problem still occurred. The problem only occurs with LLVM 3.0. It is not related to cross-compilation or Stephen's patches: I tested this on multiple fresh clones with --with-gcc=clang. LLVM 3.2,

Re: [Haskell-iPhone] Can anyone help me test GHC-iOS compiler?

Argh, sorry for the confusion: 3.2 *does* exhibit the issue. 3.3 and 3.4 do not. On Sun, Aug 11, 2013 at 1:39 AM, Luke Iannini lukex...@gmail.com wrote: Further investigation: I grabbed 7.6.3 just to see if I somehow had a bad install of GHC, but the problem still occurred. The problem

Re: [Haskell-cafe] Music / MIDI help

Mark Lentczner wrote: I'm a little lost in the bewildering array of music packages for Haskell, and need some help. I'm looking to recreate one of my algorithmic music compositions from the 1980s. I can easily code the logic in Haskell. I'm looking for a the right set of packages and SW so

[Haskell-cafe] Music / MIDI help

I'm a little lost in the bewildering array of music packages for Haskell, and need some help. I'm looking to recreate one of my algorithmic music compositions from the 1980s. I can easily code the logic in Haskell. I'm looking for a the right set of packages and SW so that I can: a) generate

Re: [Haskell-cafe] Music / MIDI help

Mark Lentczner mark.lentcz...@gmail.com I'm a little lost in the bewildering array of music packages for Haskell, and need some help. I'm looking to recreate one of my algorithmic music compositions from the 1980s. I can easily code the logic in Haskell. I'm looking for a the right set

Re: [Haskell-cafe] Music / MIDI help

Maybe Euterpea? http://haskell.cs.yale.edu/euterpea/download/ On Wed, Jul 10, 2013 at 08:20:08AM -0700, Mark Lentczner wrote: I'm a little lost in the bewildering array of music packages for Haskell, and need some help. I'm looking to recreate one of my algorithmic music compositions from

Who uses Travis CI and can help write a cookbook for those guys?

The Travis folks have decided they want to support Haskell better (multiple compiler versions): https://github.com/travis-ci/travis-ci/issues/882#issuecomment-20165378 (Yay!) They're asking for someone to help them up with setup scripts. They mention their cookbook collection here: https

[Haskell-cafe] Who uses Travis CI and can help write a cookbook for those guys?

The Travis folks have decided they want to support Haskell better (multiple compiler versions): https://github.com/travis-ci/travis-ci/issues/882#issuecomment-20165378 (Yay!) They're asking for someone to help them up with setup scripts. They mention their cookbook collection here: https

[Haskell-cafe] [OT]Help with translating Error Monads to C++

Currently in the c++ developers ml, there's a discussion of a proposed ExpectedT or an EitherL,R template: http://article.gmane.org/gmane.comp.lib.boost.devel/242496 A lot of the discussion appears, at least to me, to not be aware of how haskell handles similar situations. The above link was to

Re: [Haskell-cafe] Help me understand general recursion from cata- and anamorphism

Dear all, https://github.com/nushio3/practice/blob/master/recursion-schemes/FibTest.hs After learning fix-point operators, I found an answer by myself. ``` fibBase :: (Integer - Integer) - Integer - Integer fibBase fib n | n = 1= 1 | otherwise = fib (n-1) + fib (n-2) fibWithFix ::

[Haskell-cafe] Help me understand general recursion from cata- and anamorphism

In an attempt to understand why cata- and anamorphisms are considered so important, I found multiple implications that you can write any recursive functions in terms of nonrecursive functions and ana, cata (am I right here?) so I'm trying to practice the rewrite by a few functions. I'm following a

[Haskell-cafe] help understanding zlib space leak

Dear haskellers, I'd like assistance figuring out a strange space leak using zlib package. To make it easier to reproduce I've come up with the following snippet that pretty much resumes up the problem I'm trying to solve: -- omitting imports and function signatures encode = compress .

Re: [Haskell-cafe] help understanding zlib space leak

Sorry, I should've removed the pid number from the output. The following should be correct: $ sudo dd if=/dev/sda bs=4K count=2048K | ./test +RTS -M1M -s /dev/null ... 8589934592 bytes (8.6 GB) copied, 243.525 s, 35.3 MB/s 41,942,119,192

[Haskell-cafe] Request for help: Recompile of ghc producing ...-ghc7.4.2.sos, which break project builds.

Recently, I had to recompile ghc, in order to get the -dyn versions of the standard libraries installed. (The standard Ubuntu 12.10 64-bit Linux distribution doesn't include them in its haskell-platform package, and you can't upgrade base using the normal cabal iinstall approach, from what I

Re: [Haskell-cafe] Request for help: Recompile of ghc producing ...-ghc7.4.2.sos, which break project builds.

I am able to fix my build problem, by creating a link to * libHSrts-ghc7.4.2.so, *named *libHSrts.so*: dbanas@dbanas-lap:~/prj/AMI-Tool$ ll /usr/lib/ghc-7.4.2/libHSrts* -rw-r--r-- 1 root root 980950 Apr 23 20:08 /usr/lib/ghc-7.4.2/libHSrts.a {snip} -rwxr-xr-x 1 root root 429218 Apr 23 20:08

Re: [Haskell-cafe] Request for help: Recompile of ghc producing ...-ghc7.4.2.sos, which break project builds.

On Sat, Apr 27, 2013 at 11:47 AM, David Banas capn.fre...@gmail.com wrote: dbanas@dbanas-lap:~/prj/AMI-Tool$ make rm -f libami.so ghc -o libami.so -shared -dynamic -package parsec -lHSrts -lm -lffi -lrt AMIParse.o AMIModel.o ami_model.o ExmplUsrModel.o Filter.o

[Haskell-cafe] Request for help with shared object link failure, involving relocation and -fPIC.

Can anyone help me solve this link failure? ghc -o libami.so -shared -package parsec -lHSrts -lm -lffi -lrt AMIParse.o AMIModel.o ami_model.o ExmplUsrModel.o Filter.o /usr/bin/ld: /usr/lib/ghc-7.4.2/libHSrts.a(RtsAPI.o): relocation R_X86_64_32S against `ghczmprim_GHCziTypes_Czh_con_info' can

Re: [Haskell-cafe] File I/O benchmark help (conduit, io-streams and Handle)

a throughput of ~1GB/s. The other methods have a more believable ~70MB/s throughput. G On Fri, Mar 8, 2013 at 7:30 AM, Michael Snoyman mich...@snoyman.com mailto:mich...@snoyman.com wrote: Hi all, I'm turning to the community for some help understanding some benchmark

Re: [Haskell-cafe] File I/O benchmark help (conduit, io-streams and Handle)

all, I'm turning to the community for some help understanding some benchmark results[1]. I was curious to see how the new io-streams would work with conduit, as it looks like a far saner low-level approach than Handles. In fact, the API is so simple that the entire wrapper

Re: [Haskell-cafe] File I/O benchmark help (conduit, io-streams and Handle)

On Fri, Mar 8, 2013 at 9:36 AM, Gregory Collins g...@gregorycollins.netwrote: I presume you did some Handle debugging? ...and here I mean benchmarking of course. -- Gregory Collins g...@gregorycollins.net ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] File I/O benchmark help (conduit, io-streams and Handle)

copy is being done? - Copying a 1MB file in 1ms gives a throughput of ~1GB/s. The other methods have a more believable ~70MB/s throughput. G On Fri, Mar 8, 2013 at 7:30 AM, Michael Snoyman mich...@snoyman.com wrote: Hi all, I'm turning to the community for some help understanding some

Re: [Haskell-cafe] File I/O benchmark help (conduit, io-streams and Handle)

gives a throughput of ~1GB/s. The other methods have a more believable ~70MB/s throughput. G On Fri, Mar 8, 2013 at 7:30 AM, Michael Snoyman mich...@snoyman.comwrote: Hi all, I'm turning to the community for some help understanding some benchmark results[1]. I was curious to see how

Re: [Haskell-cafe] File I/O benchmark help (conduit, io-streams and Handle)

On Fri, Mar 8, 2013 at 9:48 AM, John Lato jwl...@gmail.com wrote: For comparison, on my system I get $ time cp input.dat output.dat real 0m0.004s user 0m0.000s sys 0m0.000s Does your workstation have an SSD? Michael's using a spinning disk. -- Gregory Collins g...@gregorycollins.net

Re: [Haskell-cafe] File I/O benchmark help (conduit, io-streams and Handle)

On Fri, Mar 8, 2013 at 9:53 AM, Gregory Collins g...@gregorycollins.netwrote: On Fri, Mar 8, 2013 at 9:48 AM, John Lato jwl...@gmail.com wrote: For comparison, on my system I get $ time cp input.dat output.dat real 0m0.004s user 0m0.000s sys 0m0.000s Does your workstation have an SSD?

Re: [Haskell-cafe] File I/O benchmark help (conduit, io-streams and Handle)

Something must be wrong with the conduit NoHandle code. I increased the filesize to 60MB and implemented the copy loop in pure C, the code and results are here: https://gist.github.com/gregorycollins/5115491 Everything but the conduit NoHandle code runs in roughly 600-620ms, including the pure C

Re: [Haskell-cafe] File I/O benchmark help (conduit, io-streams and Handle)

That demonstrated the issue: I'd forgotten to pass O_TRUNC to the open system call. Adding that back makes the numbers much more comparable. Thanks for the input everyone, and Gregory for finding the actual problem (as well as pointing out a few other improvements). On Fri, Mar 8, 2013 at 12:13

Re: [Haskell-cafe] File I/O benchmark help (conduit, io-streams and Handle)

...@snoyman.com mailto:mich...@snoyman.com wrote: Hi all, I'm turning to the community for some help understanding some benchmark results[1]. I was curious to see how the new io-streams would work with conduit, as it looks like a far saner low-level approach than Handles. In fact

[Haskell-cafe] File I/O benchmark help (conduit, io-streams and Handle)

Hi all, I'm turning to the community for some help understanding some benchmark results[1]. I was curious to see how the new io-streams would work with conduit, as it looks like a far saner low-level approach than Handles. In fact, the API is so simple that the entire wrapper is just a few lines

Re: [Haskell-cafe] File I/O benchmark help (conduit, io-streams and Handle)

. On Mar 8, 2013 8:30 AM, Michael Snoyman mich...@snoyman.com wrote: Hi all, I'm turning to the community for some help understanding some benchmark results[1]. I was curious to see how the new io-streams would work with conduit, as it looks like a far saner low-level approach than Handles

Re: [Haskell-cafe] File I/O benchmark help (conduit, io-streams and Handle)

exclusively from sinkFile vs sinkFileNoHandle. This makes me think that it might be a buffer copy that's causing the slowdown, in which case the benchmark may in fact be accurate. On Mar 8, 2013 8:30 AM, Michael Snoyman mich...@snoyman.com wrote: Hi all, I'm turning to the community for some help

Re: Need help interpreting renamer trace output

Erratum; Of course, I meant that I had expected the different occurrences of 'x' to have the same uniques. Similarly, the different occurrences of 'y'. I did *not* expect 'x' and 'y' to have the same uniques. Ph. On Wed, 2013-03-06 at 10:18 +0100, Philip K.F. Hölzenspies wrote: Dear GHC-ers,

RE: Need help interpreting renamer trace output

[mailto:glasgow-haskell-users- | boun...@haskell.org] On Behalf Of Philip K.F. Hölzenspies | Sent: 06 March 2013 10:29 | To: glasgow-haskell-users@haskell.org | Subject: Re: Need help interpreting renamer trace output | | Erratum; Of course, I meant that I had expected the different

Re: [Haskell-cafe] Help to write type-level function

I think it might be impossible with type families. I don't think it's possible to differentiate with type families something like T a a, and T a b, with b different from a. I think that you would need overlap to write this.

Re: [Haskell-cafe] Help to write type-level function

On 27 February 2013 12:01, Raphael Gaschignard dasur...@gmail.com wrote: I think it might be impossible with type families. I don't think it's possible to differentiate with type families something like T a a, and T a b, with b different from a. It's indeed impossible to write such type

[Haskell-cafe] Help to write type-level function

Dmitry Kulagin wrote: I try to implement typed C-like structures in my little dsl. HList essentially had those http://code.haskell.org/HList/ I was unable to implement required type function: type family Find (s :: Symbol) (xs :: [(Symbol,Ty)]) :: Ty Which just finds a type in a

Re: [Haskell-cafe] Help to write type-level function

That seems to be very relevant to my problem (especially HList.Record). Am I right that UndecidableInstances is required mostly because of eq on types, like in this instances: class HRLabelSet (ps :: [*]) instance HRLabelSet '[] instance HRLabelSet '[x] instance ( HEq l1 l2 leq ,

Re: [Haskell-cafe] Help to write type-level function

Very clear solution, I will try to adopt it. Thank you! On Wed, Feb 27, 2013 at 12:17 PM, Aleksey Khudyakov alexey.sklad...@gmail.com wrote: On 27 February 2013 12:01, Raphael Gaschignard dasur...@gmail.com wrote: I think it might be impossible with type families. I don't think it's

Re: [Haskell-cafe] Help to write type-level function

Hi Aleksey, Unfortunately, your solution does not work for me (ghc 7.6.2). I reduced the problem to: -- | Type class for type equality. class TypeEq (a :: α) (b :: α) (eq :: Bool) | a b - eq instance TypeEq a a True -- instance TypeEq a b False instance eq ~ False = TypeEq a b eq

Re: [Haskell-cafe] Help to write type-level function

On 27.02.2013 17:35, Dmitry Kulagin wrote: Hi Aleksey, Unfortunately, your solution does not work for me (ghc 7.6.2). I reduced the problem to: -- | Type class for type equality. class TypeEq (a :: α) (b :: α) (eq :: Bool) | a b - eq instance TypeEq a a True -- instance TypeEq a

Re: [Haskell-cafe] Help to write type-level function

Oh, that is my fault - I was sure that I specified the extension and it didn't help. It really works with OverlappingUndecidable. Thank you! On Wed, Feb 27, 2013 at 10:36 PM, Aleksey Khudyakov alexey.sklad...@gmail.com wrote: On 27.02.2013 17:35, Dmitry Kulagin wrote: Hi Aleksey

[Haskell-cafe] Help to write type-level function

Hi, I try to implement typed C-like structures in my little dsl. I was able to express structures using type-level naturals (type Ty is promoted): data Ty = TInt | TBool | TStruct Symbol [Ty] That allowed to implement all needed functions, including type-level function: type family Get (n ::

[Haskell-cafe] Need urgent help with Network.tls

Hi, I am trying to use Haskell to download email/attachments from gmail. For which I am exploring Network.TLS. I got this sample from the net that connects to gmail smtp and works just fine - http://hpaste.org/82890 However, when I modify it a bit to try to connect to imap, it simply does not

Re: [Haskell-cafe] Need urgent help with Network.tls

You can use HaskellNet http://hackage.haskell.org/package/HaskellNet or imapget http://hackage.haskell.org/package/imapget directly or look into their source code for connecting to imap manually. -Satvik On Sat, Feb 23, 2013 at 8:58 PM, C K Kashyap ckkash...@gmail.com wrote: Hi, I am trying

Re: [Haskell-cafe] Need urgent help with Network.tls

The reason I want to use TLS is that I'd want to pack the whole thing in a DLL and give it off to a friend for use. What I am really looking for is a small sample code that demonstrates how TLS package can be used to connect to a webserver or imapserver. Regards, Kashyap On Sat, Feb 23, 2013

Re: [Haskell-cafe] Need urgent help with Network.tls

harder than SMTP; I suggest you read up on the protocol. I've done a fair amount of work with it, and still would have to refer to the RFC to establish a connection without the help of an existing IMAP library. -- brandon s allbery kf8nh sine nomine associates allber

  1   2   3   4   5   6   7   8   9   10   >