Turner, Bird, Eratosthenes: An eternal burning thread

My programming languages course in college had a section on Miranda. That’s 25 years ago and I’ve forgotten almost all of it, and I am not a Haskell programmer. But those few weeks proved essential for me and has benefitted my C++ tremendously.

&gt; <i>Turner said that he was “interested in finding something simpler” than full dependent types.</i><p>What are some current options for avoiding full dependent types?

I love the name of this paper. It&#x27;s a play on <i>Gödel, Escher, Bach: An Eternal Golden Braid</i> by Douglas Hofstadter.<p><a href="https:&#x2F;&#x2F;en.m.wikipedia.org&#x2F;wiki&#x2F;Gödel,_Escher,_Bach" rel="nofollow">https:&#x2F;&#x2F;en.m.wikipedia.org&#x2F;wiki&#x2F;Gödel,_Escher,_Bach</a>

The author and editor should be ashamed for leaving out O’Neill from the title.