To be fair to the author, he&#x27;s one of the few researchers trying to bridge this divide (e.g. see <a href="https:&#x2F;&#x2F;existentialtype.wordpress.com&#x2F;2014&#x2F;09&#x2F;28&#x2F;structure-and-efficiency-of-computer-programs&#x2F;" rel="nofollow">https:&#x2F;&#x2F;existentialtype.wordpress.com&#x2F;2014&#x2F;09&#x2F;28&#x2F;structure-a...</a> )