|
|
|
|
|
|
by YouAreGreat
2750 days ago
|
|
|
> All languages are typed, either with rich types, or they are unityped Almost all languages. There is one language that can be typed without a type, the empty language. Since the empty language contains no programs, it follows that "Untyped Programs Don't Exist". |
|
|