kc3-lang/kc3/doc/1_KC3/1.17_Ident.en.md

• Show log

  Commit

• Hash : 5f3d6d5f
  Author : Jeremy JEANNE
  Date : 2025-03-31T13:51:13
  

  fix title of examples
  

Download

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

Source

• doc/1_KC3/1.17_Ident.en.md

• # 1.17 Ident
  
  The KC3 `Ident` type is an identifier. An identifier evaluates to its
  bound value in the current environnement, that is in local and global
  frames and then in the triple store.
  
  ## 1.17.1 Examples
  
  To get an `Ident` you can use quote :
  
  ```elixir
  ikc3> quote List.reverse
  List.reverse
  ikc3> type(quote List.reverse)
  Ident
  ```

Download