Jump to content

Alef (programming language)

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Yobot (talk | contribs) at 14:40, 7 February 2013 (History: WP:CHECKWIKI error #80 fixed + general fixes using AWB (8888)). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
Alef
Paradigmcompiled, concurrent, structured
Designed byPhil Winterbottom
First appeared1992
Typing disciplineStatic, strong
OSPlan 9 from Bell Labs
Influenced by
C, Newsqueak
Influenced
Limbo, Rust, Go

Alef was a concurrent programming language, designed as part of the Plan 9 operating system by Phil Winterbottom of Bell Labs. It implemented the channel-based concurrency model of Newsqueak in a compiled, C-like language.

History

Alef appeared in the first and second editions of Plan 9, but was abandoned during development of the third edition.[1][2] Rob Pike later explained Alef's demise by pointing to its lack of automatic memory management, despite Pike's and other people's urging Winterbottom to add garbage collection to the language;[3] also, in a February 2000 slideshow, Pike noted: “…although Alef was a fruitful language, it proved too difficult to maintain a variant language across multiple architectures, so we took what we learned from it and built the thread library for C.”[citation needed]

Alef was superseded by two programming environments. The Limbo programming language can be considered a direct successor of Alef and is the most commonly used language in the Inferno operating system. The Alef concurrency model was replicated in the third edition of Plan 9 in the form of the libthread library, which makes some of Alef's functionality available to C programs and allowed existing Alef programs (such as Acme) to be translated.[4]

Example

This example was taken from the Alef reference manual.[1] The piece illustrates the use of tuple data type.

 (int, byte*, byte) 
 func() 
 { 
  return (10, "hello", c); 
 }
 void 
 main() 
 {
   int a; 
   byte* str; 
   byte c; 
   (a, str, c) = func(); 
 }

See also

References

  1. ^ a b Winterbottom, Phil (1995). "Alef Language Reference Manual". Plan 9 Programmer's Manual: Volume Two. Murray Hill: AT&T. {{cite book}}: External link in |chapterurl= (help); Unknown parameter |chapterurl= ignored (|chapter-url= suggested) (help)
  2. ^ "Preface to the Third (2000) Edition". Plan 9 Manual. Murray Hill: Bell Labs. June 2000. {{cite book}}: |access-date= requires |url= (help); External link in |sectionurl= (help); Unknown parameter |sectionurl= ignored (|section-url= suggested) (help)
  3. ^ Origins of Go concurrency style. Talk by Pike at OSCON's Emerging Languages Camp 2010.
  4. ^ "thread(2)". Plan 9 Manual. {{cite book}}: |access-date= requires |url= (help); External link in |sectionurl= (help); Unknown parameter |sectionurl= ignored (|section-url= suggested) (help)