Langage K
| Image manquante Langage_progr.png image:Langage_progr.png |
| Cet article fait partie de la série Langages de programmation |
| Langages à objets |
| Ada 95 - C++ - C# Common Lisp Delphi - Eiffel - Java Nice - Oz - Python Simula - Smalltalk Visual Basic |
| Langages impératifs |
| APL - ASP - Assembleur BASIC - C - COBOL Forth - FORTRAN - Logo Pascal - Perl - PHP |
| Langages fonctionnels |
| Erlang - Haskell ML/OCaml - Oz Lisp/Common Lisp Scheme |
| Langages déclaratifs |
| Clips - Oz - Prolog |
| Langages concurrents |
| Ada 95 - Erlang Java - Oz |
| Langages balisés |
| HTML - SGML - XML Dialectes XML S-expressions |
| Voir aussi |
| Conception - Codage Tests - Optimisations |
Le langage K est un langage d'abstraction des concepts de l'informatique, un langage de formalisation des structures de données et un langage d'approche mathématique et théorique de la programmation.
Langage d'enseignement, il permet d'aller au delà des distinctions de tout type (langage de programmation, déclaration de type, mots-clés par sa syntaxe extrèmement pauvre.
Un programme K se divise par fonctions définies récursivement.
Elles sont constituées de cas : des conditions suivies d'un rendu de résultat
exemple : maximum d'un tableau
Initialisation MAXIMUM(T, i, n, max)= MAXIMUM(T, 2, |T|, T[1])
Differents cas i <= n ^ T[i] > max => MAXIMUM(T, i, n, max) = MAXIMUM(T, i + 1, n, T[i])
i <= n ^ T[i] <= max => MAXIMUM(T, i, n, max) = MAXIMUM(T, i + 1, n, max)
i > n => MAXIMUM(T, i, n, max) = max
Fin
Des interpreteurs existent :
- K Teach Algorithmics (Algorithmique d'apprentissage par K.), developpé par une équipe de maîtrise d'informatique (reprenant le projet Kinterpreter)
- EKzecuteur, un projet en Scheme très primitif
Ce langage étant de vocation pédagogique, il n'existe pas de notation stricte de langage. Néanmoins, une norme a été définie à l'adresse http://libe4.free.fr/langk/.
Ce langage ne permet d'effectuer que des modifications sur des nombres, des listes ou des tableaux, son intérêt est de voir la trace des algorithmes écrits.
| Image manquante Symbole-ordinateur.png | Portail Informatique - Accédez d'un seul coup d’œil à toute la série des articles de Wikipédia concernant l'informatique. |