Ramsey Nasser on Nostr: interested in playing with a low level representation where functions can just take ...

interested in playing with a low level representation where functions can just take one argument -- like the lambda calculus -- but that argument might be a polymorphic record, which feels very expressive and maps nicely onto higher level "sugar" like multiple positional arguments, default arguments, optional argument, keyword arguments etc