rk: it’s hyphen-minus actually<p>My little scripting language is strongly, statically, and nominatively typed. No typecasts; you must use type transfer functions. </p><p>The compiler can automatically derive transfer functions from base types, so free constructors. </p><p>I’m thinking about predicated types with fallible constructors.</p><p>type EvenInt int where($ % 2 == 0)</p><p>would derive a constructor from int that returned None for odds; seems nice but having to check for failure on construction seems less fun.</p><p><a href="https://mastodon.well.com/tags/plt" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>plt</span></a> <a href="https://mastodon.well.com/tags/programming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>programming</span></a> <a href="https://mastodon.well.com/tags/compilers" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>compilers</span></a></p>