Dynamic languages don't really have any choice in the matter -- it's always going to be possible to pass an unanticipated type to a function, whose results may

Dynamic languages don't really have any choice in the matter -- it's always going to be possible to pass an unanticipated type to a function, whose results may or may not be surprising or sensible