Jasmine Tang

https://borretti.me/article/introducing-austral

https://borretti.me/article/how-australs-linear-type-checker-works

Did you know D and Nim has this special feature on syntactic sugar. I was thinking why don't we do the same thing on struct and tuples and array :) That would be cool you know

arr = push(arr, val) where push takes and returns type(arr) as first argument would mean -> arr.push(val)

Generics

Typeclasses

Function as first class

Linear typing