At minimum we should newtype more of the integer IDs, to prevent mixing them up with other integers.
keegan ----- Original Message ----- From: "Robert O'Callahan" <rob...@ocallahan.org> To: "Patrick Walton" <pwal...@mozilla.com> Cc: dev-servo@lists.mozilla.org Sent: Monday, July 15, 2013 4:44:43 PM Subject: Re: [dev-servo] Safe abstractions for unique handles On Tue, Jul 16, 2013 at 11:37 AM, Patrick Walton <pwal...@mozilla.com>wrote: > Right, that's been on our mind as well. We try to use channels and ports > wherever we can. In general channels and ports are better than IDs in every > way: they cannot be forged and have better memory management properties (as > integer IDs can't really be reference counted). > That sounds good. At some point we may run into a situation where we need such unforgeable IDs but we want them to be lighter-weight than a usable channel, but I guess you can solve that then. Rob -- Jtehsauts tshaei dS,o n" Wohfy Mdaon yhoaus eanuttehrotraiitny eovni le atrhtohu gthot sf oirng iyvoeu rs ihnesa.r"t sS?o Whhei csha iids teoa stiheer :p atroa lsyazye,d 'mYaonu,r "sGients uapr,e tfaokreg iyvoeunr, 'm aotr atnod sgaoy ,h o'mGee.t" uTph eann dt hwea lmka'n? gBoutt uIp waanndt wyeonut thoo mken.o w * * _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo _______________________________________________ dev-servo mailing list dev-servo@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-servo