On 9/5/10 10:19 AM, Ivan Lazar Miljenovic wrote:
Hmmm is there any reason for Functor to be a superclass of
Pointed? I understand Functor and Pointed being superclasses of
Applicative (which in turn is a superclass of Monad), but can't see
any relation between Pointed and Functor...
On 6 September 2010 16:15, wren ng thornton w...@freegeek.org wrote:
On 9/5/10 10:19 AM, Ivan Lazar Miljenovic wrote:
Hmmm is there any reason for Functor to be a superclass of
Pointed? I understand Functor and Pointed being superclasses of
Applicative (which in turn is a superclass of
2010/9/6 Manuel M T Chakravarty c...@cse.unsw.edu.au:
Ian Lynagh:
To fix this problem, we propose that we create a haskell.org
committee, which is responsible for answering these sorts of questions,
although for some questions they may choose to poll the community at
large if they think
On 6 September 2010 03:46, Mathew de Detrich dete...@gmail.com wrote:
If they are perl programmers, they (should) understand perl very well. I
would suggest to try explaining to them the obvious disadvantages of perl
and the way that Haskell can cover those disadvantages without (much) of a
Ian et al
| To fix this problem, we propose that we create a haskell.org
| committee, which is responsible for answering these sorts of questions,
| although for some questions they may choose to poll the community at
| large if they think appropriate.
I think that's an excellent idea. I think
There is currently a PhD position available at he Software Technology
group, Department of Information and Computing Sciences, Utrecht
University, Netherlands. The ST group focusses its research on
programming methodologies, compiler construction, and program analysis. In
this area the research
Is there a way to run a Haskell module via ghci with a single command
on the command-line?
Note: I'm on Windows XP.
If I have the module test.hs, I can type test.hs and that will load
it into ghci. However, I need to then type main to run it, and then
manually exit ghci. I would like to do all
On 6 September 2010 17:42, Johann Bach johann.bach1...@gmail.com wrote:
Is there a way to run a Haskell module via ghci with a single command
on the command-line?
Note: I'm on Windows XP.
If I have the module test.hs, I can type test.hs and that will load
it into ghci. However, I need to
2010/9/6 Ivan Lazar Miljenovic ivan.miljeno...@gmail.com:
On 6 September 2010 17:42, Johann Bach johann.bach1...@gmail.com wrote:
Is there a way to run a Haskell module via ghci with a single command
on the command-line?
Note: I'm on Windows XP.
If I have the module test.hs, I can type
2010/9/6 Johann Bach johann.bach1...@gmail.com:
On Mon, Sep 6, 2010 at 12:51 AM, Vo Minh Thu not...@gmail.com wrote:
2010/9/6 Ivan Lazar Miljenovic ivan.miljeno...@gmail.com:
On 6 September 2010 17:42, Johann Bach johann.bach1...@gmail.com wrote:
Is there a way to run a Haskell module via ghci
On 6 September 2010 18:00, Johann Bach johann.bach1...@gmail.com wrote:
Regarding runhaskell: the last time I tried it, it compiled the
program, but I want to use the interpreter. I have a script-like
application in which the code will be changing frequently and I want
to run it and see the
Daniel Fischer schrieb:
On Sunday 05 September 2010 21:52:44, Henning Thielemann wrote:
Daniel Fischer schrieb:
Yes. Ordinarily, lines in text files aren't longer than a few hundred
characters, leaking those, who cares?
I got several space leaks of this kind in the past. They are very
Mark Lentczner schrieb:
The choice to generate Haddock output as XHTML 1.0 Transitional and Frames,
stored into files with an extension of .html, and that would likely be served
as text/html, was mine and I did so with review of current best practices.
The output Haddock now generates
I think left-biased (= singly linked) lists
are much overrated in Haskell coding (and teaching).
The language (syntax and Prelude) makes it just too easy to use them,
and old habits (from LISP) die hard.
Sure, lists serve a purpose:
* they model (infinite, lazy) streams, used
in the
On Mon, 6 Sep 2010, Johannes Waldmann wrote:
We have overloaded numerical literals (Num.fromInteger)
and we can overload string literals (IsString.fromString),
so how about using list syntax ( [], : )
for anything list-like (e.g., Data.Sequence)?
My favorite solution would be to throw away
On 06/09/10 11:23, Johannes Waldmann wrote:
We have overloaded numerical literals (Num.fromInteger)
and we can overload string literals (IsString.fromString),
so how about using list syntax ( [], : )
for anything list-like (e.g., Data.Sequence)?
I would have thought you have two obvious
I Think you misinterpreted what I said. I didn't say you should tell the
programmers how to code, I said you should show the perl coders how Haskell
has advantages over pearls without much cost
On 06/09/2010 5:21 PM, Stephen Tetley stephen.tet...@gmail.com wrote:
On 6 September 2010 03:46,
Hello Johannes,
Monday, September 6, 2010, 2:23:35 PM, you wrote:
i had such idea several years ago and proposed to name class ListLike.
this class was finally implemented by John Goerzen and it does
everything we can w/o changing language
the main thing about literals is that they need to be
On Sep 6, 2010, at 12:23 PM, Johannes Waldmann wrote:
We have overloaded numerical literals (Num.fromInteger)
and we can overload string literals (IsString.fromString),
so how about using list syntax ( [], : )
for anything list-like (e.g., Data.Sequence)?
As lists of some type A represent
Am Montag, den 06.09.2010, 11:47 +0100 schrieb Neil Brown:
I would have thought you have two obvious choices for the type-class
(things like folding are irrelevant to overloading list literals):
class IsList f where
fromList :: [a] - f a
or:
class IsList f where
cons :: a - f a
On Mon, 06 Sep 2010 03:46:18 -0700, Ashley Yakeley ash...@semantic.org wrote:
countable: Countable, Searchable, Finite, Empty classes.
class Countable, for countable types
class AtLeastOneCountable, for countable types that have at least one
value
class InfiniteCountable, for
Wolfgang,
We should definitely get rid of these Is* class identifiers like
IsString and IsList. We also don’t have IsNum, IsMonad, etc.
I see your point. For strings, however, there was of course never the
possibility to dub the class String as that name is already taken by the type
synonym.
On Sun, Sep 5, 2010 at 7:18 PM, David Menendez d...@zednenem.com wrote:
On Sun, Sep 5, 2010 at 8:40 AM, John Lato jwl...@gmail.com wrote:
On Sat, Sep 4, 2010 at 12:34 PM, David Menendez d...@zednenem.com
wrote:
On Fri, Sep 3, 2010 at 8:23 AM, John Lato jwl...@gmail.com wrote:
+1
On Mon, 6 Sep 2010, Stefan Holdermans wrote:
Wolfgang,
We should definitely get rid of these Is* class identifiers like
IsString and IsList. We also don’t have IsNum, IsMonad, etc.
I see your point. For strings, however, there was of course never the
possibility to dub the class String as
On Sep 6, 2010, at 1:57 PM, han wrote:
So the question is: Do you agree that Graphics.Rendering.OpenGL
actually should have been Graphics.OpenGL (or just OpenGL) for
wieldiness? If you don't, what is your reason? I would like to know.
Often, when this topic comes up, someone claims that
Hi All,
Not a complete guide, but just something, which can help:
Perl6 is inspired by haskell. That was, how I end up by haskell. And I
believe a lot of people of the perl community got interested in haskell that
way. Maybe this works for some of collegues too. I still like perl, but
haskell is
On 6 September 2010 21:57, han e...@xtendo.org wrote:
So the question is: Do you agree that Graphics.Rendering.OpenGL actually
should have been Graphics.OpenGL (or just OpenGL) for wieldiness?
I think Graphics.OpenGL would have sufficed, unless there was
sufficient reason to want to group it
On Sep 6, 2010, at 1:47 PM, Stefan Holdermans wrote:
In general, it is kind of unfortunate that type classes and type
constructors share a namespace, even though there is no way to ever
mix them up.
Class and type names mix in im- and export lists. IIRC, this is the
reason for putting
AngloHaskell 2010 is this week!
AngloHaskell 2010 - 5th Annual Haskell Meeting in England
Friday September 10th and Saturday September 11th, 2010
Microsoft Research, Cambridge, UK
http://www.haskell.org/haskellwiki/AngloHaskell/2010
AngloHaskell is a free gathering of all people
On Monday 06 September 2010 10:47:54, Henning Thielemann wrote:
Daniel Fischer schrieb:
On Sunday 05 September 2010 21:52:44, Henning Thielemann wrote:
Daniel Fischer schrieb:
Yes. Ordinarily, lines in text files aren't longer than a few
hundred characters, leaking those, who cares?
I
Simon Peyton-Jones wrote:
| As membership of the Haskell community is not well-defined, and voting
| would potentially be open to abuse if anyone were able to vote, we
| propose that the committee should choose their replacements from open
| nominations.
I agree with the problem, and I think
On Sep 6, 2010, at 2:40 AM, Henning Thielemann wrote:
... focusing on a small set of assumed popular browsers ...
I didn't want to assume either. I ran a survey of the Haskell community and got
over a 150 responses. The multiple choice browser question yielded:
Firefox: 59%
Message: 20
Date: Sat, 04 Sep 2010 03:40:49 -0400
From: wren ng thornton w...@freegeek.org
Subject: Re: [Haskell-cafe] Restricted type classes
To: Haskell Cafe haskell-cafe@haskell.org
Message-ID: 4c81f801@freegeek.org
Content-Type: text/plain; charset=UTF-8; format=flowed
On 9/3/10
Hello Stefan,
Monday, September 6, 2010, 3:47:11 PM, you wrote:
In general, it is kind of unfortunate that type classes and type
constructors share a namespace, even though there is no way to ever mix them
up.
btw, i also had proposal to automatically convert typeclasses used in
type
Hello Johannes,
Monday, September 6, 2010, 2:23:35 PM, you wrote:
so how about using list syntax ( [], : )
for anything list-like (e.g., Data.Sequence)?
i'vwe found my own proposal of such type:
http://www.mail-archive.com/haskell-cafe@haskell.org/msg15656.html
--
Best regards,
Bulat
On Mon, Sep 6, 2010 at 5:11 PM, John Lato jwl...@gmail.com wrote:
Message: 20
Date: Sat, 04 Sep 2010 03:40:49 -0400
From: wren ng thornton w...@freegeek.org
Subject: Re: [Haskell-cafe] Restricted type classes
To: Haskell Cafe haskell-cafe@haskell.org
Message-ID: 4c81f801@freegeek.org
2010/9/6 Bulat Ziganshin bulat.zigans...@gmail.com:
Hello Johannes,
Monday, September 6, 2010, 2:23:35 PM, you wrote:
so how about using list syntax ( [], : )
for anything list-like (e.g., Data.Sequence)?
i'vwe found my own proposal of such type:
Hello Serguey,
Monday, September 6, 2010, 7:57:46 PM, you wrote:
http://www.mail-archive.com/haskell-cafe@haskell.org/msg15656.html
Will Data.Map with its' empty, insert, findMin, etc, methods conform
to your proposed type?
but Data.Map isn't sequential container. instead, it maps arbitrary
On 6 September 2010 17:11, Mark Lentczner ma...@glyphic.com wrote:
On Sep 6, 2010, at 2:40 AM, Henning Thielemann wrote:
... focusing on a small set of assumed popular browsers ...
I didn't want to assume either. I ran a survey of the Haskell community and
got over a 150 responses.
On Sep
Good work Dan! Would you be interested in providing a build option
that replaces the OpenSSL dependency with something more stand-alone?
Or does ossl perform a significant part of the TLS protocol work for
you (vs just being used for algorithms)?
Anyone impatient for the midnight haddocking can
Hello Serguey,
Monday, September 6, 2010, 8:16:03 PM, you wrote:
Basically, you - and others, - propose to add another class isomorphic
to already present lists. I think, most benefits of that class can be
achieved by using list conversion and RULE pragma.
what i propose should allow to
On Mon, Sep 6, 2010 at 12:47 PM, Neil Brown nc...@kent.ac.uk wrote:
On 06/09/10 11:23, Johannes Waldmann wrote:
We have overloaded numerical literals (Num.fromInteger)
and we can overload string literals (IsString.fromString),
so how about using list syntax ( [], : )
for anything list-like
On Mon, Sep 6, 2010 at 9:16 AM, Thomas DuBuisson
thomas.dubuis...@gmail.com wrote:
Good work Dan!
Sorry! David. Good work David. Not sure where Dan came from.
Would you be interested in providing a build option
that replaces the OpenSSL dependency with something more stand-alone?
Or does
On Sep 2, 2010, at 11:24 AM, Yuras Shumovich wrote:
Is it possible to switch back from frame version to non frame version?
The Frames button disappears in frame mode...
I usually just right-click on the main page and select Open frame in new
window I could have made the Frames button
I'd like to make one more argument in favor of my preference for more
splitting of type classes. IMO it's beneficial to split up classes to
minimize unnecessary dependencies. That is, while e.g. Monoid is very
useful for containers, many container methods won't need it, e.g. elem or
filter.
Is there a handy list of operators and their precedence somewhere?
Michael
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Bulat,
btw, i also had proposal to automatically convert typeclasses used in
type declarations into constraints, [...]
Together with proposals i mentioned previously, it will allow to treat
existing code dealing with lists/strings as generic code working
with any sequential container type
Take a look to the Haskell Report:
http://www.haskell.org/onlinereport/haskell2010/haskellch9.html#x16-1710009
--
Daniel Díaz
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Thanks, Daniel.
This be all of them?
Michael
infixr 9 .
infixr 8 ^, ^^, ⋆⋆
infixl 7 ⋆, /, ‘quot‘, ‘rem‘, ‘div‘, ‘mod‘
infixl 6 +, -
Those are all operators in Prelude. See a concrete library for their
operator precedences.
--
Daniel Díaz
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
Lately I've been spending more and more time trying to figure out how
to resolve circular import problems. I add some new data type and
suddenly someone has a new dependency and now the modules are
circular. The usual solution is to move the mutually dependent
definitions into the same module,
On Mon, Sep 6, 2010 at 7:51 AM, John Lato jwl...@gmail.com wrote:
On Sun, Sep 5, 2010 at 7:18 PM, David Menendez d...@zednenem.com wrote:
On Sun, Sep 5, 2010 at 8:40 AM, John Lato jwl...@gmail.com wrote:
On Sat, Sep 4, 2010 at 12:34 PM, David Menendez d...@zednenem.com
wrote:
On
A concrete library?
I'm playing around with Data.Bits. It has .. and .|. which I assume are
functions (rather than operators) because I don't see and infix statement for
them. Correct?
Michael
--- On Mon, 9/6/10, Daniel Díaz lazy.dd...@gmail.com wrote:
From: Daniel Díaz lazy.dd...@gmail.com
On Mon, 6 Sep 2010, Evan Laforge wrote:
I have a few techniques to get out:
- Replace Things with ThingIds which have no big dependencies, and can
then be looked up in a Map later. This replaces direct access with
lookup and thows some extra Maybes in there, which is not very nice.
-
Excerpts from Evan Laforge's message of Mon Sep 06 13:30:43 -0400 2010:
I feel like the circular imports problem is worse in haskell than
other languages. Maybe because there is a tendency to centralize all
state, since you need to define it along with your state monad. But
the state monad
Hello everyone,
I'm pleased to announce the first release of Grempa:
A library for expressing programming language grammars in a form similar
to BNF, which is extended with the semantic actions to take when
a production has been parsed. The grammars are typed and are to be be
used
Hello michael,
Monday, September 6, 2010, 9:00:32 PM, you wrote:
Is there a handy list of operators and their precedence somewhere?
unlike most languages, operators are user-definable in haskell. so
there is no comprehensive list
any function with two arguments van be used as operator:
a
On Mon, Sep 6, 2010 at 1:37 PM, michael rice nowg...@yahoo.com wrote:
A concrete library?
I'm playing around with Data.Bits. It has .. and .|. which I assume are
functions
(rather than operators) because I don't see and infix statement for them.
Correct?
.|. and .. are operators because
Hi David,
You're right, I keep forgetting to look at the source code.
And I wasn't aware of the info (:i) command. Should come in handy in the future.
Michael
--- On Mon, 9/6/10, David Menendez d...@zednenem.com wrote:
From: David Menendez d...@zednenem.com
Subject: Re: [Haskell-cafe]
El Lun, 6 de Septiembre de 2010, 7:50 pm, David Menendez escribió:
Operators default to infixl 9 unless specified otherwise,
so no infix declaration is needed.
Why there is a default infix? Why it is 9?
--
Daniel Díaz
___
Haskell-Cafe mailing list
On Mon, 2010-09-06 at 03:54 -0700, Ashley Yakeley wrote:
countable: Countable, Searchable, Finite, Empty classes.
class Countable, for countable types
class AtLeastOneCountable, for countable types that have at least one
value
class InfiniteCountable, for infinite countable types
On Mon, 2010-09-06 at 10:23 +, Johannes Waldmann wrote:
We have overloaded numerical literals (Num.fromInteger)
and we can overload string literals (IsString.fromString),
so how about using list syntax ( [], : )
for anything list-like (e.g., Data.Sequence)?
Of course some minor details
On Mon, Sep 6, 2010 at 2:21 PM, Daniel Díaz danield...@asofilak.es wrote:
El Lun, 6 de Septiembre de 2010, 7:50 pm, David Menendez escribió:
Operators default to infixl 9 unless specified otherwise,
so no infix declaration is needed.
Why there is a default infix? Why it is 9?
That's what
Hi all,
I'm working on update gtk2hs APIs.
'gio' has update to newest version, all patches has push to repo, i need
more test before release gio-0.12.0
About `gtk` packages, i have push some gtk+-2.18/gtk+-2.20 patches to
repo but not all, i plan finish all APIs before release gtk-0.12.0.
If
On Mon, Sep 6, 2010 at 8:52 PM, Maciej Piechotka uzytkown...@gmail.com wrote:
PS.
data FooBar a = Foo
| Bar
deriving Show
class IsString (FooBar Char) where
toString _ = Foo
class IsList FooBar where
toList _ = Bar
show (1234 :: FooBar Char) == ???
Foo
On Mon, Sep 6, 2010 at 12:33 PM, David Menendez d...@zednenem.com wrote:
On Mon, Sep 6, 2010 at 7:51 AM, John Lato jwl...@gmail.com wrote:
On Sun, Sep 5, 2010 at 7:18 PM, David Menendez d...@zednenem.com
wrote:
On Sun, Sep 5, 2010 at 8:40 AM, John Lato jwl...@gmail.com wrote:
On
On Mon, Sep 6, 2010 at 9:16 AM, Thomas DuBuisson thomas.dubuis...@gmail.com
wrote:
Good work Dan! Would you be interested in providing a build option
that replaces the OpenSSL dependency with something more stand-alone?
I'd be interested with breaking the dependency on OpenSSL, for various
2010/9/6 Bulat Ziganshin bulat.zigans...@gmail.com:
Hello Serguey,
Monday, September 6, 2010, 8:16:03 PM, you wrote:
Basically, you - and others, - propose to add another class isomorphic
to already present lists. I think, most benefits of that class can be
achieved by using list conversion
David said:
I'd be interested with breaking the dependency on OpenSSL, for various
reasons:
[snip]
Can't say I'm surprised by these. Its unfortunate the situation
hasn't improved. I recall a half decent O'Reilly book on OpenSSL but
if you weren't using it as a cookbook (and wanted a 1-off
On 6 September 2010 20:18, John Lato jwl...@gmail.com wrote:
Can you give an example of a Functor that doesn't have pure? I think it's
Pointed Functors which are useful; not Functor by itself.
Strictly speaking is Pair one? The current implementation tacks on monoid.
Best wishes
Stephen
On Mon, Sep 6, 2010 at 5:29 AM, Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com wrote:
On 6 September 2010 21:57, han e...@xtendo.org wrote:
So the question is: Do you agree that Graphics.Rendering.OpenGL actually
should have been Graphics.OpenGL (or just OpenGL) for wieldiness?
I think
On Mon, Sep 6, 2010 at 12:45 PM, Thomas DuBuisson
thomas.dubuis...@gmail.com wrote:
David said:
I'd be interested with breaking the dependency on OpenSSL, for various
reasons:
[snip]
Can't say I'm surprised by these. Its unfortunate the situation
hasn't improved. I recall a half
creswick:
On Mon, Sep 6, 2010 at 5:29 AM, Ivan Lazar Miljenovic
ivan.miljeno...@gmail.com wrote:
On 6 September 2010 21:57, han e...@xtendo.org wrote:
So the question is: Do you agree that Graphics.Rendering.OpenGL actually
should have been Graphics.OpenGL (or just OpenGL) for wieldiness?
You could have gone to Hackage and checked your protocols correctness
using CPSA, not that the side-channel attacks would be discovered by
such a tool.
Interesting. I had seen CPSA announced at one point, but there appears to be
no documentation whatsoever. Did I miss the doc links?
There's
I'm pleased to announce hledger 0.12.1, with a new web interface and
bugfixes. Thanks to Ben Boeckel and David Patrick for their help this
time around. Installation docs, linux/mac/windows binaries and more
are at http://hledger.org and http://hackage.haskell.org/package/
hledger .
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On 9/6/10 04:08 , Ivan Lazar Miljenovic wrote:
On 6 September 2010 18:00, Johann Bach johann.bach1...@gmail.com wrote:
Regarding runhaskell: the last time I tried it, it compiled the
program, but I want to use the interpreter. I have a script-like
Hello,
The Happstack web application framework would be glad to sponsor any
students interested in contributing. We almost always have a
collection of small, interesting tasks to tackle which do not require
a deep understanding of Happstack or Haskell. When you are closer to
actually
On Mon, Sep 6, 2010 at 2:08 PM, Thomas DuBuisson thomas.dubuis...@gmail.com
wrote:
You could have gone to Hackage and checked your protocols correctness
using CPSA, not that the side-channel attacks would be discovered by
such a tool.
Interesting. I had seen CPSA announced at one
Hi fellow haskellers,
I'm interested in the performance of parallel and/or distributed
implementations in haskell language. For example, supose I want to
develop an application that distributes a computation between many
multicore computers, what are the advantages I can take from haskell
in
ivansichfreitas:
Hi fellow haskellers,
I'm interested in the performance of parallel and/or distributed
implementations in haskell language. For example, supose I want to
develop an application that distributes a computation between many
multicore computers, what are the advantages I can
Hi Brent,
ditto what Jeremy said. hledger is an end-user app with lots of needs including code design review, performance and
laziness analysis, quickcheck/smallcheck testing, development process refinement, web design, and features/fixes of all
sizes. I'd be happy to mentor volunteers.
http://book.realworldhaskell.org/read/concurrent-and-multicore-programming.html
http://www.haskell.org/haskellwiki/GHC/Data_Parallel_Haskell
Although the last two edits on that page are from 2010 and 2009.
So what *is* the current status of DPH?
J.W.
waldmann:
http://book.realworldhaskell.org/read/concurrent-and-multicore-programming.html
http://www.haskell.org/haskellwiki/GHC/Data_Parallel_Haskell
Although the last two edits on that page are from 2010 and 2009.
So what *is* the current status of DPH?
Note that DPH is a programming
Don Stewart dons at galois.com writes:
Note that DPH is a programming model, but the implementation currently
targets shared memory multicores (and to some extent GPUs), not
distributed systems.
Yes. I understand that's only part of what the original poster wanted,
but I'd sure want to use
waldmann:
Don Stewart dons at galois.com writes:
Note that DPH is a programming model, but the implementation currently
targets shared memory multicores (and to some extent GPUs), not
distributed systems.
Yes. I understand that's only part of what the original poster wanted,
but I'd
functional/declarative code automatically parallelizes,
Well, that's not really a good thing to say.
Sure, sure, and I expand on the details in my lectures.
But in advertising (the elevator sales pitch), we simplify.
Cf. well-typed programs don't go wrong.
- Johannes.
waldmann:
functional/declarative code automatically parallelizes,
Well, that's not really a good thing to say.
Sure, sure, and I expand on the details in my lectures.
But in advertising (the elevator sales pitch), we simplify.
Cf. well-typed programs don't go wrong.
Good! I
Am Montag, den 06.09.2010, 19:38 +0400 schrieb Bulat Ziganshin:
btw, i also had proposal to automatically convert typeclasses used in
type declarations into constraints, so that:
putStr :: StringLike - IO ()
treated as
putStr :: StringLike s = s - IO ()
This blurs the distinction between
On Mon, Sep 6, 2010 at 2:45 PM, Olle Fredriksson
fredriksson.o...@gmail.com wrote:
expr :: Grammar Char E
expr = do
rec
e - rule [ Plus @ e # '+' # t
, id @ t
]
t - rule [ Times @ t # '*' # f
, id @
Before Haskell took off with parallelism, it was assumed that Haskell would
be trivial to run concurrently on cores because majority of Haskell programs
were pure, so you could simply run different functions on different cores
and string the results together when your done
It turned out that
*Mistake, in where I said majority of Haskell programs were pure I meant
majority of code in Haskell programs was pure
On Tue, Sep 7, 2010 at 11:07 AM, Mathew de Detrich dete...@gmail.comwrote:
Before Haskell took off with parallelism, it was assumed that Haskell would
be trivial to run
On 9/6/10 2:35 AM, Ivan Lazar Miljenovic wrote:
Well, if we consider what this does, pure is equivalent to singleton
for container types. The actual definition of pure (or any other
aspect of Pointed) doesn't require Functor; however there are
properties for types that are instances of Functor
On 9/6/10 1:33 PM, David Menendez wrote:
For that matter, can you even describe what pure is intended to do
without reference to* or join?
As already stated: fmap f . pure = pure . f
--
Live well,
~wren
___
Haskell-Cafe mailing list
On Mon, Sep 6, 2010 at 10:22 PM, wren ng thornton w...@freegeek.org wrote:
On 9/6/10 1:33 PM, David Menendez wrote:
For that matter, can you even describe what pure is intended to do
without reference to* or join?
As already stated: fmap f . pure = pure . f
That's pretty general. For
On 9/6/10 11:50 AM, Gábor Lehel wrote:
On Mon, Sep 6, 2010 at 5:11 PM, John Latojwl...@gmail.com wrote:
But please don't make Pointed depend on Functor - we've already
seen that it won't work for Bloom filters.
I think most people have been using Pointed merely as shorthand for
Pointed
On 7 September 2010 02:53, John Lato jwl...@gmail.com wrote:
I'd like to make one more argument in favor of my preference for more
splitting of type classes. IMO it's beneficial to split up classes to
minimize unnecessary dependencies. That is, while e.g. Monoid is very
useful for
On 9/6/10 12:53 PM, John Lato wrote:
I'd like to make one more argument in favor of my preference for more
splitting of type classes.
FWIW, I agree that more splitting is generally good. This is one of the
problems I have with the various proposals for a ListLike class. They
conflate the
On 9/6/10 11:46 PM, Ivan Lazar Miljenovic wrote:
Well, my current work is to implement restricted versions of the
various type classes (I'm undecided if they should be split off into a
separate package or not) and then have the Data.Containers module
basically define type aliases (which will
2010/9/7 Gábor Lehel illiss...@gmail.com:
*That said*, I actually have nothing at all against splitting the 'a
- f a' method out into a separate class if you think it's useful,
whether you call it Pointed or something else. (And `class (Pointed f,
Functor f) = PointedFunctor f` is sort of
On 7 September 2010 12:18, wren ng thornton w...@freegeek.org wrote:
On 9/6/10 2:35 AM, Ivan Lazar Miljenovic wrote:
Well, if we consider what this does, pure is equivalent to singleton
for container types. The actual definition of pure (or any other
aspect of Pointed) doesn't require
1 - 100 of 106 matches
Mail list logo