[Haskell-cafe] Template Haskell sees into abstract data types
Brandon S Allbery KF8NH
allbery at ece.cmu.edu
Sun Jul 4 00:45:06 EDT 2010
-----BEGIN PGP SIGNED MESSAGE-----
On 7/4/10 00:29 , Ivan Lazar Miljenovic wrote:
> David Menendez <dave at zednenem.com> writes:
>> I believe the point is that Template Haskell can see the internal
>> structure of a type even when the constructors are not exported. The
>> question is whether or not that is intentional.
> I was under the impression that the question was whether the hiding of
> the constructors, etc. was intentional...
No, he knew that ("abstract types" from the original message). The question
was whether TH is supposed to be able to violate the abstraction barrier.
brandon s. allbery [linux,solaris,freebsd,perl] allbery at kf8nh.com
system administrator [openafs,heimdal,too many hats] allbery at 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/
-----END PGP SIGNATURE-----
More information about the Haskell-Cafe