kc3-lang/kc3/doc/1_KC3/1.13_Ident.fr.md

• Show log

  Commit

• Hash : 1801295b
  Author : Thomas de Grivel
  Date : 2025-05-19T13:47:55
  

  translate and reword a bit using ChatGPT
  

Download

ikc3> quote List.reverse
List.reverse
ikc3> type(quote List.reverse)
Ident

ikc3> [one, two, three | rest] = List.count(5)
[1, 2, 3, 4, 5]
ikc3> type(quote one)
Ident
ikc3> one
1
ikc3> two
2
ikc3> three
3
ikc3> rest
[4, 5]

ikc3> def one = 1
1
ikc3> def two = one + one
2
ikc3> two
2

Source

• doc/1_KC3/1.13_Ident.fr.md

• # 1.13 Ident
  
  Le type KC3 `Ident` désigne un identifiant. Un identifiant s’évalue
  selon la valeur qui lui est liée dans l’environnement courant :
  d’abord dans les cadres (_frames_) locaux, puis globaux, et enfin
  dans le graphe de faits (la base de données de l'environnement).
  
  ## 1.13.1 Exemples
  
  Pour obtenir un `Ident`, vous pouvez utiliser une citation (`quote`) :
  
  ```elixir
  ikc3> quote List.reverse
  List.reverse
  ikc3> type(quote List.reverse)
  Ident
  ```
  
  Pour lier une valeur à un identifiant, vous pouvez utiliser le `pattern
  matching` :
  
  ```elixir
  ikc3> [one, two, three | rest] = List.count(5)
  [1, 2, 3, 4, 5]
  ikc3> type(quote one)
  Ident
  ikc3> one
  1
  ikc3> two
  2
  ikc3> three
  3
  ikc3> rest
  [4, 5]
  ```
  
  Vous pouvez aussi utiliser `KC3.def` pour stocker une valeur dans la
  base de faits (_graph database_) :
  
  ```elixir
  ikc3> def one = 1
  1
  ikc3> def two = one + one
  2
  ikc3> two
  2
  ```
  
  ---
  
  Top : [Documentation KC3](../)
  
  Précédent : [1.12 F128](1.12_F128)
  
  Suivant : [1.14 Entier](1.14_Integer)
  

Download