> I don't understand why the result doesn't have to be validated. Isn't that
> what Dana requires?
Simply because validation is too expensive. It takes about 45% of the time and
that's not worth it. If we want it to be typed, we could already construct the
nodes to have the right type information.
Your team Zorba Coders is subscribed to branch lp:zorba.
Mailing list: https://launchpad.net/~zorba-coders
Post to : email@example.com
Unsubscribe : https://launchpad.net/~zorba-coders
More help : https://help.launchpad.net/ListHelp