Tesla Coils & Corpses report: programming language design

[Daira Hopwood]

On 18/12/14 23:52, Ben Laurie wrote:
> On 18 December 2014 at 21:17, Zooko Wilcox-OHearn
> <zooko at leastauthority.com> wrote:
>> You can obviously do abstract interpretation using types. Let's say
>> you have a range type of the integers from A‥B. (Let's use the
>> convention that this is inclusive of A and exclusive of B.) So we can
>> have A‥B + C‥D = (A+C)‥(B+D).
> 
> Surely (A+C)..(B+D-1).
> 
> Including B would've made it easier :-)

Oops, quite right :-)

-- 
Daira Hopwood ⚥

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 490 bytes
Desc: OpenPGP digital signature
URL: <http://tahoe-lafs.org/pipermail/tahoe-dev/attachments/20141219/77e26007/attachment.pgp>