-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 [Beware, here be newbie -- possible nonsense ahead.]
I have a couple of questions about what S03 says about hyperoperators applying recursively to any object which matches the 'Each' role: [from S03] Seq(3,8,[2,Seq(9,3)],8) >>-<< (1,1,2,1); # Seq(2,7,[0,Seq(7,1)],7) 1. What determines the concrete type of the result of a binary hyperoperator which is applied to objects of two different sequence types? Does the example mean that binary hyperoperators are not symmetric (in type) even when their underlying operator is symmetric? 2. Will the 'Each' role require objects implementing it to be, not only destructurable, but constructible - as the hyperoperator in the example constructs a fresh Seq? Does this mean that hyperoperators won't apply to, say, database result sets? - -- Chris Jeris -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.2.2 (MingW32) Comment: Using GnuPG with Thunderbird - http://enigmail.mozdev.org iD8DBQFEvAn85ICCNV0oGWARAsZPAJ9rgSbbF228bLz1QnFi0cwo8kQMJwCfZM6n bEwMXANHlIe5dRV4GkXxd9g= =D/a5 -----END PGP SIGNATURE-----
