Andrei Alexandrescu
   HOME

TheInfoList



OR:

Andrei Alexandrescu (born 1969) is a Romanian-American
C++ C++ (pronounced "C plus plus") is a high-level general-purpose programming language created by Danish computer scientist Bjarne Stroustrup as an extension of the C programming language, or "C with Classes". The language has expanded significan ...
and D language programmer and author. He is particularly known for his pioneering work on policy-based design implemented via
template metaprogramming Template metaprogramming (TMP) is a metaprogramming technique in which templates are used by a compiler to generate temporary source code, which is merged by the compiler with the rest of the source code and then compiled. The output of these t ...
. These ideas are articulated in his book '' Modern C++ Design'' and were first implemented in his programming library, Loki. He also implemented the " move constructors" concept in his MOJO library. He contributed to the '' C/C++ Users Journal'' under the
byline The byline (or by-line in British English) on a newspaper or magazine article gives the name of the writer of the article. Bylines are commonly placed between the headline and the text of the article, although some magazines (notably ''Reader's ...
"Generic". Alexandrescu worked as a research scientist at
Facebook Facebook is an online social media and social networking service owned by American company Meta Platforms. Founded in 2004 by Mark Zuckerberg with fellow Harvard College students and roommates Eduardo Saverin, Andrew McCollum, Dustin Mosk ...
, before departing the company in August 2015 in order to focus on developing the D programming language. He became an American citizen in August 2014.


Education and career

Alexandrescu received a
B.S. A Bachelor of Science (BS, BSc, SB, or ScB; from the Latin ') is a bachelor's degree awarded for programs that generally last three to five years. The first university to admit a student to the degree of Bachelor of Science was the University ...
degree in Electrical Engineering from Polytechnic University of Bucharest (''Universitatea Politehnica din București'') in July 1994. His first article was published in the '' C/C++ Users Journal'' in September 1998. He was a program manager for Netzip, Inc. from April 1999 until February 2000. When the company was acquired by RealNetworks, Inc., he served there as a development manager from February 2000 through September 2001. Alexandrescu earned an M.S. (2003) and a PhD (2009) in
computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includi ...
from the
University of Washington The University of Washington (UW, simply Washington, or informally U-Dub) is a public research university in Seattle, Washington. Founded in 1861, Washington is one of the oldest universities on the West Coast; it was established in Seattl ...
. More recently, he has been assisting
Walter Bright Walter G. Bright is an American computer programmer who created the D programming language, the Zortech C++ compiler, and the ''Empire'' computer game. Early life and education Bright is the son of the United States Air Force pilot Charles D. ...
in the development of the
D programming language D, also known as dlang, is a multi-paradigm system programming language created by Walter Bright at Digital Mars and released in 2001. Andrei Alexandrescu joined the design and development effort in 2007. Though it originated as a re-engineer ...
. Alexandrescu released a book titled ''The D Programming Language'' in May 2010. From 2010 to 2014, Alexandrescu, Herb Sutter, and
Scott Meyers Scott Douglas Meyers (born April 9, 1959) is an American author and software consultant, specializing in the C++ computer programming language. He is known for his ''Effective C++'' book series. During his career, he was a frequent speaker at co ...
ran a small annual technical conference called ''C++ and Beyond''.


Contributions


Expected

Expected is a
template Template may refer to: Tools * Die (manufacturing), used to cut or shape material * Mold, in a molding process * Stencil, a pattern or overlay used in graphic arts (drawing, painting, etc.) and sewing to replicate letters, shapes or designs ...
class for
C++ C++ (pronounced "C plus plus") is a high-level general-purpose programming language created by Danish computer scientist Bjarne Stroustrup as an extension of the C programming language, or "C with Classes". The language has expanded significan ...
which is on the C++ Standards track. Alexandrescu proposes Expected as a class for use as a return value which contains either a T or the exception preventing its creation, which is an improvement over use of either return codes or exceptions exclusively. Expected can be thought of as a restriction of sum (union) types or algebraic datatypes in various languages, e.g., Hope, or the more recent
Haskell Haskell () is a general-purpose, statically-typed, purely functional programming language with type inference and lazy evaluation. Designed for teaching, research and industrial applications, Haskell has pioneered a number of programming lan ...
and Gallina; or of the error handling mechanism of Google's Go, or th
Result
type in
Rust Rust is an iron oxide, a usually reddish-brown oxide formed by the reaction of iron and oxygen in the catalytic presence of water or air moisture. Rust consists of hydrous iron(III) oxides (Fe2O3·nH2O) and iron(III) oxide-hydroxide (FeO( ...
. He explains the benefits of Expected as: * Associates errors with computational goals * Naturally allows multiple exceptions in flight * Switch between "error handling" and "exception throwing" styles * Teleportation possible across thread boundaries, across nothrow subsystem boundaries and across time (save now, throw later) * Collect, group, combine exceptions


Example

For example, instead of any of the following common function prototypes: int parseInt(const string&); // Returns 0 on error and sets errno. or int parseInt(const string&); // Throws invalid_input or overflow he proposes the following: Expected parseInt(const string&); // Returns an expected int: either an int or an exception


Scope guard

From 2000 onwards, Alexandrescu has advocated and popularized the scope guard idiom. He has introduced it as a language construct in D. It has been implemented by others in many other languages.


Bibliography

* * *


References


External links


Alexandrescu's homepage
– Contains links to downloadable Loki libraries for various
compiler In computing, a compiler is a computer program that translates computer code written in one programming language (the ''source'' language) into another language (the ''target'' language). The name "compiler" is primarily used for programs tha ...
s. *
Interviu MONEY.ro: Facebook face angajări în România
', 1 March 2010 {{DEFAULTSORT:Alexandrescu, Andrei Romanian computer scientists C++ people Politehnica University of Bucharest alumni University of Washington alumni Living people Scientists from Bucharest Facebook employees 1969 births Romanian emigrants to the United States Programming language designers