Category:Programming Languages: Difference between revisions

From Rosetta Code
Content added Content deleted
No edit summary
No edit summary
Line 7: Line 7:


'''Note:''' Because this category is used for automated administration, it should contain only categories that represent individual languages, not groups of languages.
'''Note:''' Because this category is used for automated administration, it should contain only categories that represent individual languages, not groups of languages.



Here is a sample sorting program.
<lang CafeOB>
mod! SORTING-NAT {
pr(NAT)
[Nat < Strg ]
-- Simple list structure
op nil : -> Strg
op _._ : Strg Strg -> Strg { assoc id: nil }

vars N N' : Nat
-- A very short sorting program using transitions in POA logic, which is a type of rewrite logic
ctrans [swap] : (N . N') => (N' . N) if N' <= N .
}

**> Sorting natural numbers using exec command
open SORTING-NAT
exec (3 . 2 . 1) .
**> Sorting natural numbers using search command
**> we can use (show path N) with this command, where N is the nuber of possible states.
red (3 . 2 . 1) =(1,1)=>* (1 . 2 . 3) .
red (3 . 2 . 1) =(1,2)=>* (1 . 2 . 3) .
red (3 . 2 . 1) =(1,3)=>* (1 . 2 . 3) .
**> search for any number of solutions at any depth
red (3 . 2 . 1) =(*,*)=>* (1 . 2 . 3) .
**> print the transitions from initial to goal state
show path 5
eof
</lang>

Revision as of 11:11, 13 October 2013

A programming language is a symbolic representation of a specification for computer behavior.

A side-by-side comparison of many of the languages on Rosetta Code can be seen here.

These are the programming languages that are mentioned throughout Rosetta Code. If you know a language not listed here then suggest or add it.

Note: Because this category is used for automated administration, it should contain only categories that represent individual languages, not groups of languages.

Subcategories

This category has the following 200 subcategories, out of 939 total.

(previous page) (next page)

.

0

1

  • 11l(1 C, 1,016 P)
  • 1C(2 P)

3

4

6

8

A

B

C

D

(previous page) (next page)

Pages in category "Programming Languages"

The following 3 pages are in this category, out of 3 total.