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

Reply via email to