Hello haskell,
i'm started to write article about type classes. can you, type gurus,
please check this initial text for correctness in explaining
differences between classes and type classes?
at this moment C++/C#/Java languages has classes and
templates/generics. what is a difference? with a
[...] Basically I interpret a symbol in a syntax-tree which can
belong to different type-classes. [...]
I meant, to different types of the same type-class.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
I had a feeling this was discussed in Typing Haskell in Haskell by Mark
Jones, but after a quick skim I can't find it again (I thought it would be
in Section 11.6 of his paper).
It is, on page 35 (section 11.6.3) of Typing Haskell in Haskell by
Mark Jones.
Gerrit
Gerrit van den Geest wrote:
I had a feeling this was discussed in Typing Haskell in Haskell by
Mark Jones, but after a quick skim I can't find it again (I thought
it would be
in Section 11.6 of his paper).
It is, on page 35 (section 11.6.3) of Typing Haskell in Haskell by
Mark Jones.
Tim Walkenhorst wrote:
I had a feeling this was discussed in Typing Haskell in Haskell by
Mark Jones, but after a quick skim I can't find it again (I thought
it would be
in Section 11.6 of his paper).
It is, on page 35 (section 11.6.3) of Typing Haskell in Haskell by
Mark Jones.
Now
On Aug 14, 2006, at 4:52 PM, Gerrit van den Geest wrote:
Tim Walkenhorst wrote:
I had a feeling this was discussed in Typing Haskell in Haskell
by Mark Jones, but after a quick skim I can't find it again (I
thought it would be
in Section 11.6 of his paper).
It is, on page 35 (section
It can be found here: http://citeseer.ist.psu.edu/424440.html
Thanks! Actually I've seen this page before, but was too retarded to
figure that you can access the actual document there. I thought it was
just an abstract... (*embarrassed*)
___
Sorry for a late reply, I'm out of town.
As I understand it, the problem is as follows: we'd like to construct
different realizations of XML documents from data of different
types. We wish to write
p (p foo)
and specify the desired type of the XML document, like
(p (p foo)) ::
Google Scholar is often quite handy for this sort of situation.
http://scholar.google.com/scholar?q=typing-haskell-in-haskell+jones
Jared.
On 8/14/06, Tim Walkenhorst [EMAIL PROTECTED] wrote:
It can be found here: http://citeseer.ist.psu.edu/424440.html
Thanks! Actually I've seen this
Hello Shae,
Monday, August 14, 2006, 1:11:49 AM, you wrote:
- lack of specialists (and this means lack of teaching, training, books)
There's lots of interactive teaching and training on #haskell
What exactly do you think is missing?
high school. while some advanced universities teach FP to
Hello Johan,
Monday, August 7, 2006, 7:25:47 PM, you wrote:
(sorry for too late answer)
http, smtp and other networking protocols - yes. xml/sql is too large
things. actually, haxml package is already included in GHC sources
distribution and i think that it should be excluded from there
Hello Kaveh,
Sunday, August 6, 2006, 5:40:26 PM, you wrote:
I think we need a subset of haskell as a new language (or as a
developing pattern) to work with and teach and learn more easily as
you have mentioned.
it called Helium :) but in general problem is what Haskell's way to
deal with
On 11/08/06, Clifford Beshers [EMAIL PROTECTED] wrote:
I've been avoiding that, because there are too many things I'm tempted
to fiddle with inside it. But you've talked me into it.
See also the really simple Hoogle/Emacs integration:
Bulat Ziganshin [EMAIL PROTECTED] writes:
The problem I'm having with SQL right now is that there are a number
of not complete and splintered implementation efforts. Having one
library outside GHCs libraries but still promoted as the default
implementation (and hosted under haskell.org) would
Hi Mark,
Cc Haskell-café,
It seems the OGI links for THIH have gone dead.
Is there any preferred download location for THIH these days?
I couldnt spot anything.
Thanks,
Ralf
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
15 matches
Mail list logo
