Category:Programming Languages: Difference between revisions

From Rosetta Code
Content added Content deleted
(Undo revision 131627 by Meerkat (talk) Just.....no)
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:10, 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.


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>

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.

F

M

T

Retrieved from "https://rosettacode.org/wiki/Category:Programming_Languages?oldid=2851"