Re: [Haskell-cafe] ANNOUNCE: tasty, a new testing framework

2013-08-07 Thread Roman Cheplyaka
* Magnus Therning [2013-08-08 07:59:37+0200] > On Mon, Aug 05, 2013 at 09:48:39PM +0300, Roman Cheplyaka wrote: > > I am pleased to announce the first release of tasty, a new testing > > framework for Haskell. It is meant to be a successor to > > test-framework (which is unmaintained). > > > > Ta

Re: [Haskell-cafe] Module names from a function name

2013-08-07 Thread Roman Cheplyaka
Hi, You can easily do this using the haskell-names library. See http://documentup.com/haskell-suite/haskell-names Roman * Jong-won Choi [2013-08-08 12:34:44+1000] > Hi, > > I asked this question to beginner mailing list and no luck so far, so > I'm trying here. > > How can I get all the modul

Re: [Haskell-cafe] ANNOUNCE: tasty, a new testing framework

2013-08-07 Thread Magnus Therning
On Mon, Aug 05, 2013 at 09:48:39PM +0300, Roman Cheplyaka wrote: > I am pleased to announce the first release of tasty, a new testing > framework for Haskell. It is meant to be a successor to > test-framework (which is unmaintained). > > Tasty supports HUnit, SmallCheck, QuickCheck, and golden tes

Re: [Haskell-cafe] Haskell Platform and Leksah on Windows

2013-08-07 Thread Mihai Maruseac
Hello all, Thanks for your replies, I've relayed them to my acquaintance. Though he still doesn't understand that he's at fault for demanding the unreasonable. On Thu, Aug 8, 2013 at 6:28 AM, Carter Schonwald wrote: > Hello Mihai, > > you bring up 2 unrelated questions, i'll address them seperat

Re: [Haskell-cafe] Importing more modules by default

2013-08-07 Thread Carter Schonwald
Hello Aditya, you could write a script to generate a starter file for yourself. I do something like that with my own latex documents. Or have your own special module that reexports all of those that you import for you own projects. Its very easy to write your own module that reExports other modules

Re: [Haskell-cafe] Alternative name for return

2013-08-07 Thread Donn Cave
quoth Richard A. O'Keefe > Check the OED. Most of its meaning are about _turning back_, > _resuming_, _reverting_. Yielding or making a profit is not at > all about "providing a value", but about money going out AND > COMING BACK. It's the coming back part that makes it a "return". Yes. Retur

Re: [Haskell-cafe] Haskell Platform and Leksah on Windows

2013-08-07 Thread Carter Schonwald
Hello Mihai, you bring up 2 unrelated questions, i'll address them seperately 1) Leksah should not be considered an "official haskell ide", but merely one of many community supported editing tools. And frankly one of the less widely used ones at that! Leksah is not used much at all by anyone, t

Re: [Haskell-cafe] Module names from a function name

2013-08-07 Thread Jong-won Choi
Thanks for the suggestion, but I am looking for a programmatic way. Is module in Haskell first class object? Does it maintain function names which are exported? On 08/08/13 12:41, Patrick Mylund Nielsen wrote: hoogle after running cabal install hoogle and hoogle data On Aug 7, 2013 10:35 P

[Haskell-cafe] Module names from a function name

2013-08-07 Thread Jong-won Choi
Hi, I asked this question to beginner mailing list and no luck so far, so I'm trying here. How can I get all the module names which (re-)export a given function name? I'd like to fix Emacs Haskell mode - interactive documentation browser and I need the list of such module names. Thanks! -

[Haskell-cafe] Importing more modules by default

2013-08-07 Thread aditya bhargava
Hi there, It seems like every Haskell program I write imports the following modules: Control.Monad Control.Applicative Data.Maybe Data.List Is there a good reason why these modules aren't imported by default? When I write a simple script usually a 1/4th of the script is just imports, and my code

[Haskell-cafe] Haskell Weekly News: Issue 275

2013-08-07 Thread Daniel Santa Cruz
Welcome to issue 275 of the HWN, an issue covering crowd-sourced bits of information about Haskell from around the web. This issue covers the week of July 28 to August 3, 2013. Quotes of the Week * littlecalculist: combinatorics. n. math's way of punishing you for failing to use abstracti

[Haskell-cafe] ANN: Monad.Reader Issue 22

2013-08-07 Thread Edward Z. Yang
I am pleased to announce that Issue 22 of the Monad Reader is now available. http://themonadreader.files.wordpress.com/2013/08/issue22.pdf Issue 22 consists of the following two articles: * "Generalized Algebraic Data Types in Haskell" by Anton Dergunov * "Error Reporting Parsers: a Mona

Re: [Haskell-cafe] Alternative name for return

2013-08-07 Thread Richard A. O'Keefe
On 8/08/2013, at 2:56 AM, Donn Cave wrote: > The RFC822 headers of your email suggest that you use a Macintosh computer, > so apart from the apparently disputable question of whether you're familiar > with English, you have the same online dictionary as mine. My department has an electronic subsc

Re: [Haskell-cafe] Alternative name for return

2013-08-07 Thread Timon Gehr
On 08/08/2013 01:19 AM, Jerzy Karczmarczuk wrote: Bardur Arantsson comments the comment of Joe Quinn: >On 8/7/2013 11:00 AM, David Thomas wrote: >>twice :: IO () -> IO () >>twice x = x >> x >> >>I would call that evaluating x twice (incidentally creating two >>separate evaluations of one pure a

Re: [Haskell-cafe] Alternative name for return

2013-08-07 Thread Richard A. O'Keefe
On 8/08/2013, at 2:09 AM, damodar kulkarni wrote: > Thanks for pointing this out, I was not able to point my thoughts in this > direction. > > But I still have a doubt: if my familiarity doesn't come in the form of some > "analogy", then my acquired intuition about "it" would be of little use.

Re: [Haskell-cafe] Alternative name for return

2013-08-07 Thread Richard A. O'Keefe
On 7/08/2013, at 9:17 PM, Jerzy Karczmarczuk wrote: > I am the last here who would quarrel with Richard O'K., but I firmly believe > that such reasoning is a Pandora box. > > The King, the government, the Pope, etc. have no power, only the > interpretation of their decrees by "outer agents" _d

Re: [Haskell-cafe] Alternative name for return

2013-08-07 Thread Jerzy Karczmarczuk
Bardur Arantsson comments the comment of Joe Quinn: >On 8/7/2013 11:00 AM, David Thomas wrote: >>twice :: IO () -> IO () >>twice x = x >> x >> >>I would call that evaluating x twice (incidentally creating two >>separate evaluations of one pure action description), but I'd like to >>better see yo

Re: [Haskell-cafe] Haskell Platform and Leksah on Windows

2013-08-07 Thread Albert Y. C. Lai
On 13-08-07 01:18 AM, Mihai Maruseac wrote: Anyway, he blogged about his problems at http://dorinlazar.ro/haskell-platform-windows-crippled/ and I'm sure that we can work on fixing some of them. To learn Haskell on Windows, and with Haskell Platform already installed, it is very easy and KISS

Re: [Haskell-cafe] Alternative name for return

2013-08-07 Thread Bardur Arantsson
On 2013-08-07 22:38, Joe Quinn wrote: > On 8/7/2013 11:00 AM, David Thomas wrote: >> twice :: IO () -> IO () >> twice x = x >> x >> >> I would call that evaluating x twice (incidentally creating two >> separate evaluations of one pure action description), but I'd like to >> better see your perspect

Re: [Haskell-cafe] Alternative name for return

2013-08-07 Thread Joe Quinn
On 8/7/2013 11:00 AM, David Thomas wrote: twice :: IO () -> IO () twice x = x >> x I would call that evaluating x twice (incidentally creating two separate evaluations of one pure action description), but I'd like to better see your perspective here. x is only evaluated once, but /executed/

[Haskell-cafe] Installing wxHaskel on Snow Leopard

2013-08-07 Thread Eduardo Sato
Hello, guys. Has anybody tried to install wxhaskell on Snow Leopard? I followed these instructions: http://www.haskell.org/haskellwiki/WxHaskell/Mac , but got an error: src/haskell/Graphics/UI/WXCore/WxcClassesAL.hs:13085:1: Unacceptable argument type in foreign declaration: CInt When c

Re: [Haskell-cafe] Contracts

2013-08-07 Thread Duncan Coutts
On Wed, 2013-08-07 at 17:48 +0100, Colin Adams wrote: > I thought the OP was talking about software contracts (as in Eiffel / > Design By Contract ). Oh oops, you're right. SPJ has too many papers about contracts! :-) > On 7 August 2013 16:15, Duncan Coutts wrote: > > > On Mon, 2013-08-05 at 23

Re: [Haskell-cafe] Contracts

2013-08-07 Thread Colin Adams
I thought the OP was talking about software contracts (as in Eiffel / Design By Contract ). Liquid Haskell is interesting in this respect. Though I doubt if it qualifies as mature. On 7 August 2013 16:15, Duncan Coutts wrote: > On Mon, 2013-08-05 at 23:13 -0400, Julian Arni wrote: > > I've com

Re: [Haskell-cafe] Hackage upload problem

2013-08-07 Thread Thomas Hallgren
On 2013-08-07 17:06 , Duncan Coutts wrote: > On Wed, 2013-08-07 at 14:32 +0200, Thomas Hallgren wrote: >> Hi, >> >> I get the following error when I try to upload gf-3.5.tar.gz [1] to Hackage. >> >> 400 Error in upload >> could not extract gf-3.5 directory from gf-3.5.tar.gz >> >> >> I

Re: [Haskell-cafe] Contracts

2013-08-07 Thread Duncan Coutts
On Mon, 2013-08-05 at 23:13 -0400, Julian Arni wrote: > I've come across interesting papers - and old, sometimes inaccessible, > repositories - related contracts in Haskell (Dana Xu and SPJ's papers; > haskellcontracts and the Programatica Project). And then some newer, > apparently not quite matur

Re: [Haskell-cafe] Hackage upload problem

2013-08-07 Thread Duncan Coutts
On Wed, 2013-08-07 at 14:32 +0200, Thomas Hallgren wrote: > Hi, > > I get the following error when I try to upload gf-3.5.tar.gz [1] to Hackage. > > 400 Error in upload > could not extract gf-3.5 directory from gf-3.5.tar.gz > > > I get the same error when I try to Check the previ

Re: [Haskell-cafe] Alternative name for return

2013-08-07 Thread David Thomas
Return is all about providing a value *when used transitively*. When used intransitively, it's about moving yourself. There's nothing about the latter sense that implies providing a value. Which is not to say Richard did not overstate the case - "return needn't necessarily (in English) suggest p

Re: [Haskell-cafe] Alternative name for return

2013-08-07 Thread David Thomas
> 2. This is the only way you can evaluate your "pure value", and because of > the monadic chaining, you cannot do it twice, you cannot "re-evaluate" it. > I'm sure there is a sense in which this is true, but I'm not seeing it. How would you describe what's going on here? twice :: IO () -> IO ()

Re: [Haskell-cafe] Alternative name for return

2013-08-07 Thread Donn Cave
quoth Richard A. O'Keefe, ... > If you're familiar with *English* rather than, say, the C family of > programming languages, "return" isn't _that_ bad, there is certainly > nothing about the word that suggests providing a value. The RFC822 headers of your email suggest that you use a Macintosh com

Re: [Haskell-cafe] Alternative name for return

2013-08-07 Thread damodar kulkarni
> "It is intuitive" has no other discernable meaning than "*I* am familiar > with it, or something very much like it." > Thanks for pointing this out, I was not able to point my thoughts in this direction. But I still have a doubt: if my familiarity doesn't come in the form of some "analogy", the

[Haskell-cafe] Hackage upload problem

2013-08-07 Thread Thomas Hallgren
Hi, I get the following error when I try to upload gf-3.5.tar.gz [1] to Hackage. 400 Error in upload could not extract gf-3.5 directory from gf-3.5.tar.gz I get the same error when I try to Check the previous version, gf-3.4.tar.gz [2], which was uploaded without problems 6 mont

Re: [Haskell-cafe] ANNOUNCE: tasty, a new testing framework

2013-08-07 Thread Jan Stolarek
I'll add that as an issue on github then. I tried implementing this for test-framework and failed - the code was just too complicatd for me. It'll be intereseting to see whether tasty has simpler implementation :) Janek - Oryginalna wiadomość - Od: "Roman Cheplyaka" Do: "Jan Stolarek"

Re: [Haskell-cafe] ANNOUNCE: tasty, a new testing framework

2013-08-07 Thread Roman Cheplyaka
It certainly can, but it doesn't do that yet. Should be very easy to fix, though. Patches are welcome. Roman * Jan Stolarek [2013-08-07 10:00:36+0200] > Sorry, my last email got sent too quickly. Anyway, continuing my thought. So > QuickCheck can classify tests: > > +++ OK, passed 100 tests

Re: [Haskell-cafe] Alternative name for return

2013-08-07 Thread Alberto G. Corona
Fine reasoning. Pure means incorruptible. It means that a pure result can be reused again and again -like the gold or silver- while an impure result must be re-created whenever it must be used. The metaphor is natural and I guess that the use of pure (rather than referential transparent) is inform

Re: [Haskell-cafe] Alternative name for return

2013-08-07 Thread Alberto G. Corona
One of the surprising things of Haskell is how little effort is done in order to confer meaning to the names. That happens also in the case of the mathematical language. Often they have a single letter. The reason is that their meaning is completely defined by their signature and their properties.

Re: [Haskell-cafe] Alternative name for return

2013-08-07 Thread Jerzy Karczmarczuk
Richard A. O'Keefe : Haskell has*trained* my intuition to see 'putStrLn "Hi"' as a pure value; it's not the thing itself that has effects, but its interpretation by an outer engine, just as my magnetic card key has by itself no power to open doors, but the magnetic reader that looks at the card

Re: [Haskell-cafe] ANNOUNCE: tasty, a new testing framework

2013-08-07 Thread Jan Stolarek
Sorry, my last email got sent too quickly. Anyway, continuing my thought. So QuickCheck can classify tests: +++ OK, passed 100 tests (29% Short) Can tasty display this classification info? That was a thing I missed a lot in test-framework and would probably motivate me to switch to tasty. Ja

Re: [Haskell-cafe] ANNOUNCE: tasty, a new testing framework

2013-08-07 Thread Jan Stolarek
I admit I haven't yet had the time to try out testy, but there's one thing I'm curious about. QuickCheck can classify tests: ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe