Typed and untyped languages