<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>
