TypeScript has this functionality.Additionally, Scala 3 does as well, including support for these generic &quot;Type-Lambda&quot; expressions I saw in one of the examples on the playground:<a href="https:&#x2F;&#x2F;beta.plground.org&#x2F;jnclma&#x2F;CP_tutorial" rel="nofollow">https:&#x2F;&#x2F;beta.plground.org&#x2F;jnclma&#x2F;CP_tutorial</a><pre><code> printNum = trait implements ExpSig&lt;Eval =&gt; Print&gt; {
</code></pre>
In Scala 3, this would be roughly:<pre><code> trait ExpSig[F[_]]
 object printNum extends ExpSig[[A] =&gt;&gt; Eval[A] =&gt; Print]
</code></pre>
<a href="https:&#x2F;&#x2F;docs.scala-lang.org&#x2F;scala3&#x2F;reference&#x2F;new-types&#x2F;type-lambdas.html" rel="nofollow">https:&#x2F;&#x2F;docs.scala-lang.org&#x2F;scala3&#x2F;reference&#x2F;new-types&#x2F;type-...</a>

It is crazy how much work comes out of Bruno Oliveira’s research groups.Another cool online thing that exists is CP, a language with disjoint intersection and union types:<a href="https:&#x2F;&#x2F;github.com&#x2F;yzyzsun&#x2F;CP-next">https:&#x2F;&#x2F;github.com&#x2F;yzyzsun&#x2F;CP-next</a>

This is amazing. I&#x27;ve been wanting to do this for ages (even tried a few times and failed a few times). Great to see this.

Type Inference Zoo