search

tadeuzagallo / verve-lang

A functional language for the working hacker
https://verve-lang.org
MIT License
346 stars 7 forks source link

Add support for inferring constraint args when passing functions as arguments #51

Closed tadeuzagallo closed 7 years ago

tadeuzagallo commented 7 years ago

Contrived example:

fn f(add: (Int, Int) -> Int) -> Int {
  add(3, 5)
}
f((+))