<p>It is implicit and ambient in the earliest scientific computing languages that the words of the machine are the box in which data fits, and so one needs “types” to class data when your computer gets new fancy boxes for doing e.g. fixed point arithmetic. On the business side, it takes a few revisions for FORTRAN to gain simple numeric types-as-classifiers and arrays. ALGOL 58 has type declarations after a few documented reports. These efforts feel - and are often described - as utterly ad hoc tho</p>

<p>If you squint _really_ hard you can even say Zuse had (one of) the first written accounts of a kind of algebraic data structure, though he most certainly did not have the language to describe his constructions as such. No, rather, where did the connection between types as structure and the layout of bits in storage really come from?</p>

<p><span class="h-card" translate="no"><a href="https://toot.cafe/@bryan" class="u-url mention">@<span>bryan</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.social/@mcc" class="u-url mention">@<span>mcc</span></a></span> By &quot;free up&quot; you mean &quot;garbage collected&quot;, presumably.</p>

<p><span class="h-card" translate="no"><a href="https://f.duriansoftware.com/@joe" class="u-url mention">@<span>joe</span></a></span> Ah, finally, an honest OOPL.</p>

<p>Where do we get the word “data type” from in its modern sense? It seems clear to me that Scott and Strachey have something to do with it, and they cite McCarthy for the idea of recursively building up data structures.</p>

<p>a language that&#39;s so object-oriented, even the logic operators are objects. no OR but `class Or;`</p>

oof

<p><span class="h-card" translate="no"><a href="https://social.translunar.academy/users/winter" class="u-url mention">@<span>winter</span></a></span> every time i think i have a grasp on how bad it is i discover that it is inexplicably and unforgivably worse</p>

<p><span class="h-card" translate="no"><a href="https://types.pl/@wren6991" class="u-url mention">@<span>wren6991</span></a></span> cxxrtl tries to make up conditionals rather than muxes but in current version that is quite limited</p>