Expression-oriented programming language
The topic of this article may not meet Wikipedia's general notability guideline. (July 2022) |
An expression-oriented programming language is a programming language in which every (or nearly every) construction is an expression and thus yields a value.[1] The typical exceptions are macro definitions, preprocessor commands, and declarations, which expression-oriented languages often treat as statements.
Lisp[2] and ALGOL 68 are expression-oriented languages. Pascal is not an expression-oriented language.
All functional programming languages are expression-oriented.
Criticism and prevention
This article or section possibly contains original synthesis. Source material should verifiably mention and relate to the main topic. (July 2022) |
Critics, including language designers,[3][failed verification] blame expression-orientation for an entire class of programming mistakes wherein a programmer accidentally codes an assignment expression, which replaces a variable with an expression rather than testing it for equality with that expression.
Some languages such as Ada and Java prevent this type of mistake by restricting control expressions to those that evaluate strictly to the boolean data type.[4][5]
Some languages such as Python implement assignment as a statement rather than an expression, thus prohibiting assignment from nesting inside any other statement or expression.[6] (Until version 3.8 added 'assignment expressions', with a different syntax.[7])
In some expression-oriented languages, expressions that merely cause side effects return void types.
Examples
This article needs more citations. (July 2022) |
This section needs expansion. You can help by adding missing information. (February 2018) |
- ALGOL 68
- BLISS
- Icon
- Lisp[2]
- ML
- Perl
- Rebol
- Ruby
- Elixir
- Erlang
- Haskell
- Rust[8]
- Scala
- Smalltalk
- Kotlin
- OCaml[9]
See also
References
- ^ "Glossary - The Rust Programming Language". web.mit.edu. Retrieved 2022-07-06.
- ^ a b Syme, Don (2020-06-14). "The early history of F#". Proceedings of the ACM on Programming Languages. 4 (HOPL): 1–58. doi:10.1145/3386325. ISSN 2475-1421.
- ^ Java Code Conventions "10.4 Variable Assignments"
- ^ The Java Language Specification, Java SE 8 Edition "14.9 The if Statement"
- ^ Introducing Ada
- ^ The Python Language Reference "6.2. Assignment statements"
- ^ "PEP 572: Assignment Expressions"
- ^ "Functions - The Rust Programming Language". web.mit.edu. Retrieved 2022-07-06.
- ^ "COS 326: Functional Programming". www.cs.princeton.edu. Retrieved 2022-07-06.
Content Disclaimer
Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.
- The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
- There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
- It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
- Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
- Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.