Re: [Haskell-cafe] A better syntax for qualified operators?

2006-09-28 Thread Brian Hulley
Brandon Moore wrote: Brian Hulley wrote: I would *like* to be able to use the syntax: ith = Data.Array.IArray.(!) Why does the nice argument not apply equally well to infixifying things? Shouldn't I be able to write myArr Data.Arr.`get` ix Good point. This would also remove the need

Re[2]: [Haskell-cafe] A better syntax for qualified operators?

2006-09-28 Thread Bulat Ziganshin
Hello Bas, Thursday, September 28, 2006, 2:39:13 AM, you wrote:         foo :: {MonadIO m} a - m a Or move contexts to the end of a type and separate it with a | like Clean foo :: a - m a | MonadIO m i've proposed both these constructs here at list some time ago : but we don't

Re: [Haskell-cafe] A better syntax for qualified operators?

2006-09-28 Thread Henning Thielemann
On Wed, 27 Sep 2006, Brian Hulley wrote: Hi - Consider the scenario when you want to find a function that returns the i'th element of an array but all you know is that there is a module called Data.Array.IArray that will probably have such a function in it. So you start typing in your

[Haskell-cafe] A better syntax for qualified operators?

2006-09-27 Thread Brian Hulley
Hi - Consider the scenario when you want to find a function that returns the i'th element of an array but all you know is that there is a module called Data.Array.IArray that will probably have such a function in it. So you start typing in your program: let ith = Data.Array.IArray.

Re: [Haskell-cafe] A better syntax for qualified operators?

2006-09-27 Thread Brandon Moore
Brian Hulley wrote: Hi - Consider the scenario when you want to find a function that returns the i'th element of an array but all you know is that there is a module called Data.Array.IArray that will probably have such a function in it. So you start typing in your program: let ith

Re: [Haskell-cafe] A better syntax for qualified operators?

2006-09-27 Thread Bas van Dijk
On Wednesday 27 September 2006 22:20, Brian Hulley wrote: (The other change needed for LL(1) is to give contexts a marker before they appear eg:         foo :: {MonadIO m} a - m a ) Or move contexts to the end of a type and separate it with a | like Clean does: (See 6.2 of