search

alcides / aeon

Aeon programming language
https://alcides.github.io/aeon/
8 stars 3 forks source link

Syntax: Parameter #36

Closed alcides closed 6 months ago

alcides commented 6 months ago

def sqrt : (i: {x:Int | x > 0} ) -> Float = native "__import__('math').sqrt";

could be written:

def sqrt : (i: Int | i > 0) -> Float = native "__import__('math').sqrt";

To implement this, it requires:

alcides commented 6 months ago

Duplicate of #36