[Haskell-cafe] Re: idea for avoiding temporaries

[Isaac Dupree]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Simon Marlow wrote:
> GHC doesn't have any kind of uniqueness analysis right now.  It's pretty
> hard to do in general: imagine a function that takes an array as an
> argument and delivers an array as a result.  It'll probably need two
> versions: one when the argument is unique, one for when it's not.

What if the compiler might only create the version that requires
uniqueness, and callers that don't already have uniqueness must make a
copy? (or that could be a trivial wrapper function alongside the main
uniqueness-requiring version).  Would this be at all significantly
worthwhile?

Isaac

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.3 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFF9BRtHgcxvIWYTTURAmDnAJ9+e5M5k6PmmfHJwqpZrsIopNX5tQCg06rk
CRsmtjedyOJ1ARvYijYUCp4=
=abyA
-----END PGP SIGNATURE-----