Category:Programming Languages: Difference between revisions

m
In order to hopefully mitigate confusion between this list and the category page for a programming language called "Programming Language", a disambiguation notice between the two pages have been created.
No edit summary
m (In order to hopefully mitigate confusion between this list and the category page for a programming language called "Programming Language", a disambiguation notice between the two pages have been created.)
 
(2 intermediate revisions by 2 users not shown)
Line 1:
[[Category:Languages]]
[[Category:Languages]][[Category:Static Category Cache]][[Category:Encyclopedia]]A programming language is a symbolic representation of a specification for computer behavior.
[[Category:Static Category Cache]]
[[Category:Encyclopedia]]
''For the programming language, see [[:Category:Programming Language]].''
 
[[Category:Languages]][[Category:Static Category Cache]][[Category:Encyclopedia]]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 [[Language Comparison Table|here]].
Line 6 ⟶ 11:
If you know a language not listed here then [[Rosetta Code:Village Pump/Suggest a language|suggest]] or [[Rosetta Code:Add a Language|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 }
 
;Note:
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 .
}
 
'''Note:''' Because this category is used for automated administration, it should contain only categories that represent individual languages, not groups of languages. <br><br>
**> 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>
441

edits