H ? « ‹ ← → › »

Language peer sets for OLABL:
France↑
France/1995↑
Designed 1995 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

OLABL (2307/ola001)

alternate simple view

Country: France
Designed 1995

for Objective Label

extended Objective Caml with open sum types, named and operational functional arguments.

Features subsumed into O'Caml 3

Structures:

Function

Related languages

OCAML	→	OLABL		Extension of
Smalltalk	→	OLABL		Influence
OLABL	→	OCAML 3		Subsumed

Resources

OLABL page at Kyoto Introduction to O'Labl

Objective Label extends Objective Caml in 3 ways.
Labeled arguments
Optional parameters
Polymorphic variants
Polymorphic methods
All these features are sound with respect to type checking, and integrate smoothly with other parts of O'Caml, like objects and classes.

Labeled arguments

Many languages, like Ada, Common Lisp, or SmallTalk already offer such a kind of feature. It is intended to enhance readability of programs.
However, except for Smalltalk, it seems that this possibility is not used very much in actual programming. Since in Ada and Common Lisp use of these labels in function calls is facultatory, programmers will most often ommit them.

Reflecting their success in the SmallTalk community, labels in O'Labl are SmallTalk style, with the possibility of providing different call patterns through optional parameters. Moreover they can be combined with Currying to allow out-of-order partial applications.

Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE ACM portal CiteSeer CSB ncstrl jstor Bookfinder