On 31 January 2006 17:48, Andrew Pimlott wrote:
On Tue, Jan 31, 2006 at 10:17:57AM -, Simon Marlow wrote:
On 30 January 2006 21:49, Andrew Pimlott wrote:
In the present case, people aren't (only) opposing the M-R out of
principle, but because they actually use overloaded variable
The wiki page
http://haskell.galois.com/cgi-bin/haskell-prime/trac.cgi/wiki/ExistentialQuantification
has been updated to reflect the discussion on existentials.
Simon T.
___
Haskell-prime mailing list
Haskell-prime@haskell.org
On Mon, 30 Jan 2006, Simon Marlow [EMAIL PROTECTED] wrote:
Given the new evidence that it's actually rather hard to demonstrate any
performance loss in the absence of the M-R with GHC, I'm attracted to
the option of removing it in favour of a warning.
I also want to remove the M-R, because of
On 01 February 2006 11:42, Nils Anders Danielsson wrote:
However, to stand on more solid ground I suggest that someone runs
some performance tests, with and without
-fno-monomorphism-restriction, to see whether the M-R has any great
impact in practice. There are some performance test suites
On Feb 1, 2006, at 5:12 AM, Malcolm Wallace wrote:
Taral [EMAIL PROTECTED] writes:
On 1/31/06, Simon Marlow [EMAIL PROTECTED] wrote:
I've been swayed by the arguments put forward by the ~-
proponents, so
I'm not going to champion the removal of ~ any more.
We must find *something* to
Simon Marlow [EMAIL PROTECTED] writes:
Summary: 2 programs failed to compile due to type errors (anna, gg).
One program did 19% more allocation, a few other programs increased
allocation very slightly (2%).
I wonder how many programs would fail to compile if local identifier
bindings without
Hello John,
Wednesday, February 01, 2006, 6:48:48 AM, you wrote:
On the other hand, if pattern bindings were strict by default, I bet
there would be a lot fewer accidental space leaks.
JM I don't think this is true. I think there would just be a whole lot of a
JM different type of space leak.
On Wed, Feb 01, 2006 at 02:51:08PM +, Philippa Cowderoy wrote:
I'm not convinced on that. You'd have to specify a surprisingly low-level
language to allow that to the extent the real optimisation nuts want, and
that's something that really should be beyond the scope of the standard.
Hello Simon,
Tuesday, January 31, 2006, 1:31:26 PM, you wrote:
SM We must find *something* to throw away though! :-)
newspeak is the only language whose dictionary is decreasing (c) 1984
:)
at least from library we should throw many things, including old
exceptions, data.array and of course
On Wed, 1 Feb 2006, Bulat Ziganshin wrote:
btw, on the http://haskell.galois.com/trac/haskell-prime/wiki/PartialTypeSigs
author mean using underscore for (exists a . a) types
No I don't, for a number of technical reasons.
--
[EMAIL PROTECTED]
There is no magic bullet. There are, however,
I think that given these results, I would have absolutely no issues with
dropping the MR completely. in fact, I'd recommend it.
If we must do something I don't think it is worth eating an operator for
a new type of binding, but some shorthand syntax
(x) = foo
being sugar for the equivalent of
On 2/2/06, John Meacham [EMAIL PROTECTED] wrote:
On Thu, Feb 02, 2006 at 02:31:32AM +0100, Josef Svenningsson wrote: I still think there is an inconsistency here. And it has to do with maximal munch lexing. Maximal munch is what we normally expect from a lexer for a
programming language. But the
Hi all,
To corroborate Wadler's law further.
Josef wrote:
Oh yes, it does happen that a single line comment begins with a
special symbol. It has happened to me on several occations when using
haddock annotation to my source code. It is all to easy to forget that
extra space. With
On Thu, 2 Feb 2006, Henrik Nilsson wrote:
Hi all,
To corroborate Wadler's law further.
Josef wrote:
Oh yes, it does happen that a single line comment begins with a
special symbol. It has happened to me on several occations when using
haddock annotation to my source code. It is
Ross Paterson:
As I read it, the POPL'05 paper cited by the wiki page asserts that
there is a problem, but does not explain what it is. Is there a better
reference?
I just added a slightly more detailed explanation as a subpage to
ClassMethodTypes.
Manuel
15 matches
Mail list logo