| Are there workarounds for uses of impredicative types, or do we lose the
| ability to express certain programs as a result?
There's usually a workaround. I include the msg I sent below.
Simon
-Original Message-
From: Simon Peyton-Jones
Sent: 30 October 2009 09:52
To: GHC users
Cc:
On Wed, Nov 25, 2009 at 3:45 AM, Eitan Goldshtrom
thesource...@gmail.com wrote:
Hello. I'm new to this mailing list, so I apologize if this question is
inappropriate for this list, but I've been looking for a solution to this
problem for weeks and I've had no luck.
I am trying to write a
On Wed, Nov 25, 2009 at 12:06 AM, Valery V. Vorotyntsev
valery...@gmail.com wrote:
Is there anybody except me feeling the need for mailing list and issue
tracker for emacs' haskell-mode?
+1
Since there already is a haskellmode-emacs project on the
http://community.haskell.org server we can
On Wed, Nov 25, 2009 at 9:21 AM, Bas van Dijk v.dijk@gmail.com wrote:
On Wed, Nov 25, 2009 at 12:06 AM, Valery V. Vorotyntsev
valery...@gmail.com wrote:
Is there anybody except me feeling the need for mailing list and issue
tracker for emacs' haskell-mode?
+1
Since there already is a
On Wed, Nov 25, 2009 at 9:37 AM, Svein Ove Aas svein@aas.no wrote:
On Wed, Nov 25, 2009 at 9:21 AM, Bas van Dijk v.dijk@gmail.com wrote:
On Wed, Nov 25, 2009 at 12:06 AM, Valery V. Vorotyntsev
valery...@gmail.com wrote:
Is there anybody except me feeling the need for mailing list and
On Wed, Nov 25, 2009 at 10:37 AM, Svein Ove Aas svein@aas.no wrote:
http://trac.haskell.org/haskellmode-emacs/
http://projects.haskell.org/cgi-bin/mailman/listinfo/haskellmode-emacs
Hurray!
Thanks, Svein.
--
vvv
___
Haskell-Cafe mailing list
On Wed, Nov 25, 2009 at 9:37 AM, Svein Ove Aas svein@aas.no wrote:
Well, I know when I'm beat..
http://trac.haskell.org/haskellmode-emacs/
http://projects.haskell.org/cgi-bin/mailman/listinfo/haskellmode-emacs
Nice! I joined the list and submitted my first ticket.
Keep up the good work.
2009/11/25 Mark Lentczner ma...@glyphic.com:
The current version of Unicode is 5.1. This text is now in D90, though
otherwise the same. My references below are to the 5.1 documents (freely
available on line at: http://www.unicode.org/versions/Unicode5.1.0/ )
It's been 5.2 for over a month
Simon Peyton-Jones wrote:
| Are there workarounds for uses of impredicative types, or do we lose the
| ability to express certain programs as a result?
There's usually a workaround. I include the msg I sent below.
I tried to use impredicative polymorphism once to create polymorphic
values
Svein Ove Aas svein@aas.no writes:
Well, I know when I'm beat..
http://trac.haskell.org/haskellmode-emacs/
http://projects.haskell.org/cgi-bin/mailman/listinfo/haskellmode-emacs
Excellent! Thanks. Any objection to my adding the list to gmane.org?
Cheers,
jao
--
A: Because it fouls the
It looks like a bug to me. Can you show an exact list of nodes and
edges that is causing mkGraph to fail? Or is that what you have
displayed, and I can't parse it properly?
Thanks,
Neil.
Ivan Lazar Miljenovic wrote:
When developing my QuickCheck-2 test-suite for graphviz, I wrote the
(Sorry for sending this to you twice Neil, I forgot to CC -cafe).
Neil Brown nc...@kent.ac.uk writes:
It looks like a bug to me. Can you show an exact list of nodes and
edges that is causing mkGraph to fail? Or is that what you have
displayed, and I can't parse it properly?
That's what I
On Wed, 25 Nov 2009 09:37:21 +0100, Svein Ove Aas svein@aas.no
wrote:
On Wed, Nov 25, 2009 at 9:21 AM, Bas van Dijk v.dijk@gmail.com wrote:
On Wed, Nov 25, 2009 at 12:06 AM, Valery V. Vorotyntsev
valery...@gmail.com wrote:
Is there anybody except me feeling the need for mailing list
(In response to Tom Hawkins' posting of an IIR filter in Atom)
We're still experimenting with how to best describe streaming
computations with feedback in Feldspar. But for completeness, here one
possible implementation of an IIR filter:
iir :: forall m n o a . (NaturalT m, NaturalT n,
On Wed, Nov 25, 2009 at 2:37 AM, Svein Ove Aas svein@aas.no wrote:
Well, I know when I'm beat..
http://trac.haskell.org/haskellmode-emacs/
http://projects.haskell.org/cgi-bin/mailman/listinfo/haskellmode-emacs
Thank you, Svein! I'm glad to see there's a good number of people
using
On Wed, Nov 25, 2009 at 6:28 AM, Neil Brown nc...@kent.ac.uk wrote:
It looks like a bug to me. Can you show an exact list of nodes and edges
that is causing mkGraph to fail? Or is that what you have displayed, and I
can't parse it properly?
From what I can tell, insEdge inserts an edge
David Menendez wrote:
From what I can tell, insEdge inserts an edge between two nodes which
are already in the graph. The code is calling insEdge on
arbitrarily-labeled nodes, which may not exist in the graph.
That's what I thought initially, but in fact what it is doing is exactly
what you
On Wed, 25 Nov 2009 11:37:11 +0100
Jose == Jose A. Ortega Ruiz j...@gnu.org wrote:
Jose Excellent! Thanks. Any objection to my adding the list to
Jose gmane.org?
+1 for adding it to gmane.
Sincerely,
Gour
--
Gour | Hlapicina, Croatia | GPG key: F96FF5F6
Hi all,
Is there a non-recursive traversal defined in Data.Generics' modules? I mean, the everywhere traversal first applies a function "f" to the subterms, and then applies "f" to the result. I am wondering if do exists a traversal that applies f only to the subterms.
Thanks in advance,
Rodrigo.
Hi,
You want gmapT (or gmapM for the monadic version). If you look at the
source to the everywhere function, you'll see that everywhere is defined
in terms of gmapT:
everywhere f = f . gmapT (everywhere f)
Thanks,
Neil.
rodrigo.bonifacio wrote:
Hi all,
Is there a non-recursive
On Wed, Nov 25, 2009 at 11:37 AM, Jose A. Ortega Ruiz j...@gnu.org wrote:
Svein Ove Aas svein@aas.no writes:
Well, I know when I'm beat..
http://trac.haskell.org/haskellmode-emacs/
http://projects.haskell.org/cgi-bin/mailman/listinfo/haskellmode-emacs
Excellent! Thanks. Any objection
On Wed, Nov 25, 2009 at 11:02 AM, Neil Brown nc...@kent.ac.uk wrote:
David Menendez wrote:
From what I can tell, insEdge inserts an edge between two nodes which
are already in the graph. The code is calling insEdge on
arbitrarily-labeled nodes, which may not exist in the graph.
That's what
Atom is a DSL for designing hard realtime embedded software with
Haskell. This release adds guarded division operations, 'phase', a
new scheduling constraint, and a new rule scheduling algorithm.
Many thanks to Lee Pike for his contributions! (Lee, sorry it took so
long to get this out.)
I'm fairly new to Haskell, and starting to write some big projects.
Previously I used OO exclusively, mostly Python. I really miss the
namespace capabilities... a class can have a lot of generic method names
which may be identical for several different classes because there is no
ambiguity.
On Wed, Nov 25, 2009 at 2:51 PM, Michael Mossey m...@alumni.caltech.edu wrote:
I'm fairly new to Haskell, and starting to write some big projects.
Previously I used OO exclusively, mostly Python. I really miss the
namespace capabilities... a class can have a lot of generic method names
which
Michael Mossey wrote:
I'm fairly new to Haskell, and starting to write some big projects.
Previously I used OO exclusively, mostly Python. I really miss the
namespace capabilities... a class can have a lot of generic method names
which may be identical for several different classes because
Mecha is a little constructive solid modeling language intended for 3D
CAD. This release adds animation capabilities, which use POVRay and
FFmpeg behind the scenes. At work we've used Mecha to illustrated the
kinematics of a new hydraulic pump design -- I wish I could post the
animation, it's
2009/11/25 Michael Mossey m...@alumni.caltech.edu:
I'm fairly new to Haskell, and starting to write some big projects.
Previously I used OO exclusively, mostly Python. I really miss the
namespace capabilities... a class can have a lot of generic method names
which may be identical for several
On Wed, Nov 25, 2009 at 2:08 PM, Erik de Castro Lopo
mle...@mega-nerd.com wrote:
Michael Mossey wrote:
I'm fairly new to Haskell, and starting to write some big projects.
Previously I used OO exclusively, mostly Python. I really miss the
namespace capabilities... a class can have a lot of
Derek Elkins wrote:
The following code works fine for me, so it seems you are missing some
details that may help.
[...snip code...]
Thank you! Indeed I did simplify the code when writing the message --
because I thought that those other bits could not possibly be at
fault... ;-)
*trying out
Svein Ove Aas svein@aas.no writes:
I certainly don't mind.
I've noticed that the list administrative interface has a news-gateway
option. Is there anything I should do there?
I've submitted the request. I don't think the news-gateway option is
needed in this case, but i'll ask when i
Emil Axelsson wrote:
Henning Thielemann skrev:
On Fri, 6 Nov 2009, Emil Axelsson wrote:
Henning Thielemann skrev:
I'm trying to get realtime signal processing with Haskell for long. I
make progress, but slowly. Has Ericsson ever thought about using
Haskell itself for signal processing?
Python:
note1.time()
cursor1.time()
staff1.time()
(...)
So I'm thinking of moving to a scheme in Haskell using modules,
most types being defined in their own modules, and doing
qualified imports. Generic names like 'time' can be defined in
each module w/o clashing.
(...)
I would
Luke Palmer lrpal...@gmail.com wrote
I feel like this should be qualified. Type classes are not for name
punning ; you wouldn't use a type class for the method bark on types
Tree and Dog. But if you have a well-defined *structure* that many
types follow, then a type class is how you capture
You can define the methods with the same names in different modules,
then when you are importing them into the same module for use, use a
qualified import.
import qualified Dog
import qualified Tree
This will allow you to use exactly the syntax you described.
Dog.bark
Tree.bark
Plus if you
2009/11/25 Michael Mossey m...@alumni.caltech.edu:
I'm fairly new to Haskell, and starting to write some big
projects. Previously I used OO exclusively, mostly Python. I
really miss the namespace capabilities... a class can have a
lot of generic method names which may be identical for several
My
experience with objects comes from Common List, Clean, Hasekell and
Nice. In all these languages, the function behavior is determined by
many objects. I think that this is more powerful and clear than the
Java way. In Nice one can see the superiority of type-driven behavior
over the Java dot
On Wed, 25 Nov 2009 21:15:59 +0100, Svein Ove Aas svein@aas.no
wrote:
On Wed, Nov 25, 2009 at 11:37 AM, Jose A. Ortega Ruiz j...@gnu.org wrote:
Svein Ove Aas svein@aas.no writes:
Well, I know when I'm beat..
http://trac.haskell.org/haskellmode-emacs/
Hello,
Coming also from an OO background, I had this same feeling as yours when
I started learning haskell. It might help to think that type classes are
like interfaces: They allow expressing a family of behaviors as a
bunch of related functions. The fact that it allows using same name to
act
Hi,
Are you sure you need to store the time *inside* your objects
instead of using, say, pairs (Time, YourObject) (and lists of them
instead of lists of your objects)?
It would seem strange to me that a note HAS-A time even in an OO
design: more likely, a note is associated with a time, and this
On Thu, Nov 26, 2009 at 12:03 AM, Eugene Kirpichov ekirpic...@gmail.com wrote:
Hi,
Are you sure you need to store the time *inside* your objects
instead of using, say, pairs (Time, YourObject) (and lists of them
instead of lists of your objects)?
It would seem strange to me that a note HAS-A
First of all, thanks for the ideas, everyone. I think I'm starting to get
the usefulness of type classes.
With regard to your question, Eugene, you are probably right. In fact my
rough draft of this code from four months ago used a Map with time as the
key (of type Rational). I was trying to
2009/11/26 Michael Mossey m...@alumni.caltech.edu:
First of all, thanks for the ideas, everyone. I think I'm starting to get
the usefulness of type classes.
With regard to your question, Eugene, you are probably right. In fact my
rough draft of this code from four months ago used a Map with
Just to add more detail:
I am running Apache 2.2.9. The message I mentioned appeared in the Apache error
log file when running the sample Haskell FastCGI scripts under localhost with
mod_fastcgi.
I understand that there are some problems with mod_fastcgi and Apache 2.2.9, so
I downloaded the
44 matches
Mail list logo