[Haskell-cafe] Idea for hackage feature

2010-09-16 Thread Mitar
Hi! I just got an idea for hackage feature. All functions/modules listed there could have some mark if they or any function/module they use uses an unsafe* function. Of course this will make probably almost everything marked as unsafe, but this is the idea - to raise awareness about that so that

Re: [Haskell-cafe] Idea for hackage feature

2010-09-16 Thread Ivan Lazar Miljenovic
On 16 September 2010 16:04, Mitar mmi...@gmail.com wrote: Hi! I just got an idea for hackage feature. All functions/modules listed there could have some mark if they or any function/module they use uses an unsafe* function. Of course this will make probably almost everything marked as

Re: [Haskell-cafe] Idea for hackage feature

2010-09-16 Thread Daniel Peebles
As we were discussing in #haskell, it would have to be more involved than just a taint bit. A listing showing the taint sources of a given package would give you confidence in its good behavior. For example, if my nice, pure package's taint list showed that my only taint sources were through my

[Haskell-cafe] Web development work

2010-09-16 Thread Michael Snoyman
Hi all, Often times when trying to pitch Haskell to potential clients the concern is the lack of qualified developers willing to take on projects. As I'm sure many of you are familiar with, clients prefer not to be locked in to a single programmer: an errant bus can significantly reduce the value

Re: [Haskell-cafe] Memoization/call-by-need

2010-09-16 Thread Ketil Malde
Alex Rozenshteyn rpglove...@gmail.com writes: I understand that fib50 = slowFib 50 will take a while to run the first time but be instant each subsequent call; does this count as memoization? I didn't see anybody else answering this in so many words, but I'd say no, since you only name one

Re: [Haskell-cafe] Web development work

2010-09-16 Thread Andrew Coppin
On 16/09/2010 08:52 AM, Michael Snoyman wrote: Hi all, Often times when trying to pitch Haskell to potential clients the concern is the lack of qualified developers willing to take on projects. As I'm sure many of you are familiar with, clients prefer not to be locked in to a single

Re: [Haskell-cafe] Idea for hackage feature

2010-09-16 Thread Ivan Lazar Miljenovic
On 16 September 2010 17:00, Daniel Peebles pumpkin...@gmail.com wrote: But maybe one day we'll have way more than just Stability: experimental; Version: 0.0.1 on hackage, but instead: Stability: experimental Version: 0.0.1 Test coverage: 98% User stability rating: 86% User API quality

Re: [Haskell-cafe] Idea for hackage feature

2010-09-16 Thread Daniel Peebles
Yeah, those other things were part of the bigger picture that I hope hackage will get some day: two axes of user rating, plus optional support for visualizing things like test coverage and regression tests that you include in your cabal file (cabal test was being worked on during one of this

Re: [Haskell-cafe] Idea for hackage feature

2010-09-16 Thread Ville Tirronen
Yeah, those other things were part of the bigger picture that I hope hackage will get some day: two axes of user rating, plus optional support for visualizing things like test coverage and regression tests that you include in your cabal file (cabal test was being worked on during one of this

[Haskell-cafe] Re: Curious why quot; cabal upgrade parsecquot; not installing latest version

2010-09-16 Thread Johannes Waldmann
Jason Dagit dagit at codersbase.com writes: preference: base = 4, parsec = 3 I am trying this, but ... Warning: Error parsing config file /home/waldmann/.cabal/config:14: Parse of field 'preference' failed (dependency expected): base = 4, parsec = 3 Warning: Using default configuration. cabal

Re: [Haskell-cafe] Web development work

2010-09-16 Thread Michael Snoyman
On Thu, Sep 16, 2010 at 10:26 AM, Andrew Coppin andrewcop...@btinternet.com wrote:  On 16/09/2010 08:52 AM, Michael Snoyman wrote: future it would be beneficial to the community to have this information centralized on a website. I think it would be useful to have some basic skills and

Re: [Haskell-cafe] Re: Curious why quot; cabal upgrade parsecquot; not installing latest version

2010-09-16 Thread Ivan Lazar Miljenovic
On 16 September 2010 21:48, Johannes Waldmann waldm...@imn.htwk-leipzig.de wrote: Jason Dagit dagit at codersbase.com writes: preference: base = 4, parsec = 3 I am trying this, but ... Warning: Error parsing config file /home/waldmann/.cabal/config:14: Parse of field 'preference' failed

Re: [Haskell-cafe] Re: Full strict functor by abusing Haskell exceptions

2010-09-16 Thread Sjoerd Visscher
On Sep 16, 2010, at 6:45 AM, wren ng thornton wrote: Given that any functor for adding strictness will have to deal with the same issue of preserving bottom-eating compositions, I postulated that there exists no functor from (all of) Hask to !Hask. But, since !Hask is a subcategory of

Re: [Haskell-cafe] Generating arbitrary functions with QuickCheck?

2010-09-16 Thread Jonas Almström Duregård
The type (String - Maybe (a, String)) should already be an instance of arbitrary if a is. One way of generating functions is to have some sort of hashing function (a - Int). Functions from a to b can be generating by using the hash value to transform the random seed before the b is generated.

[Haskell-cafe] Reachable variables exercise

2010-09-16 Thread Carlos Camarao
Hi. Consider for example an expression e0 like: fst (True,e) where e is any expression. e0 should have type Bool IMHO irrespectively of the type of e. In Haskell this is the case if e's type is monomorphic, or polymorphic, or constrained and there is a default in the current module that

Re: [Haskell-cafe] Web development work

2010-09-16 Thread Daniel Peebles
Sounds awesome! Why not grab .org too? or was that taken? On Thu, Sep 16, 2010 at 2:35 PM, Michael Snoyman mich...@snoyman.comwrote: On Thu, Sep 16, 2010 at 10:26 AM, Andrew Coppin andrewcop...@btinternet.com wrote: On 16/09/2010 08:52 AM, Michael Snoyman wrote: future it would be

Re: [Haskell-cafe] Web development work

2010-09-16 Thread Don Stewart
michael: On Thu, Sep 16, 2010 at 10:26 AM, Andrew Coppin andrewcop...@btinternet.com wrote:  On 16/09/2010 08:52 AM, Michael Snoyman wrote: future it would be beneficial to the community to have this information centralized on a website. I think it would be useful to have some basic

[Haskell-cafe] A question about threading state

2010-09-16 Thread michael rice
I've been playing around with State Monads. Two I looked at earlier used *sequence* and *replicate* but when I came to this one I found myself puzzling over how to structure the problem when there was no predetermined count of how many times to thread the state. == Program 1

Re: [Haskell-cafe] benchmarking c/c++ and haskell

2010-09-16 Thread Brandon S Allbery KF8NH
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 9/15/10 06:41 , Daniel Fischer wrote: play a role. Since ghc fares pretty well on 64-bit linux (David Terei and Don), both, via the NCG and via C, it seems its 64-bit code generator is better than its 32-bit code generator :( amd64 has more

Re: [Haskell-cafe] Web development work

2010-09-16 Thread Clint Moore
On Sep 16, 2010, at 5:35 AM, Michael Snoyman wrote: OK, I'll bite on this one. I just registered the domain name haskellers.com (I was surprised it was available). So let me ask the community what information they would want out there. Here's the ideas I had: * Users can create their own

[Haskell-cafe] IO-oriented cache library for interacting with GUI

2010-09-16 Thread Alexey Karakulov
Hi. I'm writing GUI (gtk) program which purpose is take some data as user input, perform some evaluations, and produce some plots and coefficients. Since some evaluations take significant time (about 10 seconds), I try to cache results. The problem is that dependency structure is quite

Re: [Haskell-cafe] Idea for hackage feature

2010-09-16 Thread Bas van Dijk
On Thu, Sep 16, 2010 at 1:43 PM, Ville Tirronen alea...@gmail.com wrote: I'd be happy even if there was a mandatory whats new field on packages. I see version numbers flashing by but that doesn't really tell me whats happening. See: http://hackage.haskell.org/trac/hackage/ticket/299

[Haskell-cafe] Re: Idea for hackage feature

2010-09-16 Thread Simon Michael
On 9/16/10 9:44 AM, Bas van Dijk wrote: I try to add NEWS files to my packages source repositories[1] but it sure would be nice if this file was directly shown on hackage. Agreed. For now I sometimes put the most recent release notes in the description, like

Re: [Haskell-cafe] Idea for hackage feature

2010-09-16 Thread Henning Thielemann
Ivan Lazar Miljenovic schrieb: On 16 September 2010 16:04, Mitar mmi...@gmail.com wrote: Hi! I just got an idea for hackage feature. All functions/modules listed there could have some mark if they or any function/module they use uses an unsafe* function. Of course this will make probably

Re: [Haskell-cafe] Memoization/call-by-need

2010-09-16 Thread Román González
Alex, Maybe this pdf can enlighten you a little bit about memoization and lazy evaluation in Haskell = http://www.cs.uu.nl/wiki/pub/USCS2010/CourseMaterials/A5-memo-slides-english.pdf Cheers. Roman.- I feel that there is something that I don't understand completely: I have been told that

Re: [Haskell-cafe] IO-oriented cache library for interacting with GUI

2010-09-16 Thread Evan Laforge
2010/9/16 Alexey Karakulov ankaraku...@gmail.com: Hi. I'm writing GUI (gtk) program which purpose is take some data as user input, perform some evaluations, and produce some plots and coefficients. Since some evaluations take significant time (about 10 seconds), I try to cache results. The

Re: [Haskell-cafe] Re: Curious why quot; cabal upgrade parsecquot; not installing latest version

2010-09-16 Thread Jason Dagit
On Thu, Sep 16, 2010 at 4:48 AM, Johannes Waldmann waldm...@imn.htwk-leipzig.de wrote: Jason Dagit dagit at codersbase.com writes: preference: base = 4, parsec = 3 I am trying this, but ... Warning: Error parsing config file /home/waldmann/.cabal/config:14: Parse of field 'preference'

Re: [Haskell-cafe] Web development work

2010-09-16 Thread James Sanders
I like this idea and would be happy to help if I can. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

[Haskell-cafe] Re: Re: Do expression definition

2010-09-16 Thread Ben Franksen
wren ng thornton wrote: On 9/13/10 6:22 AM, Michael Lazarev wrote: Thanks for examples and pointers. Since I came from Lisp, it never occurred to me that let and lambda are different constructs in Haskell. I thought that let x = y in f is really (\x - f) y It turns out that

Re: [Haskell-cafe] IO-oriented cache library for interacting with GUI

2010-09-16 Thread Vo Minh Thu
2010/9/16 Evan Laforge qdun...@gmail.com: 2010/9/16 Alexey Karakulov ankaraku...@gmail.com: Hi. I'm writing GUI (gtk) program which purpose is take some data as user input, perform some evaluations, and produce some plots and coefficients. Since some evaluations take significant time (about 10

[Haskell-cafe] Re: Re: Full strict functor by abusing Haskell exceptions

2010-09-16 Thread Ben Franksen
Sjoerd Visscher wrote: But StrictIncl can't be a pointed functor, only endofunctors can be pointed. Could someone tell me what exactly a pointed functor is? I googled but did not find a definition. Thanks Ben ___ Haskell-Cafe mailing list

[Haskell-cafe] ANN: monte-carlo version 0.3

2010-09-16 Thread Patrick Perry
monte-carlo is a haskell library providing a monad and associated monad transformer for computing with quasi-random numbers. It provides a high-level interface to the distributions supported by the GNU Scientific Library (currently just uniform, normal, exponential, Poisson, Levy, but others

Re: [Haskell-cafe] Reachable variables exercise

2010-09-16 Thread Luke Palmer
I am not totally sure if I understand your proposal correctly, but if I do, then it has a flaw. Consider: class Boolable a where boolify :: a - Bool class O a where o :: a main = print $ boolify o It seems like under your proposal this should not be a type error.

Re: [Haskell-cafe] IO Put confusion

2010-09-16 Thread Ben Millwood
On Wed, Sep 15, 2010 at 12:45 AM, Chad Scherrer chad.scher...@gmail.com wrote: Hello, I need to be able to use strict bytestrings to efficiently build a lazy bytestring, so I'm using putByteString in Data.Binary. But I also need random numbers, so I'm using mwc-random. I end up in the IO Put

Re: [Haskell-cafe] Idea for hackage feature

2010-09-16 Thread Ivan Lazar Miljenovic
On 17 September 2010 03:18, Henning Thielemann schlepp...@henning-thielemann.de wrote: Ivan Lazar Miljenovic schrieb: The problem with this is: unsafe* functions would be better called yesIGuaranteeThatUsingThisFunctionDoesResultInAReferentiallyTransparentEntityAndItsOKForMeToUseIt*.  They

Re: [Haskell-cafe] Curious why cabal upgrade parsec not installing latest version

2010-09-16 Thread Ben Millwood
On Thu, Sep 16, 2010 at 4:00 AM, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: Because Parsec-3 apparently still has some speed regressions compared to Parsec-2 (I'm not qualified to note whether its design is slow or if you have to use it differently to get good performance out of

Re: [Haskell-cafe] Idea for hackage feature

2010-09-16 Thread Ben Millwood
On Fri, Sep 17, 2010 at 1:44 AM, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: On 17 September 2010 03:18, Henning Thielemann My suggestion is to move the Unsafe modules to a new package 'unsafe'. Then you can easily spot all dirty packages by looking at reverse dependencies of

Re: [Haskell-cafe] Idea for hackage feature

2010-09-16 Thread Conrad Parker
On 17 September 2010 10:12, Ben Millwood hask...@benmachine.co.uk wrote: On Fri, Sep 17, 2010 at 1:44 AM, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: On 17 September 2010 03:18, Henning Thielemann My suggestion is to move the Unsafe modules to a new package 'unsafe'. Then you can

Fwd: [Haskell-cafe] Reachable variables exercise

2010-09-16 Thread Carlos Camarao
-- Forwarded message -- From: Carlos Camarao carlos.cama...@gmail.com Date: Fri, Sep 17, 2010 at 12:01 AM Subject: Re: [Haskell-cafe] Reachable variables exercise To: Luke Palmer lrpal...@gmail.com boolify o has type Boolable a = Bool under the proposal, then we have ambiguity,

Re: [Haskell-cafe] Curious why cabal upgrade parsec not installing latest version

2010-09-16 Thread Peter Schmitz
This gets a little hilarious (but better to laugh than cry). Well, I decided to try Parsec version 3 (i.e., 3.1.0) after all, and edited my cabal config to include: preference: parsec = 3 I did not include base = 4; hope that is not a problem. I did cabal upgrade parsec, which went great. It

Re: [Haskell-cafe] Curious why cabal upgrade parsec not installing latest version

2010-09-16 Thread Ivan Lazar Miljenovic
Run ghc-pkg check, and do a cabal install --reinstall for all packages that it says need to be rebuilt at the bottom. On 17 September 2010 13:44, Peter Schmitz ps.hask...@gmail.com wrote: This gets a little hilarious (but better to laugh than cry). Well, I decided to try Parsec version 3

Re: [Haskell-cafe] Curious why cabal upgrade parsec not installing latest version

2010-09-16 Thread Ivan Lazar Miljenovic
On 17 September 2010 13:52, Ivan Lazar Miljenovic ivan.miljeno...@gmail.com wrote: Run ghc-pkg check, and do a cabal install --reinstall for all packages that it says need to be rebuilt at the bottom. Actually, I just re-read your post and you seem to have bigger problems... The cause of the

Re: [Haskell-cafe] Reachable variables exercise

2010-09-16 Thread Carlos Camarao
Ah... now I understand your concern; I should have written something like: where K +_t K' denotes the set of constraints from K plus those from K' that have type variables reachable from t. instead of: where K +_t K' denotes the constraint-set obtained by adding from K' only constraints

Re: [Haskell-cafe] IO-oriented cache library for interacting with GUI

2010-09-16 Thread Antoine Latter
2010/9/16 Alexey Karakulov ankaraku...@gmail.com: Hi. I'm writing GUI (gtk) program which purpose is take some data as user input, perform some evaluations, and produce some plots and coefficients. Since some evaluations take significant time (about 10 seconds), I try to cache results. The