kc3-lang/kc3/doc/3_Guides/3.4_Structure.fr.md

• Show log

  Commit

• Hash : dcf1901d
  Author : Thomas de Grivel
  Date : 2025-05-18T15:50:10
  

  translated doc guides to French
  

Download

$ make test
$ ikc3/ikc3

ikc3> 1 + 1
2
ikc3> 2 + 2
4
ikc3> 3 + 3
6
ikc3> 1 +
ikc3> 1
2
ikc3> double = fn (x) { x * 2 }
fn (x) { x * 2 }
ikc3> double
fn (x) { x * 2 }
ikc3> double(1)
2
ikc3> double(2)
4
ikc3> double(3)
6
ikc3> double(4)
8
ikc3> List.map([1, 2, 3, 4], double)
[2, 4, 6, 8]
ikc3> List.reverse(List.map([1, 2, 3, 4], double))
[8, 6, 4, 2]

  def reverse = fn {
    (x) { reverse(x, ()) }
    ([], acc) { acc }
    ([a | b], acc) { reverse(b, [a | acc]) }
  }

  def reverse = fn {
    (x) { reverse(x, ()) }
    ([], acc) { [:reversed | acc] }
    ([a | b], acc) { reverse(b, [a | acc]) }
  }

ikc3> List.reverse(List.map([1, 2, 3, 4], double))
[:reversed, 8, 6, 4, 2]

Source

• doc/3_Guides/3.4_Structure.fr.md

• ## Guide de la structure de KC3
  
  ### libkc3
  
  KC3 est implémenté via `libkc3`, une petite bibliothèque C99 qui contient
  le cœur du langage.
  
  La bibliothèque comprend un analyseur syntaxique (parser) et un
  interpréteur pour le code KC3 sous forme de structures C.
  
  Le support des grands entiers est assuré par
  [libtommath](https://github.com/libtom/libtommath).
  
  Le support des appels de fonctions C est fourni par
  [libffi](https://github.com/libffi/libffi).
  
  Les modules sont enregistrés sous forme de bases de faits.
  
  
  #### Analyseur syntaxique (Parser)
  
  L’analyseur est de type "descente récursive".
  
  #### AST
  
  L’AST (arbre de syntaxe abstraite) est représenté sous forme de
  structures de données KC3 et peut être manipulé en méta-programmation
  en C.
  
  #### Interpréteur
  
  Veuillez consulter les fonctions suivantes dans `libkc3/env.c` :
   - `env_eval_tag` : évalue un tag (n’importe quel type KC3)
   - `env_eval_block` : évalue un bloc (`do ... end`)
   - `env_eval_call` : évalue un appel de fonction (`Cfn`, `Fn`)
   - `env_eval_call_fn_args` : évalue un appel de fonction KC3 (`Fn`)
  
  ### ikc3
  
  Shell interactif. Les entrées/sorties terminal sont assurées par
  [linenoise](https://github.com/antirez/linenoise/tree/1.0).
  
  Exemple :
  
  ```sh
  $ make test
  $ ikc3/ikc3
  ```
  
  ```elixir
  ikc3> 1 + 1
  2
  ikc3> 2 + 2
  4
  ikc3> 3 + 3
  6
  ikc3> 1 +
  ikc3> 1
  2
  ikc3> double = fn (x) { x * 2 }
  fn (x) { x * 2 }
  ikc3> double
  fn (x) { x * 2 }
  ikc3> double(1)
  2
  ikc3> double(2)
  4
  ikc3> double(3)
  6
  ikc3> double(4)
  8
  ikc3> List.map([1, 2, 3, 4], double)
  [2, 4, 6, 8]
  ikc3> List.reverse(List.map([1, 2, 3, 4], double))
  [8, 6, 4, 2]
  ```
  
  ### Chemin des bibliothèques
  
  Les fonctions `List.map` et `List.reverse` sont définies dans
  `lib/kc3/0.1/list.kc3` et peuvent être modifiées à la volée.
  
  Par exemple, sans quitter `ikc3`, redéfinissez `List.reverse` :
  ouvrez un éditeur et remplacez cette ligne dans `lib/kc3/0.1/list.kc3` :
  
  ```elixir
    def reverse = fn {
      (x) { reverse(x, ()) }
      ([], acc) { acc }
      ([a | b], acc) { reverse(b, [a | acc]) }
    }
  ```
  
  par :
  
  ```elixir
    def reverse = fn {
      (x) { reverse(x, ()) }
      ([], acc) { [:reversed | acc] }
      ([a | b], acc) { reverse(b, [a | acc]) }
    }
  ```
  
  Puis vérifiez le résultat dans `ikc3` (touche flèche haut pour réexécuter) :
  
  ```elixir
  ikc3> List.reverse(List.map([1, 2, 3, 4], double))
  [:reversed, 8, 6, 4, 2]
  ```
  
  N'oubliez pas de rétablir les modifications dans `list.kc3`.
  
  ---
  
  ### kc3s
  
  Interpréteur de scripts. Fonctionne comme `ikc3`, mais sans mode interactif  
  et sans affichage des résultats.
  
  ---
  
  ### HTTPd
  
  Le démon HTTP peut être lancé avec `make test_httpd`.
  
  Il est défini dans `httpd/httpd.c` et `lib/kc3/0.1/httpd.kc3`.
  
  Il agit à la fois comme serveur de fichiers statiques (Web 1.0),
  et comme framework MVC chargeant des fichiers KC3 depuis `./app`.
  
  Le routeur est défini dans `./conf/router.kc3`.
  
  ---
  
  Top : [Guides KC3](./)
  
  Précédent : [Guide d'utilisation](3.3_Usage)
  
  Suivant : [Tutoriel KC3](3.5_Tutorial)
  

Download