Category:Miranda
This programming language may be used to instruct a computer to perform a task.
| Official website |
|---|
| Type safety: | Safe |
|---|---|
| Type strength: | Strong |
| Type compatibility: | Structural |
| Type checking: | Static |
| See Also: |
|
Miranda is a lazy, purely functional programming language designed in the 1980s by David Turner. It was the first functional programming language to have commercial support, and to be designed with real-world use in mind, rather than purely for academic purposes. Unfortunately, its proprietary nature ended up hampering its adoption. It had a large influence on Haskell, which was created in part to be a non-commercial alternative to Miranda.
There is still some ongoing development. The compiler was open-sourced under the BSD license in 2020. The newest version has 64-bit support and has been updated to compile on modern compilers.
Resources
Pages in category "Miranda"
The following 56 pages are in this category, out of 56 total.
H
P
S
- Sequence of non-squares
- Sequence: smallest number with exactly n divisors
- Show ASCII table
- Smith numbers
- Sorting algorithms/Insertion sort
- Sorting algorithms/Merge sort
- Sorting algorithms/Quicksort
- Square but not cube
- Steady squares
- Stern-Brocot sequence
- Sum digits of an integer
- Sum of the digits of n is substring of n
- Symmetric difference