• tatterdemalion@programming.dev
    link
    fedilink
    arrow-up
    2
    ·
    1 month ago

    I’d love to see a language with structural types where functions are always unary and tuples don’t exist. Every function call would look like either f () (no args), f 1 (one arg) or f (foo: 1, bar: 2) (multiple args, names mandatory).

    I started building a language like this but I haven’t worked on it in a while.