Research Language Overviews This list is intentionally biased towards sequential functional, logic, and object-oriented languages whose design and implementation are the subject of active research. Other language overviews are summarized at the bottom. (Anybody want to compile a similar list for parallel languages?) Additional language design and implementation projects are described on the research projects page. Language Overviews - Ada 95
Support for strong type checking, modularity, genericity, object-oriented programming, parallelism, distribution, multi-language programming, system programming, numerics, exceptions, clear syntax, ISO standard approved in February 1995 with a strong validation suite. The BETA page at Aarhus University. BETA is a strongly-typed, object-oriented language supporting both procedural and functional programming. BETA's abstraction mechanisms include support for identification of objects, classification, and composition. Numerous abstraction mechanisms, such as classes, procedures, functions, coroutines, processes, exceptions etc., are all unified into a single abstraction mechanism: the pattern. The Cecil page at the University of Washington Cecil is a pure object-oriented language intended to support rapid construction of high-quality, extensible software. Cecil combines multi-methods with a simple object model, module-based encapsulation, and optional static type checking. | |
|