3 ms·
Ela is a type safe, strictly typed language, which is, however, not burden by limitations of any particular type checker. By nature, a language which is type s
by sgeisenh 11y ago
Ela is a type safe, strictly typed language, which is, however, not burden by limitations of any particular type checker.
By nature, a language which is type safe and strictly typed must be burdened by the limitations of a "particular type checker." This is weak type safety at best. And it looks like there are runtime class checks, so you have all of the traditional drawbacks of dynamic languages.
- dllthomas 11y agoIn principle, the type checker could be pluggable. That would mean the language isn't burdened by the limitations of any particular type checker, although it would almost certainly be burdened by complications at the boundaries of where one type checker is used versus another. It also might be reasonable to insist that such a system represents a family of languages rather than a single one.