[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Why would anyone want opacity?

> Thus type checking _should be_ a property of tools, not languages,
> since languages make perfect sense in the absence of _any_ mechanized
> tools.

type checking /is/ a property of tools, but type information is a component
of languages. in some natural languages, type information (say, gender) is
inferred and in some, it is explicitly stated. so why should artifical
natural languages be any different?