Re[2]: [Haskell-cafe] Re: Is Haskell a 5GL?

2006-09-28 Thread Bulat Ziganshin
Hello Ch.,

Wednesday, September 27, 2006, 7:31:00 PM, you wrote:

 thus I think I will stay away from using it but argue with
 concrete abstraction features.

 Concerning the point someone made about the features of Haskell:
 * pattern matching: just case distinction
 * list comprehensions: syntactic sugar

some time i will write Haskell advertisement wiki. key Haskell selling points
i plan to mention is its expressiveness, reliability, excellent support
for concurrency while higher-order funcs, parameterized ADTs, polymorphism,
laziness, immutable data and various other language features are just
concrete Haskell instruments that allow to reach these universal
programmers goals

meanwhile, i recommend you to look into why Haskell matters and
http://www.md.chalmers.se/~rjmh/Papers/whyfp.pdf 



-- 
Best regards,
 Bulatmailto:[EMAIL PROTECTED]

___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe


Re[2]: [Haskell-cafe] Re: Is Haskell a 5GL?

2006-09-27 Thread Bulat Ziganshin
Hello Bill,

Tuesday, September 26, 2006, 1:03:02 AM, you wrote:

 I spent some time working on a large Prolog application where
 performance was critical,
...
 I think you're right that Haskell should
 be in the same bag as Prolog.

and Haskell is the same as C++ when performance is critical, while C++
is the same as assembler. believe me - i has experience of optimizing
both Haskell and C++ programs :)

i think it's wrong to make decisions about language expressiveness on
the base of requirements for writing optimized programs. my _application_
Haskell/C++ code contains about 80-90%% of code that _don't need_ to
be optimized and it's just the case when higher language expressiveness
rules. but for the remaining 10-20%% optimizing of higher-level
language becomes a nightmare and it is much better to use lower-level
language in these places (if it's possible!) instead of using lower-level
techniques that just don't fit in the higher-language toolbox :(

ps: btw, i was really thinking in assembler when optimizing my Haskell lib.
it is why it so fast. on good-old DEC cpus whole getChar/putChar
actions may be compiled in just one asm instruction :)  so, using
your logic, Haskell is 1-gl language :)

-- 
Best regards,
 Bulatmailto:[EMAIL PROTECTED]

___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe