I need to think a little more about the semantic stuff, but regarding syntax I
have two strong opinions.
Re: Allow a type and a class to have the same name
I agree with Ralf on this, and just as strongly. Maybe it is bad style to
name a class the same as a type, but should the language
Having only recently learned to use Monads and appreciate their
utility, I am encountering new category-theoretic material in reading
about arrows in Jansson and Jeuring's Polytypic Compact Printing and
Parsing paper.
It strikes me that I should just get the basics under my belt rather than
So who won?
--FC
P.S. Lennart, you used C??
y expect Standard Haskell to be the best
it could be? Why don't we just incorporate all the committee decisions into
a Haskell 1.5, leave it alone for a year and THEN, when we know that there are
no problems, just call it Standard Haskell?
---
Frank Christoph Next Solution Co.
that I hear "Damas-Milner" mentioned more often in ML circles,
but "Hindley-Milner" more often with regard to Haskell...
--
Frank Christoph Next Solution Co. Tel: 0424-98-1811
[EMAIL PROTECTED] Fax: 0424-98-1500
Just an idea I had:
When you define a module that is supposed to serve as an ADT, you can do it
three ways: using "datatype", "newtype" or "type". (OK, it's not really
an ADT if you use "type".) Such a module defined using "newtype" looks
essentially like the same module defined using "type"
(On a more serious note,)
I agree with the numerous people who support the inclusion of (in order from
most essential to least) multi-parameter classes, state threads,
standardization of concurrency features and foreign language interfaces.
For at least the first three of these, I think they
(This is a follow-up to my last message regarding the rushing of the final
version of Haskell.)
Incidentally, with regard to features appropriate for Standard Haskell,
I would say that explicit quantification (which someone mentioned) and
first-class modules should be left out. Not because I
Sigbjorn Finne wrote: [in connection with the Standard Haskell discussion]
If nothing else, it could force people to think twice about designing
a new language :-)
Yeah, we don't need anything new. In fact, I've been thinking of an
alternate way of standardizing Haskell. It is described
Standardizing a language tends to make it obsolete, due to lack of
creativity. Perhaps it is time to start discussing the successor of
Haskell then.
Please not yet! Let us finish Haskell first!
Well, what I tried to say is that once one starts to standardize Haskell,
Frank Christoph wrote
It's partly a failing of Haskell, but
it is more because of the operating system which is completely biased towards
imperative languages and hence forces client programs to do practically
everything even though it could reasonably provide generic algorithms
I'm relatively new to Haskell, but have spent a fair amount of time programming
in SML and Scheme. Up to this point, I've been thrilled by the extras Haskell
offers and fun one can have with lazy evaluation, but now I'm stuck.
How would a seasoned Haskell programmer create and EFFICIENTLY
.
Frank Christoph
efit, then I'm willing to pay the cost. What bugs me is
paying the cost simply to be true to the spirit of FP without getting any
benefit. Maybe I'm just getting old an cynical. But I still believe in
lazy evaluation so you can't dispose of me altogether. :-)
Phew! I was started to get worried
?
--
Frank Christoph Next Solution Co. Tel: 0424-98-1811
[EMAIL PROTECTED] Fax: 0424-98-1500
l wait for some feedback first.
------
Frank Christoph Next Solution Co. Tel: 0424-98-1811
[EMAIL PROTECTED] Fax: 0424-98-1500
I thought there was an April 19 deadline...? Have there been some
last-minute problems?
--
Frank Christoph Next Solution Co. Tel: 0424-98-1811
[EMAIL PROTECTED] Fax: 0424
with optimizations.
How big is the module, anyway? It must be huge. If it's not about 2000 lines
or over then I would say something is wrong with your setup (although I can't
imagine what) or you found some space leak in the compiler.
Frank Christoph
[EMAIL PROTECTED]
blem before? Is it a compiler bug, an
oversight in the language or am I just doing something wrong? Comments and
workarounds would be appreciated.
Frank Christoph [EMAIL PROTECTED]
mpiler bug, an
oversight in the language or am I just doing something wrong? Comments and
workarounds would be appreciated.
Thanks.
Frank Christoph [EMAIL PROTECTED]
20 matches
Mail list logo