Do we associate syntax with semantics? Would you find ML syntax with dynamic types weird, or a lisp with Java-style var type declarations?