Re: [Haskell-cafe] Mystery of an Eq instance

2013-09-20 Thread Tom Ellis
On Fri, Sep 20, 2013 at 09:47:24PM +0530, damodar kulkarni wrote: Ok, let's say it is the effect of truncation. But then how do you explain this? Prelude sqrt 10.0 == 3.1622776601683795 True Prelude sqrt 10.0 == 3.1622776601683796 True Here, the last digit **within the same precision

Re: [Haskell-cafe] PSA: do not install xcode 5 if you are using ghc 7.6

2013-09-20 Thread Adam Foltzer
Hi Carter, Thanks for this heads up! Many of us here are cutting edge Mac users, and would have been bitten by this. Darin and I plan to spend some time next month preparing an unofficial patched version of ghc 7.6 that should play nice with clang / xcode 5, though at such a time ghc 7.8 will

Re: [Haskell-cafe] PSA: do not install xcode 5 if you are using ghc 7.6

2013-09-20 Thread Carter Schonwald
glad to help. an alternative for the discerning power user is to install a recent version of gcc locally (eg 4.8), and build 7.6.3 with that! (or just repoint your ghc settings file to a locally built version of real gcc.) yes, assuming we have the time (after all, it's all volunteer time), that

[Haskell-cafe] Music update

2013-09-20 Thread Mark Lentczner
Some might remember me asking about music packages a while back... An update: I ended up using Euterpea, which in turn uses both Codec.Midi and Sound.PortMidi. My working environment was to have my code loaded up in ghci, play MIDI into a software MIDI bus, and pipe that into MainStage 3 which

[Haskell-cafe] Demarcating monad transformers.

2013-09-20 Thread Nickolay Kudasov
Hi Café, Below I describe what I call «demarcating monad transformer». It works great for my purposes, though the construction feels a bit awkward. Perhaps, this is just an instance of a general case. For details and example, see [1] (single module package). Recently I got a challenge of

Re: [Haskell-cafe] Mystery of an Eq instance

2013-09-20 Thread damodar kulkarni
It seems to me that you're not familiar with the intricacies of floating-point arithmetic. You're not alone, it's one of the top questions on StackOverflow. Please find yourself a copy of What Every Computer Scientist Should Know About Floating-Point Arithmetic by David Goldberg, and read

Re: [Haskell-cafe] Mystery of an Eq instance

2013-09-20 Thread Mike Meyer
On Fri, Sep 20, 2013 at 7:35 PM, damodar kulkarni kdamodar2...@gmail.com wrote: This seems a good step forward, removing the Eq instance altogether on floating point types would be much better; (unless as pointed out by Brandon, you have a very clever representation that can store (floats) in

[Haskell-cafe] ANN: tf-random 0.1 (splittable pseudorandom number generator)

2013-09-19 Thread Michał Pałka
Dear all, I am happy to announce the release of tf-random 0.1. tf-random is a high-quality splittable pseudorandom number generator intended to address the random number quality problems of the standard Haskell StdGen generator. tf-random uses a cryptographic hash function under the hood to

[Haskell-cafe] Fwd: Functional Programming in Bioinformatics, Birds-of-a-Feather Session at CUFP

2013-09-19 Thread Ashish Agarwal
Functional Programming in Bioinformatics Birds-of-a-Feather Session at CUFP 2013 September 23, 2013 at 6:00 PM Boston, MA United States Bioinformatics is a discipline applying computational methods to biological problems. Due to

[Haskell-cafe] cabal: internal error when reading package index

2013-09-18 Thread Henk-Jan van Tuyl
L.S., I was trying to install a package from a local drive and got the following message: cabal install Resolving dependencies... cabal: internal error when reading package index: could not read tar file entryThe package index or index cache is probably corrupt. Running cabal

Re: [Haskell-cafe] cabal: internal error when reading package index

2013-09-18 Thread Ivan Lazar Miljenovic
On 18 September 2013 19:23, Henk-Jan van Tuyl hjgt...@chello.nl wrote: L.S., I was trying to install a package from a local drive and got the following message: cabal install Resolving dependencies... cabal: internal error when reading package index: could not read tar file

[Haskell-cafe] Multi-param typeclass vs locally constrained typeclass methods

2013-09-18 Thread Jacques Carette
Could someone please explain what the difference (if any!), in semantics is between class Foo f = Bar f g where method1 :: f a - g a and class Bar' g where method2 :: Foo f = f a - g a ? Maybe the translation of the above to something lower level might help. [Note: f a - g a is just

Re: [Haskell-cafe] Multi-param typeclass vs locally constrained typeclass methods

2013-09-18 Thread Roman Cheplyaka
* Jacques Carette care...@mcmaster.ca [2013-09-18 08:21:51-0400] Could someone please explain what the difference (if any!), in semantics is between class Foo f = Bar f g where method1 :: f a - g a and class Bar' g where method2 :: Foo f = f a - g a Bar is more flexible than

[Haskell-cafe] future (editor) of HCAR?

2013-09-18 Thread Janis Voigtlaender
Dear all, The Haskell Communities and Activities Report has been produced twice a year for more than ten years now: http://www.haskell.org/haskellwiki/Haskell_Communities_and_Activities_Report I have been responsible for producing it the last few years, which was fun. I am now looking to pass

Re: [Haskell-cafe] future (editor) of HCAR?

2013-09-18 Thread Alejandro Serrano Mena
I would be delighted to take the full responsibility (or just help) in the HCAR. I have some ideas, maybe I could get some time later to write them down. 2013/9/18 Janis Voigtlaender j...@informatik.uni-bonn.de Dear all, The Haskell Communities and Activities Report has been produced twice a

Re: [Haskell-cafe] Multi-param typeclass vs locally constrained typeclass methods

2013-09-18 Thread Jacques Carette
On 13-09-18 08:54 AM, Roman Cheplyaka wrote: * Jacques Carette care...@mcmaster.ca [2013-09-18 08:21:51-0400] Could someone please explain what the difference (if any!), in semantics is between class Foo f = Bar f g where method1 :: f a - g a and class Bar' g where method2 :: Foo f = f

Re: [Haskell-cafe] OS X ghci problem

2013-09-18 Thread Carter Schonwald
The ghci bug goes away when you use a ghc head snapshot from late summer? Great! On Wednesday, September 18, 2013, Jan-Philip Loos wrote: Sadly I was not able to use your build directly, because ghc(i) searched libs in a invalid path (it seems to be wired to one of your directories). I tried

[Haskell-cafe] Haskell Weekly News: Issue 280

2013-09-18 Thread Daniel Santa Cruz
Welcome to issue 280 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of September 8 to 14, 2013. Quotes of the Week * haasn: edwardk uses things in anger. shachaf uses them with disappointment :( * shachaf:

[Haskell-cafe] ANN Vigilance: Get notified when periodical tasks fail to run successfully

2013-09-18 Thread Michael Xavier
Hey Cafe, Just wanted to announce a project I've been tinkering with for a while finally got to a state where I felt comfortable releasing it. Vigilance is a Dead Man's Switch system that notifies you when periodical tasks that fail to check in when you expected them to. An example of this could

Re: [Haskell-cafe] Proposal: Pragma EXPORT

2013-09-17 Thread Evan Laforge
It also makes actual definitions cleaner/shorter rather than cluttering them with extra annotations (either PRAGMAs or public/private markers), though this is not that big of a deal. It's true, though you could get it pretty short, e.g. default private and leading ! for public. Go uses

Re: [Haskell-cafe] plugins fails on a simple example

2013-09-17 Thread Petr Pudlák
Any ideas what could be causing the problem? I could try creating a patch, but I have no clue where to start. Best regards, Petr Dne 09/16/2013 11:12 PM, Jeremy Shaw napsal(a): plugins probably needs to be patched[1]. I'll happily apply such a patch. - jeremy [1] or rewritten from the

Re: [Haskell-cafe] reifying typeclasses

2013-09-17 Thread Evan Laforge
Thanks to everyone who replied, indeed it looks like GADTs do what I claimed I wanted. That's neat because I've never been able to think of a use for them. However: On Sun, Sep 15, 2013 at 2:16 AM, o...@okmij.org wrote: Why not to introduce several type classes, even a type class for each

Re: [Haskell-cafe] reifying typeclasses

2013-09-17 Thread oleg
I've been toying with using Data Types a la Carte to get type representations, a `Typeable` class and dynamic types parameterized by a possibly open universe: If the universe is potentially open, and if we don't care about exhaustive pattern-matching check (which is one of the principal

Re: [Haskell-cafe] Readable GHC 7.6.3 docs (Bootstrapped)

2013-09-17 Thread Obscaenvs
Update: some of the headers were not anchored, due to there being those accursed newlines in them. I have now corrected this, and I hope that now all headers are anchored in the way you suggested (that I found useful, too - of course. One can only wonder why the official docs aren't made thus.)

Re: [Haskell-cafe] PSA: do not install xcode 5 if you are using ghc 7.6

2013-09-17 Thread Obscaenvs
Wow, thank you for the heads up! f Le 2013-09-17 05:16, Carter Schonwald a écrit : Hey everyone, if you are actively using ghc 7.6 on your mac, for now please do not install xcode 5. It will break your ghc install, because 7.6 doesn't know how to correctly use Clang for the CPP work.

[Haskell-cafe] name lists

2013-09-17 Thread Roman Cheplyaka
* Ben Gamari bgamari.f...@gmail.com [2013-09-17 10:03:41-0400] Another approach might be to introduce some notion of a name list which can appear in the export list. These lists could be built up by either user declarations in the source module or in Template Haskell splices and would serve as

Re: [Haskell-cafe] Proposal: Pragma EXPORT

2013-09-17 Thread Ben Gamari
Ivan Lazar Miljenovic ivan.miljeno...@gmail.com writes: On 17 September 2013 09:35, Evan Laforge qdun...@gmail.com wrote: snip None of this is a big deal, but I'm curious about other's opinions on it. Are there strengths to the separate export list that I'm missing? I do like the actual

Re: [Haskell-cafe] name lists

2013-09-17 Thread Ben Gamari
Roman Cheplyaka r...@ro-che.info writes: * Ben Gamari bgamari.f...@gmail.com [2013-09-17 10:03:41-0400] Another approach might be to introduce some notion of a name list which can appear in the export list. These lists could be built up by either user declarations in the source module or in

Re: [Haskell-cafe] plugins fails on a simple example

2013-09-17 Thread Jeremy Shaw
Probably just what it says -- plugins is calling ghc and passing the -fglasgow-exts flag. I would try just removing that flag. - jeremy On Tue, Sep 17, 2013 at 2:08 AM, Petr Pudlák petr@gmail.com wrote: Any ideas what could be causing the problem? I could try creating a patch, but I

Re: [Haskell-cafe] name lists

2013-09-17 Thread Roman Cheplyaka
* Ben Gamari bgamari.f...@gmail.com [2013-09-17 12:41:05-0400] Roman Cheplyaka r...@ro-che.info writes: * Ben Gamari bgamari.f...@gmail.com [2013-09-17 10:03:41-0400] Another approach might be to introduce some notion of a name list which can appear in the export list. These lists could

[Haskell-cafe] Opportunity with Machine Learning Startup in Northern California

2013-09-17 Thread Charles Weitzer
Hello, My name is Charles Weitzer. I have two friends who have started a quantitative hedge fund. One has his PhD in CS from Stanford, while the other has his PhD in Statistics from Berkeley. Company has around 12 people currently. They have made some unpublished discoveries in the field of

[Haskell-cafe] Telling Cassava to ignore lines

2013-09-17 Thread Andrew Cowie
I'm happily using Cassava to parse CSV, only to discover that non-conforming lines in the input data are causing the parser to error out. let e = decodeByName y' :: Either String (Header, Vector Person) chugs along fine until line 461 of the input when parse error (endOfInput) at

Re: [Haskell-cafe] Telling Cassava to ignore lines

2013-09-17 Thread Johan Tibell
Hi, It depends on what you mean by doesn't parse. From your message is assume the CSV is valid, but some of the actual values fails to convert (using FromField). There are a couple of things you could try: 1. Define a newtype for your field that calls runParser using e.g. the Int parser and if

Re: [Haskell-cafe] Telling Cassava to ignore lines

2013-09-17 Thread Andrew Cowie
On Tue, 2013-09-17 at 19:03 -0700, Johan Tibell wrote: 2. Use the Streaming module, which lets you skip whole records that fails to parse (see the docs for the Cons constructor). Ah, that's sure to be it. Totally missed Data.Csv.Streaming. Thanks! AfC Sydney

Re: [Haskell-cafe] reifying typeclasses

2013-09-16 Thread Emil Axelsson
2013-09-15 11:16, o...@okmij.org skrev: Evan Laforge wrote: I have a typeclass which is instantiated across a closed set of 3 types. It has an ad-hoc set of methods, and I'm not too happy with them because being a typeclass forces them to all be defined in one place, breaking modularity. A

Re: [Haskell-cafe] Monomorphic containers, Functor/Foldable/Traversable WAS: mapM_ for bytestring

2013-09-16 Thread John Lato
On Fri, Sep 13, 2013 at 12:48 AM, Michael Snoyman mich...@snoyman.comwrote: On Thu, Sep 12, 2013 at 2:37 AM, John Lato jwl...@gmail.com wrote: I didn't see this message and replied privately to Michael earlier, so I'm replicating my comments here. Sorry about that, I wrote to you

[Haskell-cafe] plugins fails on a simple example

2013-09-16 Thread Petr Pudlák
Hi, I'm playing with plugins, trying to evaluate a simple expression: |import Control.Monad import System.Eval.Haskell main =do let fExpr =1 + 2 :: Int r - eval_ fExpr [Prelude] [] [] [] ::IO (Either [String] (Maybe Int)) case rof Right (Just f) -do

Re: [Haskell-cafe] [Haskell] ANN: Cabal v1.18.0 released

2013-09-16 Thread Henning Thielemann
On Wed, 4 Sep 2013, Johan Tibell wrote: * GHCi support. It's now much easier to use ghci when developing your packages, especially if those packages require preprocessors (e.g. hsc2hs). That's a great feature! How can I configure Cabal to start ghci with certain options? I like to enable

Re: [Haskell-cafe] [Haskell] ANN: Cabal v1.18.0 released

2013-09-16 Thread Erik Hesselink
On Mon, Sep 16, 2013 at 10:16 AM, Henning Thielemann lemm...@henning-thielemann.de wrote: On Wed, 4 Sep 2013, Johan Tibell wrote: * GHCi support. It's now much easier to use ghci when developing your packages, especially if those packages require preprocessors (e.g. hsc2hs). That's a great

Re: [Haskell-cafe] Monomorphic containers, Functor/Foldable/Traversable WAS: mapM_ for bytestring

2013-09-16 Thread Michael Snoyman
On Mon, Sep 16, 2013 at 10:34 AM, John Lato jwl...@gmail.com wrote: On Fri, Sep 13, 2013 at 12:48 AM, Michael Snoyman mich...@snoyman.comwrote: On Thu, Sep 12, 2013 at 2:37 AM, John Lato jwl...@gmail.com wrote: I didn't see this message and replied privately to Michael earlier, so I'm

Re: [Haskell-cafe] OS X ghci problem

2013-09-16 Thread Christiaan Baaij
Hi, I saw the same issue/crash on my machine using ghc 7.6.3. I just build a perf build of GHC-head with 85a9e2468dc74b9e5ccde0dd61be86219fd323a2 as the latest commit. Now running, I get: 1) cabal install bindings-glfw 2) ghci 3) ghci :m Bindings.GLFW 4) ghci Bindings.GLFW.c'glfwInit 5) ghci

Re: [Haskell-cafe] OS X ghci problem

2013-09-16 Thread Christiaan Baaij
Here's a binary dist of my build: https://www.dropbox.com/s/d37rij0dnvjiqqy/ghc-7.7.20130915-x86_64-apple-darwin.tar.bz2 In case someone wants to confirm my findings. Cheers, Christiaan On Sep 16, 2013, at 2:24 PM, Christiaan Baaij christiaan.ba...@gmail.com wrote: Hi, I saw the same

Re: [Haskell-cafe] An APL library for Haskell

2013-09-16 Thread MIMUW
Dear Haskellers APLers, On 03/08/2012 02:44 PM, Simon Peyton-Jones wrote: Friends Many of you will know the array language APLhttp://en.wikipedia.org/wiki/APL_%28programming_language%29. It focuses on arrays and in particular has a rich, carefully-thought-out array algebra. An

Re: [Haskell-cafe] An APL library for Haskell

2013-09-16 Thread Carter Schonwald
Hey All, As Dan Peebles remarks, Repa and similar libs give a great haskelly vocabulary for this. Indeed, most of the examples in the wiki page are very much expressible with the REPA data model. I'd like to take this opportunity note that I'll be releasing a prototype library for numerical

Re: [Haskell-cafe] OS X ghci problem

2013-09-16 Thread Carter Schonwald
Christian, Yes, ghc 7.7/7.8 *should* fix all the ghci linker related problems on platforms that support dynamic linking! If (or anyone else) finds problems with the ghci linker on 7.7, please report them post haste! I'm also glad to hear that someone's finally tested out the new ghci

Re: [Haskell-cafe] plugins fails on a simple example

2013-09-16 Thread Jeremy Shaw
plugins probably needs to be patched[1]. I'll happily apply such a patch. - jeremy [1] or rewritten from the ground up On Mon, Sep 16, 2013 at 2:49 AM, Petr Pudlák petr@gmail.com wrote: Hi, I'm playing with “plugins”, trying to evaluate a simple expression: import Control.Monadimport

Re: [Haskell-cafe] An APL library for Haskell

2013-09-16 Thread Austin Seipp
The message was held by Mailman, because it thought you had too many recipients in the message. Gershom noticed this while we were doing some maintenance, and released it. We also bumped the recipient limit to 20 people, so this shouldn't be a problem again. On Mon, Sep 16, 2013 at 4:32 PM, Simon

Re: [Haskell-cafe] An APL library for Haskell

2013-09-16 Thread Simon Peyton-Jones
PS: Oddly I sent this message in March 2012. I don't know why it has taken over year for it to be delivered! Simon From: Haskell-Cafe [mailto:haskell-cafe-boun...@haskell.org] On Behalf Of Simon Peyton-Jones Sent: 08 March 2012 13:45 To: hask...@haskell.org; Haskell Cafe Cc: Lennart

[Haskell-cafe] Proposal: Pragma EXPORT

2013-09-16 Thread Wvv
I suggest to add instead of (or with) export section Pragma EXPORT: We have 3 values: public, abstract and private. Data(with newtypes and types,..) could be public, like `Data(...)` or abstract `Data`. Other cases abstract = public. {-# EXPORT smth #-} pragma is valid till next {-# EXPORT smth

Re: [Haskell-cafe] Proposal: New syntax for Haskell

2013-09-16 Thread Albert Y. C. Lai
A specification language is desirable. (Test cases are special cases of specifications. Test-driven development is a revival of the waterfall process.) For specifying interactions (computer-computer or computer-human), I recommend live sequence charts of David Harel, or generally any one based

Re: [Haskell-cafe] Proposal: Pragma EXPORT

2013-09-16 Thread Evan Laforge
On Mon, Sep 16, 2013 at 4:09 PM, Wvv vite...@rambler.ru wrote: I suggest to add instead of (or with) export section Pragma EXPORT: I doubt this has much chance, since haskell already made its choice here a long time ago (and even if it were still up for discussion, PRAGMA isn't right for it),

Re: [Haskell-cafe] Proposal: Pragma EXPORT

2013-09-16 Thread Ivan Lazar Miljenovic
On 17 September 2013 09:35, Evan Laforge qdun...@gmail.com wrote: On Mon, Sep 16, 2013 at 4:09 PM, Wvv vite...@rambler.ru wrote: I suggest to add instead of (or with) export section Pragma EXPORT: I doubt this has much chance, since haskell already made its choice here a long time ago (and

Re: [Haskell-cafe] Monomorphic containers, Functor/Foldable/Traversable WAS: mapM_ for bytestring

2013-09-16 Thread John Lato
On Mon, Sep 16, 2013 at 4:57 AM, Michael Snoyman mich...@snoyman.comwrote: On Mon, Sep 16, 2013 at 10:34 AM, John Lato jwl...@gmail.com wrote: On Fri, Sep 13, 2013 at 12:48 AM, Michael Snoyman mich...@snoyman.comwrote: On Thu, Sep 12, 2013 at 2:37 AM, John Lato jwl...@gmail.com wrote:

[Haskell-cafe] PSA: do not install xcode 5 if you are using ghc 7.6

2013-09-16 Thread Carter Schonwald
Hey everyone, if you are actively using ghc 7.6 on your mac, for now please do not install xcode 5. It will break your ghc install, because 7.6 doesn't know how to correctly use Clang for the CPP work. (ghc head / and thus 7.8 will work fine with xcode 5, thanks to some outstanding work by

Re: [Haskell-cafe] Monomorphic containers, Functor/Foldable/Traversable WAS: mapM_ for bytestring

2013-09-16 Thread Michael Snoyman
On Tue, Sep 17, 2013 at 4:25 AM, John Lato jwl...@gmail.com wrote: On Mon, Sep 16, 2013 at 4:57 AM, Michael Snoyman mich...@snoyman.comwrote: I think I just made a bad assumption about what you were proposing. If I was going to introduce a typeclass like this, I'd want it to support `Set`,

reifying typeclasses (resend)

2013-09-15 Thread Evan Laforge
[ This is the second time I sent this, the first time it said it was awaiting moderation because I'm not subscribed to haskell-cafe, which is weird because I thought I was. Did a bunch of people get unsubscribed? ] I'm sure this is old-hat to typeclass wizards, but I've managed to get pretty far

[Haskell-cafe] Recent problems with -cafe -- Fixed (I hope)

2013-09-15 Thread Gershom Bazerman
There were problems with the -cafe mailinglist today. Best I can tell, we had an unplanned system reboot last night. In the course of it going down and back up, the configuration for -cafe got corrupted and the auto-fixed configuration had roughly 3/4 of the membership deleted. I've gone in

Re: [Haskell-cafe] reifying typeclasses (resend)

2013-09-15 Thread Timon Gehr
On 09/15/2013 09:38 AM, Evan Laforge wrote: ... It seems to me like I should be able to replace a typeclass with arbitrary methods with just two, to reify the type and back. This seems to work when the typeclass dispatches on an argument, but not on a return value. E.g.: ... Say m_argument

[Haskell-cafe] LATA 2014: 3rd call for papers

2013-09-15 Thread GRLMC
*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* * 8th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS LATA 2014 Madrid, Spain March

Re: [Haskell-cafe] reifying typeclasses

2013-09-15 Thread oleg
Evan Laforge wrote: I have a typeclass which is instantiated across a closed set of 3 types. It has an ad-hoc set of methods, and I'm not too happy with them because being a typeclass forces them to all be defined in one place, breaking modularity. A sum type, of course, wouldn't have that

Re: [Haskell-cafe] reifying typeclasses (resend)

2013-09-15 Thread Bas van Dijk
You can indeed use GADTs to solve this: {-# LANGUAGE GADTs #-} data Universe a where UInt :: Int - Universe Int UChar :: Char - Universe Char class Universal a where universe :: a - Universe a instance Universal Int where universe = UInt instance Universal Char where

Re: [Haskell-cafe] reifying typeclasses

2013-09-15 Thread oleg
[I too had the problem sending this e-mail to Haskell list. I got a reply saying the message awaits moderator approval] Evan Laforge wrote: I have a typeclass which is instantiated across a closed set of 3 types. It has an ad-hoc set of methods, and I'm not too happy with them because being

[Haskell-cafe] An APL library for Haskell

2013-09-15 Thread Simon Peyton-Jones
Friends Many of you will know the array language APLhttp://en.wikipedia.org/wiki/APL_%28programming_language%29. It focuses on arrays and in particular has a rich, carefully-thought-out array algebra. An obvious idea is: what would a Haskell library that embodies APL's array algebra look

[Haskell-cafe] ANNOUNCE: New OpenGL packages

2013-09-15 Thread Sven Panne
New versions of the OpenGL packages are available on Hackage: * OpenGLRaw 1.4.0.0 * GLURaw 1.4.0.0 * OpenGL 2.9.0.0 * GLUT 2.5.0.0 The mid-term goal is to make all these packages conform to the latest OpenGL 4.4 specification, and while we're not yet there, this release is

Re: [Haskell-cafe] An APL library for Haskell

2013-09-15 Thread Daniel Peebles
Interesting idea. It seems like building this on top of REPA would save a lot of work, since it has a native notion of rank encoded in the type system. I'd then see the APL-like combinators as a niche API for REPA, rather than as a library of their own. And of course, you'd get parallelization for

Re: [Haskell-cafe] OS X ghci problem

2013-09-14 Thread Jan-Philip Loos
What I do for GLFW is use a dylib, then you don't rely on GHCi's static-ish linker. The only wrinkle is figuring out where you want the dylib. I think homebrew will put one in /usr/local/lib, which works out nicely, but they don't have GLFW 3 yet. Another option is to build the dylib

[Haskell-cafe] Quick Angel User's Survey

2013-09-14 Thread Michael Xavier
Hey Cafe, I am the maintainer of Angel, the process monitoring daemon. Angel's job is to start a configured set of processes and restart them when they go away. I was responding to a ticket and realized that the correct functionality is not obvious in one case, so I figured I'd ask the

Re: [Haskell-cafe] Proposal: New syntax for Haskell

2013-09-14 Thread Michael Xavier
I just want to chime in to defend Cucumber, which I use in Ruby at my day job. I see a lot of people put up the strawman that it can only be used as a way for business people to write acceptance tests. That idea is questionable and I've never worked at a company big enough to require that, or with

Re: [Haskell-cafe] Proposal: New syntax for Haskell

2013-09-14 Thread David Thomas
Honestly, I've not. Worth looking at, probably. On Thu, Sep 12, 2013 at 3:42 PM, Bob Ippolito b...@redivi.com wrote: Have you tried AppleScript? I wouldn't say it's pleasant to use, but it's easy to read. On Thursday, September 12, 2013, David Thomas wrote: I've long been interested in

Re: [Haskell-cafe] Proposal: New syntax for Haskell

2013-09-14 Thread Tikhon Jelvis
My problem with cucumber is not the idea of a high-level DSL for tests. Au contraire--I think this is a perfect place for a little language. I could easily see a similar tool being useful for Haskell. Rather, my issue is with the syntax. Not gherkin in particular but rather languages that try to

Re: [Haskell-cafe] Quick Angel User's Survey

2013-09-14 Thread Alexander V Vershilov
Hello, Michael. I'm a potential angel user, and I'd like to add a possibility of optional angel usage as a supervisor for openrc services, when I'll have time. Common practise is: send SIGTERM for a couple of times, then send SIGQUIT for a couple of times, then SIGKILL. You will need to wait

[Haskell-cafe] Trouble installing haskeline: ExitFailure 139

2013-09-14 Thread David Banas
Has anyone else hit an unexplained *ExitFailure 139* when trying to install the *haskeline* package? Thanks, -db dbanas@dbanas-lap:~/prj$ cabal install -v haskeline Reading available packages... Choosing modular solver. Resolving dependencies... Extracting /home/dbanas/.cabal/packages/

Re: [Haskell-cafe] Trouble installing haskeline: ExitFailure 139

2013-09-14 Thread Brandon Allbery
On Sat, Sep 14, 2013 at 4:57 PM, David Banas capn.fre...@gmail.com wrote: Has anyone else hit an unexplained *ExitFailure 139* when trying to install the *haskeline* package? 139 sounds like how the shell passes on Segmentation fault (core dumped). -- brandon s allbery kf8nh

Re: [Haskell-cafe] Quick Angel User's Survey

2013-09-14 Thread Alexander Kjeldaas
You can use cgroups on linux to ensure that everything is shut down. See systemd. Alexander On Sep 14, 2013 9:21 PM, Michael Xavier mich...@michaelxavier.net wrote: Hey Cafe, I am the maintainer of Angel, the process monitoring daemon. Angel's job is to start a configured set of processes

Re: [Haskell-cafe] Trouble installing haskeline: ExitFailure 139

2013-09-14 Thread Judah Jacobson
Can you try running the setup script manually? ghc --make Setup.hs ./Setup configure and see if it prints an error that's any more helpful? Also, what operating system and version of ghc do you have? -Judah On Sat, Sep 14, 2013 at 1:57 PM, David Banas capn.fre...@gmail.com wrote: Has

Re: [Haskell-cafe] Monomorphic containers, Functor/Foldable/Traversable WAS: mapM_ for bytestring

2013-09-13 Thread Mario Blažević
On 09/13/13 01:51, Michael Snoyman wrote: On Fri, Sep 13, 2013 at 5:38 AM, Mario Blažević blama...@acanac.net mailto:blama...@acanac.net wrote: On 09/11/13 19:37, John Lato wrote: 3. I'm not entirely sure that the length* functions belong here. I understand why,

Re: [Haskell-cafe] Monomorphic containers, Functor/Foldable/Traversable WAS: mapM_ for bytestring

2013-09-13 Thread Michael Snoyman
On Fri, Sep 13, 2013 at 9:18 AM, Mario Blažević blama...@acanac.net wrote: On 09/13/13 01:51, Michael Snoyman wrote: On Fri, Sep 13, 2013 at 5:38 AM, Mario Blažević blama...@acanac.netmailto: blama...@acanac.net wrote: On 09/11/13 19:37, John Lato wrote: 3. I'm not entirely

Re: [Haskell-cafe] Monomorphic containers, Functor/Foldable/Traversable WAS: mapM_ for bytestring

2013-09-13 Thread Mario Blažević
On 09/13/13 02:28, Michael Snoyman wrote: On Fri, Sep 13, 2013 at 9:18 AM, Mario Blažević blama...@acanac.net mailto:blama...@acanac.net wrote: On 09/13/13 01:51, Michael Snoyman wrote: On Fri, Sep 13, 2013 at 5:38 AM, Mario Blažević blama...@acanac.net

Re: [Haskell-cafe] Monomorphic containers, Functor/Foldable/Traversable WAS: mapM_ for bytestring

2013-09-13 Thread Michael Snoyman
On Fri, Sep 13, 2013 at 10:07 AM, Mario Blažević blama...@acanac.netwrote: On 09/13/13 02:28, Michael Snoyman wrote: On Fri, Sep 13, 2013 at 9:18 AM, Mario Blažević blama...@acanac.netmailto: blama...@acanac.net wrote: On 09/13/13 01:51, Michael Snoyman wrote: On Fri,

Re: [Haskell-cafe] Package compatibility (SemVer, PVP, ECT)

2013-09-13 Thread Gregory Collins
On Fri, Sep 13, 2013 at 5:25 AM, Thiago Negri evoh...@gmail.com wrote: Is PVP the one that every package on Hackage should use? Yes. G -- Gregory Collins g...@gregorycollins.net ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org

[Haskell-cafe] Do you want to maintain bindings-DSL?

2013-09-13 Thread Maurício Antunes
Hi, bindings-DSL[1] is a stable and reliable macro package for FFI. It just got a new tutorial and its repository is now in git. If no one else wants to maintain it, I'll still be looking at issue reports and fixing possible problems, but I've not been actively using Haskell for some time, and

[Haskell-cafe] Bytestring map/zipWith rationale

2013-09-12 Thread Scott Lawrence
Hello all, Something's always bothered me about map and zipWith for ByteString. Why is it map :: (Word8 - Word8) - ByteString - ByteString but zipWith :: (Word8 - Word8 - a) - ByteString - ByteString - [a] ? Obviously they can be transformed into each other with pack/unpack, and as I

Re: [Haskell-cafe] Bytestring map/zipWith rationale

2013-09-12 Thread Scott Lawrence
On Thu, 12 Sep 2013, Tom Ellis wrote: On Thu, Sep 12, 2013 at 09:21:20AM -0400, Scott Lawrence wrote: Something's always bothered me about map and zipWith for ByteString. Why is it map :: (Word8 - Word8) - ByteString - ByteString but zipWith :: (Word8 - Word8 - a) - ByteString -

Re: [Haskell-cafe] Bytestring map/zipWith rationale

2013-09-12 Thread Tom Ellis
On Thu, Sep 12, 2013 at 09:21:20AM -0400, Scott Lawrence wrote: Something's always bothered me about map and zipWith for ByteString. Why is it map :: (Word8 - Word8) - ByteString - ByteString but zipWith :: (Word8 - Word8 - a) - ByteString - ByteString - [a] Well, what if you

Re: [Haskell-cafe] Bytestring map/zipWith rationale

2013-09-12 Thread Artyom Kazak
On Thu, 12 Sep 2013 18:24:24 +0400, Tom Ellis tom-lists-haskell-cafe-2...@jaguarpaw.co.uk wrote: On Thu, Sep 12, 2013 at 09:21:20AM -0400, Scott Lawrence wrote: Something's always bothered me about map and zipWith for ByteString. Why is it map :: (Word8 - Word8) - ByteString -

Re: [Haskell-cafe] Bytestring map/zipWith rationale

2013-09-12 Thread Carter Schonwald
Scott: benchmark the two and you'll see why we have both :-) On Thursday, September 12, 2013, Scott Lawrence wrote: On Thu, 12 Sep 2013, Tom Ellis wrote: On Thu, Sep 12, 2013 at 09:21:20AM -0400, Scott Lawrence wrote: Something's always bothered me about map and zipWith for ByteString. Why

Re: [Haskell-cafe] Bytestring map/zipWith rationale

2013-09-12 Thread John Lato
Carter: we don't have both. We have one function from each category. My guess is nobody's ever really needed a really fast zipWith :: (Word8-Word8-Word8) - ByteString - ByteString - ByteString; that's the only reason I can think of for its omission. On Thu, Sep 12, 2013 at 10:45 AM, Carter

Re: [Haskell-cafe] Bytestring map/zipWith rationale

2013-09-12 Thread Nicolas Trangez
I did use that a couple of times (`xor`ing 2 ByteStrings together), and was surprised by the omission back then, but IIRC (can't validate now), there's a specialised zipWith (as proposed) in the module (with some other name, obviously), which is not exported, but used when you 'pack' the result of

Re: [Haskell-cafe] Hackage 2 now available for beta testing

2013-09-12 Thread Andreas Abel
On 09.09.2013 20:24, Duncan Coutts wrote: Well-Typed and the Industrial Haskell Group (IHG) are very pleased to announce that Hackage 2 is now available for public beta testing. [new features]: http://beta.hackage.haskell.org/new-features Package candidates. You may have noticed that

Re: [Haskell-cafe] Proposal: New syntax for Haskell

2013-09-12 Thread Andreas Abel
+1 Cucumber seems to be great if you mainly want to read your code over the telephone, distribute it via national radio broadcast, or dictate it to your secretary or your voice recognition software. You can program thus without having to use you fingers. You can lie on your back on your sofa,

Re: [Haskell-cafe] Proposal: New syntax for Haskell

2013-09-12 Thread David Thomas
I've long been interested in a scripting language designed to be spoken. Not interested enough to go about making it happen... but the idea is fascinating and possibly useful. On Thu, Sep 12, 2013 at 2:57 PM, Andreas Abel andreas.a...@ifi.lmu.dewrote: ** +1 Cucumber seems to be great if

Re: [Haskell-cafe] Proposal: New syntax for Haskell

2013-09-12 Thread Brandon Allbery
On Thu, Sep 12, 2013 at 6:00 PM, David Thomas davidleotho...@gmail.comwrote: I've long been interested in a scripting language designed to be spoken. Not interested enough to go about making it happen... but the idea is fascinating and possibly useful.

Re: [Haskell-cafe] GLFW not working in Cabal 1.18

2013-09-12 Thread Albert Y. C. Lai
On 13-09-10 09:27 PM, Thiago Negri wrote: The package GLFW is not building in Cabal 1.18. Setup.hs [1] depends on `rawSystemStdInOut` [2] that changed signature between 1.16 and 1.18. Consider cabal install --cabal-lib-version=1.16. Replace 1.16 by the correct number. Use ghc-pkg list Cabal

Re: [Haskell-cafe] Proposal: New syntax for Haskell

2013-09-12 Thread Bob Ippolito
Have you tried AppleScript? I wouldn't say it's pleasant to use, but it's easy to read. On Thursday, September 12, 2013, David Thomas wrote: I've long been interested in a scripting language designed to be spoken. Not interested enough to go about making it happen... but the idea is

[Haskell-cafe] dns library version 1.0.0

2013-09-12 Thread 山本和彦
Hi all, I have released dns library version 1.0.0. This version provides new APIs. Thus, version is now 1.0.0. The design and implementation was done by Michael Orlitzky based on his experience. Enjoy! --Kazu ___ Haskell-Cafe mailing list

Re: [Haskell-cafe] Monomorphic containers, Functor/Foldable/Traversable WAS: mapM_ for bytestring

2013-09-12 Thread Mario Blažević
On 09/11/13 19:37, John Lato wrote: I didn't see this message and replied privately to Michael earlier, so I'm replicating my comments here. 1. Sooner or later I expect you'll want something like this: class LooseMap c el el' where lMap :: (el - el') - c el - c el' It covers the case of

Re: [Haskell-cafe] Bytestring map/zipWith rationale

2013-09-12 Thread Thomas DuBuisson
On Thu, Sep 12, 2013 at 12:44 PM, Nicolas Trangez nico...@incubaid.com wrote: I did use that a couple of times (`xor`ing 2 ByteStrings together), and was surprised by the omission back then, but IIRC (can't validate now), there's a specialised zipWith (as proposed) in the module (with some

[Haskell-cafe] Package compatibility (SemVer, PVP, ECT)

2013-09-12 Thread Thiago Negri
I've just read Semantic Versioning (SemVer) [1], Package Versioning Policy (PVP) [2] and Eternal Compatibility in Theory (ECT) [3]. Is PVP the one that every package on Hackage should use? SemVer seems to make more sense to me. Also, ECT looks very promising, but it is dated back to 2005 and I

Re: [Haskell-cafe] Monomorphic containers, Functor/Foldable/Traversable WAS: mapM_ for bytestring

2013-09-12 Thread Michael Snoyman
On Thu, Sep 12, 2013 at 2:37 AM, John Lato jwl...@gmail.com wrote: I didn't see this message and replied privately to Michael earlier, so I'm replicating my comments here. Sorry about that, I wrote to you privately first and then thought this might be a good discussion for the cafe. 1.

Re: [Haskell-cafe] Monomorphic containers, Functor/Foldable/Traversable WAS: mapM_ for bytestring

2013-09-12 Thread Michael Snoyman
On Fri, Sep 13, 2013 at 5:38 AM, Mario Blažević blama...@acanac.net wrote: On 09/11/13 19:37, John Lato wrote: I didn't see this message and replied privately to Michael earlier, so I'm replicating my comments here. 1. Sooner or later I expect you'll want something like this: class

<    1   2   3   4   5   6   7   8   9   10   >