I think one can reasonably argue that, if the language only has a single type, it is effectively "untyped". That would mean languages like Tcl. Or, for that ma

I think one can reasonably argue that, if the language only has a single type, it is effectively "untyped". That would mean languages like Tcl. Or, for that matter, B.