-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 On 7/18/10 09:27 , Ivan Lazar Miljenovic wrote: > When discussing a similar issue with Manuel Chakravarty, he convinced me > that cunning newtype deriving is actually rather bad in practice and > shouldn't be used as there's a lack of proofs or some such (I can't > remember the arguments, but I remember being convinced by them :p).
It's worse than lack of proofs; it demonstrably produces bad code in a number of situations. - -- 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/ iEYEARECAAYFAkxDUEwACgkQIn7hlCsL25VgywCgo4TO5T9PY2FnOjThbVzWcpsY LUEAoLPfLuZTnmvkjadVKWX9ddUwwjaJ =03Zb -----END PGP SIGNATURE----- _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
