Category:Pure: Difference between revisions
Content added Content deleted
m (Not on Codepad) |
(The Pure Language has moved to BitBucket.) |
||
| Line 1: | Line 1: | ||
{{language|Pure |
{{language|Pure |
||
|site=http:// |
|site=http://purelang.bitbucket.org/ |
||
|compat=structural |
|compat=structural |
||
|checking=dynamic |
|checking=dynamic |
||
| Line 7: | Line 7: | ||
|LCT=yes}}{{language programming paradigm|Dynamic}}{{language programming paradigm|Functional}} |
|LCT=yes}}{{language programming paradigm|Dynamic}}{{language programming paradigm|Functional}} |
||
From the official [http:// |
From the official [http://puredocs.bitbucket.org/pure.html Pure manual]: "Pure is a modern-style functional programming language based on term rewriting. Pure programs are basically collections of equational rules used to evaluate expressions in a symbolic fashion by reducing them to normal form." |
||
The Pure interpreter uses LLVM to JIT-compile code; in addition, Pure programs can be compiled with LLVM to machine code as well. |
The Pure interpreter uses LLVM to JIT-compile code; in addition, Pure programs can be compiled with LLVM to machine code as well. |
||
Revision as of 22:28, 31 January 2014
This programming language may be used to instruct a computer to perform a task.
| Official website |
|---|
| Garbage collected: | Yes |
|---|---|
| Type strength: | Strong |
| Type compatibility: | Structural |
| Type checking: | Dynamic |
| See Also: |
From the official Pure manual: "Pure is a modern-style functional programming language based on term rewriting. Pure programs are basically collections of equational rules used to evaluate expressions in a symbolic fashion by reducing them to normal form."
The Pure interpreter uses LLVM to JIT-compile code; in addition, Pure programs can be compiled with LLVM to machine code as well.
See Also
Subcategories
This category has the following 3 subcategories, out of 3 total.
@
- Pure examples needing attention (empty)
- Pure Implementations (empty)
- Pure User (3 P)
Pages in category "Pure"
The following 18 pages are in this category, out of 18 total.