Whole-known-network
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> You're a *monster*.</p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> Hi gay im dad</p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> Yay!</p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@foremostarchwiz" class="u-url mention">@<span>foremostarchwiz</span></a></span> girls love violence for its many industrial applications</p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> I'm phoning the Hague</p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> hmm… my beloathed, <> as brackets.</p><p>…then again, it isn't <> as brackets I dislike, it's <> being amiguously a bracket separator or a operator name , so maybe I just make <> types only and put up with typing lt gt</p>
<p>im gay</p>
<p><span class="h-card" translate="no"><a href="https://mastodon.social/@mcc" class="u-url mention">@<span>mcc</span></a></span> ts uses <type>val for casting iirc</p>
<p>What are some syntaxes that programming languages have used, to note that a specific thing has a specific type?</p><p>The two standards seem to be the C "prefix"</p><p>int x / (int) x</p><p>and the increasingly popular ML colon</p><p>x: int</p><p>In the languages I've made I like using : for structural purposes, like (if x: print abcd). And "typename then a space" is so fucking messy, so I'm wondering about what alternatives could feel natural.</p>