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:
Related languages
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
|