Proposal to add symbol: "hasInstanceStrict"

Aleksander Efremov mr.efrem at gmail.com
Mon Feb 19 16:56:23 UTC 2018


Yes, that's it.

19 февр. 2018 г. 20:53 пользователь "Mike Samuel" <mikesamuel at gmail.com>
написал:



On Mon, Feb 19, 2018 at 11:50 AM, Aleksander Efremov <mr.efrem at gmail.com>
wrote:

> In my first example you can found what I mean. There not only function.
> Just instead of that function can be black box results which we must check
> on assignment to const.
>

Are you referring to the use of PrimitiveNumber in `const c:
PrimitiveNumber = sum(1, 2);` ?
When treating sum as a black box, you can't rely on it to check its
{pre,post}condiitons, so you need an additional guard on the const
initializer?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.mozilla.org/pipermail/es-discuss/attachments/20180219/bf927edd/attachment-0001.html>


More information about the es-discuss mailing list