A modern programming language that makes developers happier.

kotlinlang

today lesson is about some witchcraft..
how the hell can they at <https://ai.facebook.com/blog/paving-the-way-for-software-20-with-kotlin/|Facebook> have such a syntax:
```typealias BatchSize = 100
typealias Height = 40
typealias Width = 50
  
fun getFirst(
  input: Tensor&lt;[BatchSize, Height, Width]&gt;
): Tensor&lt;[Height, Width]&gt; {
 ...
}```
`typealias` integer values or square brackets in type parameters..?

ok, they are probably messing with the compiler