Strict programming language

A strict programming language is a programming language that only allows strict functions (functions whose parameters must be evaluated completely before they may be called) to be defined by the user. A non-strict programming language allows the user to define non-strict functions, and hence may allow lazy evaluation. In most non-strict languages, the non-strictness extends to data constructors.

Description

A strict programming language is a programming language which employs a strict programming paradigm, allowing only strict functions (functions whose parameters must be evaluated completely before they may be called) to be defined by the user. A non-strict programming language allows the user to define non-strict functions, and hence may allow lazy evaluation.[1]

Non-strictness has several disadvantages which have prevented widespread adoption:[citation needed]

  • Because of the uncertainty regarding if and when expressions will be evaluated, non-strict languages generally must be purely functional to be useful.
  • All hardware architectures in common use are optimized for strict languages, so the best compilers for non-strict languages produce slower code than the best compilers for strict languages.
  • Space complexity of non-strict programs is difficult to understand and predict.
  • In many strict languages, some advantages of non-strict functions can be obtained through the use of macros or thunks.

Strict programming languages are often associated with eager evaluation, and non-strict languages with lazy evaluation, but other evaluation strategies are possible in each case.[citation needed] The terms "eager programming language" and "lazy programming language" are often used as synonyms for "strict programming language" and "non-strict programming language" respectively.[citation needed]

Examples

Nearly all programming languages in common use today are strict.[citation needed] Examples include C#, Java, Perl (all versions, i.e., through versions 5 and 7), Python,[2] Ruby, Common Lisp, and ML. Some strict programming languages include features that mimic laziness.[clarification needed] Raku (formerly named Perl 6) has lazy lists,[3] Python has generating functions,[4] and Julia provides a macro system to build non-strict functions,[5] as does Scheme.

Examples for non-strict languages are Haskell, R, Miranda, and Clean.[6]

Extension

In most non-strict languages, the non-strictness extends to data constructors. This allows conceptually infinite data structures (such as the list of all prime numbers) to be manipulated in the same way as ordinary finite data structures. It also allows for the use of very large but finite data structures such as the complete game tree of chess.

Citations

  1. ^ Scott 2006, p. 541.
  2. ^ Lott, Steven (2015). Functional Python Programming. Birmingham, UK: Packt Publishing. p. 35. ISBN 978-1-78439-699-2. Python focuses on strict evaluation
  3. ^ "Raku Programming/Lazy Lists and Feeds - Wikibooks, open books for an open world". en.wikibooks.org. Retrieved 2021-02-09.
  4. ^ Lott, Steven (2015). Functional Python Programming. Birmingham, UK: Packt Publishing. p. 35. ISBN 978-1-78439-699-2. a generator function is non-strict. [...] we can leverage generator functions to create lazy evaluation.
  5. ^ Innes, Mike J. (2021-02-06), MikeInnes/Lazy.jl, retrieved 2021-02-09
  6. ^ Cluet & Hull 1998, pp. 25–26.

References

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.

  1. 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:
  2. 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.
  3. 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.
  4. 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.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.