On 7/08/2013, at 2:10 PM, damodar kulkarni wrote:
I bet you can find an abundance of C programmers who think that
strcmp is an intuitive name for string comparison (rather than compression,
say).
But at least, 'strcmp' is not a common English language term, to have
acquired some
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
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.
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
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.
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
It certainly can, but it doesn't do that yet. Should be very easy to
fix, though. Patches are welcome.
Roman
* Jan Stolarek jan.stola...@p.lodz.pl [2013-08-07 10:00:36+0200]
Sorry, my last email got sent too quickly. Anyway, continuing my thought. So
QuickCheck can classify tests:
+++
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 r...@ro-che.info
Do:
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
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, then my
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
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 ()
twice x
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 previous
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
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 mature
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 get the same
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 dun...@well-typed.com wrote:
On Mon, 2013-08-05 at 23:13 -0400, Julian
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 dun...@well-typed.com wrote:
On Mon,
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
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/
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 perspective here.
x
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
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 your perspective
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 _does_
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. In
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 action
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
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 Monad
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
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
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!
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 function name after running cabal install hoogle and hoogle data
On Aug
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,
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. Return means
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
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
carter.schonw...@gmail.com wrote:
Hello Mihai,
you bring up 2 unrelated questions,
36 matches
Mail list logo