Re: backslashes within quotes
On Friday, 5 October 2012 at 15:34, Evan Laforge wrote: On Fri, Oct 5, 2012 at 9:50 AM, Henrik Nilsson henrik.nils...@nottingham.ac.uk (mailto:henrik.nils...@nottingham.ac.uk) wrote: The same is true for \a, \b, \f, \v, \EM, \DC1, etc. We do need \, though. What is \ used for? I never knew it existed until I reread that bit of the report, and couldn't figure out what it was for. There's a conflict between \SOA and \SO followed by A, which is resolved by making the latter \SO\A. -- brandon s allbery kf8nh sine nomine associates allber...@gmail.com ballb...@sinenomine.net unix/linux, openafs, kerberos, infrastructure http://sinenomine.net Sent with Sparrow (http://www.sparrowmailapp.com/?sig) ___ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime
Re: Reform of the Monad, and Disruptive Change
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
On 2/4/11 14:30 , Daniel Peebles wrote:
Perhaps GHC could be released with two sets of libraries. This would
give people time to experiment without breaking existing code. It would
also make implementing individual changes much easier.
I fully support this. {-# LANGUAGE NewPrelude #-} or something similar would
be wonderful.
Or Haskell Platform/Haskell Future with some way other than standard level
to select it... although I don't recall if this is easily doable.
- --
brandon s. allbery [linux,solaris,freebsd,perl]allber...@gmail.com
system administrator [openafs,heimdal,too many hats]kf8nh
-BEGIN PGP SIGNATURE-
Version: GnuPG v1.4.11 (Darwin)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/
iEYEARECAAYFAk1MuzIACgkQIn7hlCsL25UoiQCeK0YqPIw69jcFaw0ZfVv1HLT/
riUAoJe5efmuWLLIHunvUvYPZJBszcTh
=zdsY
-END PGP SIGNATURE-
___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-prime
Re: Local definitions in the class instances
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 1/30/11 05:54 , John Meacham wrote: instance Num Wrapped where (+) = lift2 (+) (-) = lift2 (-) (*) = lift2 (*) abs = lift abs signum = lift signum fromInteger = Wrapped where lift2 f (Wrapped a) (Wrapped b) = Wrapped (f a b) lift f (Wrapped a) = Wrapped (f a) so 'where' indroduces the local instance scope. The double where strikes me as a bit odd. Also, not sure how the parser would deal with it, even given that using the second without the first is entirely pointless; Haskell structures all follow a similar pattern WRT where, and this confounds it in several ways. - -- brandon s. allbery [linux,solaris,freebsd,perl] allb...@kf8nh.com system administrator [openafs,heimdal,too many hats] allb...@ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH -BEGIN PGP SIGNATURE- Version: GnuPG v1.4.11 (Darwin) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAk1F8qgACgkQIn7hlCsL25UDmQCg0iyxts0dSvbhqdDosK0WKF/w CxkAnR5uxzTSYTmK4nvypRcIOtpxTDCm =Z8+V -END PGP SIGNATURE- ___ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime
Re: new keyword: infixlr?
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 9/10/10 14:13 , Ian Lynagh wrote: When first reading the proposal, I thought the idea was to allow the compiler to more easily perform optimisations like a+b+c+2+3+d = a+b+c+5+d but I guess that wasn't something you were thinking about? That strikes me as a trivial application of the proposal; in Haskell it's not clear to me that there's a significant different between the two, thanks to laziness. - -- brandon s. allbery [linux,solaris,freebsd,perl] allb...@kf8nh.com system administrator [openafs,heimdal,too many hats] allb...@ece.cmu.edu electrical and computer engineering, carnegie mellon university KF8NH -BEGIN PGP SIGNATURE- Version: GnuPG v2.0.10 (Darwin) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAkyKfvgACgkQIn7hlCsL25Xt7QCggYY7LvGcj+F8Or91931pPOQR OlIAoM0BwQt+/+MqDXGhoeIjCoBCnEo6 =Nh7X -END PGP SIGNATURE- ___ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime
Re: Haskell 2010 libraries
On May 4, 2010, at 05:09 , Duncan Coutts wrote:
On Fri, 2010-04-30 at 10:42 +0100, Simon Marlow wrote:
Bear in mind these goals: we want to
a. support writing code that is Haskell 2010 only: it only uses
Haskell 2010 language features and modules.
b. not break existing code as far as possible
I'm going to dissent here: current code assumes extensions, not a
standard. I think it's not outside the pale to have code that wishes
to conform to Haskell2010 be modified to do so, and otherwise the code
continues to be extended nonstandard Haskell if it is not already
Haskell98-conformant. After all, Haskell2010 doesn't quite include
*all* of the extensions that are in common use.
So, I'm going to go out on a limb here and suggest that Haskell 2010
code should specify
{-# LANGUAGE Haskell2010 #-}
to distinguish from Haskell '98 code (no LANGUAGE pragmas) and
extension code (other LANGUAGE pragmas). Users who wish to combine
the above with nonstandard extensions can expect to do extra work.
Existing code continues to work because it doesn't explicitly limit
itself to Haskell2010.
A side benefit of this is that it requires the code (not a cabal file
or etc.) to specify that it is Haskell2010 as opposed to Haskell98 or
etc. Unless cabal-install is a mandatory part of Haskell2010, relying
on it to specify the language support level strikes me as not the best
of ideas.
If people think the order in the .cabal file is not sufficiently
explicit then I'm sure we can concoct some more explicit syntax. We
already need to add some syntax to allow a package to depend on
multiple
versions of a single dependency.
We already have most of that, don't we? There's the extension to
allow you to specify the exact package to use for a given module; with
as syntax one might presumably say something like
import haskell-2010 Data.List
import containers-ext Data.List as L;
I understand this may require some work, but it seems a reasonable
extension of existing syntax. It also puts the onus of making things
work together on the user, and (as mentioned above) I think that's
eminently sensible for existing code that assumes that it uses
extensions, not a standard.
The advantage of the client doing it is it's quite general. The
downside
is it's quite general: people can do it anywhere and can easily get
incompatible collections of types. For example base:Prelude.Int would
only be the same as haskell2010:Prelude.Int because it is explicitly
set
up to be that way. Arbitrary shadowing would not be so co-operative.
ghc already lets you do this by rebinding syntax. What happens if you
rebind (=) in a way that isn't quite compatible with the monad
laws? Granted, right now you have to do fairly esoteric stuff to get
yourself into that kind of trouble, whereas we're talking now about
something likely to be more common.
I'm not quite sure how it would be implemented but from the user's
point
of view they just list the package dependencies as usual and get the
sensible overlapping order. Presumably packages not designed to be
used
in an overlapping way should still give an error message.
The problem here is, how do you know? I recall suggesting some time
back that dependencies without an upper bound were going to be a
problem, and lo and behold, when base-4 came out they broke. If a
package declares itself to be capable of overlapping, does it apply
only to Haskell2010 or is it assumed to also apply to Haskell2011
unless specified otherwise? Or do we try to figure it out
automatically? (Which I suspect would cause all sorts of problems.)
--
brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allb...@kf8nh.com
system administrator [openafs,heimdal,too many hats] allb...@ece.cmu.edu
electrical and computer engineering, carnegie mellon universityKF8NH
PGP.sig
Description: This is a digitally signed message part
___
Haskell-prime mailing list
Haskell-prime@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-prime
Re: Haskell 2010 libraries
On May 1, 2010, at 15:05 , Simon Marlow wrote: On 01/05/10 17:16, Ian Lynagh wrote: Oh, I thought the plan was for library standardisation in the report to be reduced, with perhaps the Haskell Platform becoming the new library standardisation effort. I thought the *eventual* plan was to properly standardise lots of libraries, with the Haskell Platform being an intermediate step on the way to standardisation. Though I don't think we ever actually decided anything, really. I was also under the impression that the Haskell Platform was the library standardization effort (and in fact my first reaction to your original message was so defer it to the Libraries Report which describes the HP, but I wasn't sure I understood all the issues). -- brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allb...@kf8nh.com system administrator [openafs,heimdal,too many hats] allb...@ece.cmu.edu electrical and computer engineering, carnegie mellon universityKF8NH PGP.sig Description: This is a digitally signed message part ___ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime
Re: On the Meaning of Haskell 2
On Nov 27, 2009, at 16:44 , John D. Earle wrote: If computer programs are speech as in a form of literature, the preparation of speech under constraints is poetry. With the appropriate EDSL, that could be literal. (Perl poetry, anyone?) -- brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allb...@kf8nh.com system administrator [openafs,heimdal,too many hats] allb...@ece.cmu.edu electrical and computer engineering, carnegie mellon universityKF8NH PGP.sig Description: This is a digitally signed message part ___ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime
Re: Strongly Specify Alignment for FFI Allocation
On Sep 25, 2009, at 07:54 , Duncan Coutts wrote: pessimistic. We could do better on machines that are tolerant of misaligned memory accesses such as x86. We'd need to use cpp to switch Hm. I thought x86 could be tolerant (depending on a cpu configuration bit) but the result was so slow that it wasn't worth it? -- brandon s. allbery [solaris,freebsd,perl,pugs,haskell] allb...@kf8nh.com system administrator [openafs,heimdal,too many hats] allb...@ece.cmu.edu electrical and computer engineering, carnegie mellon universityKF8NH PGP.sig Description: This is a digitally signed message part ___ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime
