I have the feeling that the author is really onto something: the explicit boundary between symbolic intent and real-world execution.
Type systems don’t cut it always, you sometimes need something in-between imperative code - which is hard to test all edge cases - and pure type system chasing. The sweet spot maybe lies in having a DSL (in this case "building business mutations") and have good building blocks.
Does anyone know something similar for Europeans (I live in The Netherlands)? Common units used here are all metric; for heating I've seen Natural Gas Usage (in m3) used and GigaJoules. Also almost no-one here seems to use air conditioning.
How do you know nature will survive? Records of previous climate changes indicate the change occurred more gradually in tens of thousands of years, not within 200 years. So nature may not have time to adapt.
Also the living earth may have just been lucky the last time drastic climate change occurred; it's not that we have thousands of earths to exclude survivorship bias.
Quick summary: Gilad Bracha introduces a new programming language called ShapeRank. It seems to be based on APL but introduces the concept of streams which are [vectors | tensors | arrays] of unbounded length.
Check out our (web based) product at https://ag5.com . We’ve built it with VisualWorks Smalltalk among other tools.
Every year we ask ourselves if we should be using such an niche tool but somehow almost every new employee at our company gets hooked on smalltalk. So it now has become our secret superpower.