<p><span class="h-card" translate="no"><a href="https://social.xenofem.me/users/nyx" class="u-url mention">@<span>nyx</span></a></span> for context, i heavily use/used ruby and python (without types almost exclusively, even going as far as to piss off ppl due to that) and rust and ocaml and a few others, i get the interactivity aspect but there is value beyond that</p>

<p><span class="h-card" translate="no"><a href="https://social.xenofem.me/users/nyx" class="u-url mention">@<span>nyx</span></a></span> i mean i dont use types to get stuff working, even in rust</p><p>i use types to make sure it *stays working*</p>

@whitequark@mastodon.social I drafted a screed on this forever ago for a hypothetical tech blog (possibly will be making this soon to contain my takes on computer stuff) but like I can understand why people would think types are hot shit for most languages. it just feels like a non-issue to me if a language supports an interactive development style (which excludes basically everything except Common Lisp and Smalltalk lol)

<p><span class="h-card" translate="no"><a href="https://social.treehouse.systems/@dysfun" class="u-url mention">@<span>dysfun</span></a></span> <span class="h-card" translate="no"><a href="https://hachyderm.io/@cliffle" class="u-url mention">@<span>cliffle</span></a></span> yes. i am agreeing; even on very primitive cpus it is Fine(tm)</p>

<p><span class="h-card" translate="no"><a href="https://social.xenofem.me/users/nyx" class="u-url mention">@<span>nyx</span></a></span> i think of types as a semi-interactive proof assistant i get to both use and inflict on others in moderation</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> if your child is lost, you may retrieve them via a CORBA object request broker</p>

also I don't know what the fuck it is with people fetishizing type systems (probably because it's adds like a fucking bare minimum level of ergonomics to languages that are otherwise functionally a black box to program with) but typing is fucking stupid and annoying. a programmer in 2025 should not need to care whether or not a string's type is (SIMPLE-ARRAY CHARACTER) or (SIMPLE-BASE-STRING)

<p><span class="h-card" translate="no"><a href="https://social.treehouse.systems/@dysfun" class="u-url mention">@<span>dysfun</span></a></span> <span class="h-card" translate="no"><a href="https://hachyderm.io/@cliffle" class="u-url mention">@<span>cliffle</span></a></span> i think mor1kx doesn&#39;t even have a branch predictor and still</p>

<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> so does that mean attended children get single tenant apartments with a gatekeeper?</p>