Category:Hope: Difference between revisions
Content added Content deleted
(Created page with '{{language|Hope |strength=strong |safety=safe |compat=structural |checking=static |gc=yes |LCT=yes |bnf=http://www.soi.city.ac.uk/~ross/Hope/}}{{codepad}} {{language programming …') |
(Need to put an entry in the LCT before you can add a link here, links) |
||
| Line 5: | Line 5: | ||
|checking=static |
|checking=static |
||
|gc=yes |
|gc=yes |
||
|LCT=yes |
|||
|bnf=http://www.soi.city.ac.uk/~ross/Hope/}}{{codepad}} |
|bnf=http://www.soi.city.ac.uk/~ross/Hope/}}{{codepad}} |
||
{{language programming paradigm|functional}} |
{{language programming paradigm|functional}} |
||
'''Hope''' is a purely [[functional programming]] language from 1970s, which predates Miranda and Haskell. It is the first language with call-by-pattern evaluation and algebraic data types, and its most used interpreter is fully [[lazy evaluation|lazy evaluated]]. |
'''Hope''' is a purely [[functional programming]] language from 1970s, which predates Miranda and [[Haskell]]. It is the first language with call-by-pattern evaluation and algebraic data types, and its most used interpreter is fully [[lazy evaluation|lazy evaluated]]. |
||
==Citations== |
==Citations== |
||
Revision as of 14:50, 19 February 2010
This programming language may be used to instruct a computer to perform a task.
| Garbage collected: | Yes |
|---|---|
| Type safety: | Safe |
| Type strength: | Strong |
| Type compatibility: | Structural |
| Type checking: | Static |
| See Also: |
Hope is a purely functional programming language from 1970s, which predates Miranda and Haskell. It is the first language with call-by-pattern evaluation and algebraic data types, and its most used interpreter is fully lazy evaluated.
Citations
Subcategories
This category has the following 3 subcategories, out of 3 total.
@
- Hope examples needing attention (empty)
- Hope Implementations (empty)
- Hope User (1 P)
Pages in category "Hope"
The following 5 pages are in this category, out of 5 total.