Re: module system/namespaces: separate with/use, allow local use

2006-01-30 Thread John Meacham
On Mon, Jan 30, 2006 at 10:13:36AM +0100, Johannes Waldmann wrote: I am not sure what a local fixity declaration would mean for an operator that is defined in some outer scope. It would mean a whole new class of obfusciation ability for haskell programmers :) John -- John Meacham -

Re: Wanted: local data, class, instance declarations

2006-01-30 Thread Bulat Ziganshin
Hello Johannes, Friday, January 27, 2006, 1:00:42 PM, you wrote: JW let instance Ord Item where ... JW xs :: [ Item ] ; xs = ... JW in sort xs are you familiar with generic haskell? one of its features is the local definitions of the special cases for generic functions, what is close to

Re: The dreaded M-R

2006-01-30 Thread Malcolm Wallace
[EMAIL PROTECTED] writes: Nhc didn't use to implement the M-R (maybe it does now). When porting code to nhc this caused a few code changes. Perhaps 10 lines out of 1 when I tried the Bluespec compiler. So my gut feeling is that the M-R is a rare beast in practise. I can confirm that

Re: Comment Syntax

2006-01-30 Thread Thomas Davie
On 30 Jan 2006, at 14:49, [EMAIL PROTECTED] wrote: Quoting Thomas Davie [EMAIL PROTECTED]: On 30 Jan 2006, at 14:28, Neil Mitchell wrote: Another argument in favour of this is that most editors with syntax hilighting will show -- as a comment, which again increases the confusion factor.

Re: The dreaded M-R

2006-01-30 Thread Sebastian Sylvan
On 1/30/06, Simon Marlow [EMAIL PROTECTED] wrote: I've put a wiki page with a summary of this discussion here: http://hackage.haskell.org/cgi-bin/haskell-prime/trac.cgi/wiki/Monomorph ismRestriction Hopefully I've captured most of the important points, please let me know if there's anything

Re: Existential types: want better syntactic support (autoboxing?)

2006-01-30 Thread Sebastian Sylvan
Seems like a convenient feature to me. Also, you may want to have a function which works on a list of any values which are both readable and showable. Say (mockup syntax): foo :: Show a, Read a = [a] foo = [ 1, True, myRocketLauncher ] Which would create a newtype called ShowReadAble or

Re: module system/namespaces: separate with/use, allow local use

2006-01-30 Thread Isaac Jones
Simon Marlow [EMAIL PROTECTED] writes: On 30 January 2006 09:03, Simon Peyton-Jones wrote: With the module system, we should make a distinction between declaring (1) that we want to use a module (2) how to bring the module's names into scope Perhaps 'import' should be allowed anywhere

Re: Comment Syntax

2006-01-30 Thread lennart
Quoting Thomas Davie [EMAIL PROTECTED]: I agree, this is not a great argument, but the fact that the language is inconsistent, and that it confuses people easily, and can't come up with great error messages when it does go wrong, (my original arguments) really are good arguments for fixing

Re: what's the goal of haskell-prime?

2006-01-30 Thread Claus Reinke
No language can serve all of the people all of the time, but I think we should just do our best with a single standard. I think that the complexity of multiple languages / layers / standards would not be worth the payoff. My original understanding of the Haskell' effort was that it was *not*