* Eric Rannaud:

> The issue is that only procedures designed to take one record as
> argument can use this trick.

You need special markers for named arguments anyway, or you lose the
ability to use arbitrary parameter names in lambda expressions (or you
need some set of intransparent rules how parameter names are handled
in this context).

> And wouldn't you end up defining pretty much one record type per
> procedure? (not the case in Lua, as tables are weakly dynamically
> "typed").

This is not a problem if mostly-structural typing is used, which is
the case for BitC AFAICT (see section 3.10.2 in the spec).
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev

Reply via email to