[bitc-dev] currying for zero arguments

[Geoffrey Irving]

If we adopt currying syntax for function application, what will be the
notation for calling a zero-argument C function?

One option would be to map zero-argument C functions to unit -> a, and
forbid zero argument functions in the type system.  I think the
calling conventions are operationally the same (or at least
compatible), so this wouldn't require any wrapper code.

Geoffrey