Ask HN: How do I re-learn maths as a middle-age person?
33 pointsby noneeeed25 comments
type Index is range 1 .. 5;
type My_Int_Array is
array (Index) of My_Int;
It made life pretty nice when working in SPARK if you defined suitable range types for indexes. The proof steps were generally much easier and frequently automatically handled.
Hopefully with all the work on both improving the fuel used, and providing grid hookups so they can turn their engines off, that will have made a big difference. Hopefully the effects of the congestion charges have made a big difference too. A lot of the kids featured in the documentary had a really crap life because of it all.