1.1 Introduction

KC3 est actuellement un projet de langage de programmation inspiré du C, d'Elixir et de Common Lisp. Il pourrait être décrit comme du C avec des modules Elixir, du filtrage par motifs et un système d'objets sémantiques. L'idée est d'intégrer des modules, des fermetures, du filtrage par motifs, une base de données de graphes et de la métaprogrammation dans C99 avec un nombre extrêmement réduit de dépendances.

Systèmes d'exploitation pris en charge (dépendances supplémentaires) :

• BSD
• Linux (libbsd, libmd)
• MacOS X (libmd)
• Windows (MSys2)

Architectures prises en charge :

• aarch64 (arm64, Apple M1, Apple M2)
• amd64
• i386
• sparc64

1.1.1 Modules

Dans KC3, tout est contenu dans un module. Un module est un espace de noms et son nom est un symbole commençant par une majuscule. Par exemple, Sym et Str sont des noms de module valides.

Utilisez defmodule pour définir un module.

Exemple :

defmodule Test do
def one = 1
def double = fn (x) { x * 2 }
def add = cfn Tag "tag_add" (Tag, Tag, Result)
end

Chaque module peut définir un type, et un nom de module peut également être un nom de type si le module correspondant définit un type.

Utilisez defstruct pour définir un type de structure dans un module. La structure portera le même nom que le module.

Exemple :

ikc3> defmodule Test do
ikc3>   defstruct [x: (F32) 0.0,
ikc3>              y: (F32) 0.0]
ikc3> end
ikc3> a = %Test{}
%Test{x: (F32) 0.0,
      y: (F32) 0.0}
ikc3> a.x
(F32) 0.0
ikc3> a.y
(F32) 0.0

Le module peut également inclure des définitions de constantes ou de fonctions pour opérer sur le type de module ou d’autres types.

Le module par défaut est KC3, défini comme des faits (triplets) dans lib/kc3/0.1/kc3.facts.

1.1.2 Types de données

Les types de données de base dans KC3 sont :

• Chaînes : Str, par exemple "Bonjour tout le monde !"
• Symboles : Sym, par exemple :hello ou Hello
• Booléens : Booléen, vrai ou faux
• Nombres
• Entiers
• Petits entiers
• Petits entiers signés : S8, S16, S32, S64, Sw
• Petits entiers non signés : U8, U16, U32, U64, Uw
• Grands entiers : Entier
• Nombres rationnels (fractions d'entiers) : Rapport, par exemple -2/3
• Nombres à virgule flottante : F32, F64, F128
• Nombres complexes (i = √(-1)) : Complexe, par exemple 1 + i 2
• Listes : Liste, par exemple [1, 2, 3]
• Tuples : Tuple, par exemple {:ok, 123}
• Applications : Application, par exemple %{id: 1, login: "dx"}
• Structures : p. ex. %GL.Sphere{}
• Code entre guillemets : Guillemet, p. ex. guillemet 1 + 2
• Identifiants : Ident, p. ex. guillemet List.map
• Appel de fonction ou d'opérateur : Appel, p. ex. guillemet sqrt(1), guillemet 1 + 2
• Blocs de code : Bloc, p. ex. { 1 + 2; 3 + 4 }
• Fonction : Fn, p. ex. fn (x) { x * 2 }
• Fonction C : Cfn, p. ex. cfn Balise "tag_add" (Balise, Balise, Résultat)
• Code sans guillemets : Supprimer les guillemets, p. ex. guillemet 1 + supprimer les guillemets(x)
• Variables : Var, p. ex. ?
• Void : Void, p. ex. void

---# 1.1 Introduction

KC3 est actuellement un projet de langage de programmation inspiré du C, d'Elixir et de Common Lisp. Il pourrait être décrit comme du C avec des modules Elixir, du filtrage par motifs et un système d'objets sémantiques. L'idée est d'intégrer des modules, des fermetures, du filtrage par motifs, une base de données de graphes et de la métaprogrammation dans C99 avec un nombre extrêmement réduit de dépendances.

Systèmes d'exploitation pris en charge (dépendances supplémentaires) :

• BSD
• Linux (libbsd, libmd)
• MacOS X (libmd)
• Windows (MSys2)

Architectures prises en charge :

• aarch64 (arm64, Apple M1, Apple M2)
• amd64
• i386
• sparc64

1.1.1 Modules

Dans KC3, tout est contenu dans un module. Un module est un espace de noms et son nom est un symbole commençant par une majuscule. Par exemple, Sym et Str sont des noms de module valides.

Utilisez defmodule pour définir un module. ##Exemple :

defmodule Test do
def one = 1
def double = fn (x) { x * 2 }
def add = cfn Tag "tag_add" (Tag, Tag, Result)
end

Chaque module peut définir un type, et un nom de module peut également être un nom de type si le module correspondant définit un type.

Utilisez defstruct pour définir un type de structure dans un module. La structure portera le même nom que le module.

Exemple :

ikc3> defmodule Test do
ikc3>   defstruct [x: (F32) 0.0,
ikc3>              y: (F32) 0.0]
ikc3> end
ikc3> a = %Test{}
%Test{x: (F32) 0.0,
      y: (F32) 0.0}
ikc3> a.x
(F32) 0.0
ikc3> a.y
(F32) 0.0

Le module peut également inclure des définitions de constantes ou de fonctions pour opérer sur le type de module ou d’autres types.

Le module par défaut est KC3, défini comme des faits (triplets) dans lib/kc3/0.1/kc3.facts.

1.1.2 Types de données

Les types de données de base dans KC3 sont :

• Chaînes : Str, par exemple "Bonjour tout le monde !"
• Symboles : Sym, par exemple :hello ou Hello
• Booléens : Booléen, vrai ou faux
• Nombres
• Entiers
• Petits entiers
• Petits entiers signés : S8, S16, S32, S64, Sw
• Petits entiers non signés : U8, U16, U32, U64, Uw
• Grands entiers : Entier
• Nombres rationnels (fractions d'entiers) : Rapport, par exemple -2/3
• Nombres à virgule flottante : F32, F64, F128
• Nombres complexes (i = √(-1)) : Complexe, par exemple 1 + i 2
• Listes : Liste, par exemple [1, 2, 3]
• Tuples : Tuple, par exemple {:ok, 123}
• Applications : Application, par exemple %{id: 1, login: "dx"}
• Structures : p. ex. %GL.Sphere{}
• Code entre guillemets : Guillemet, p. ex. guillemet 1 + 2
• Identifiants : Ident, p. ex. guillemet List.map
• Appel de fonction ou d'opérateur : Appel, p. ex. guillemet sqrt(1), guillemet 1 + 2
• Blocs de code : Bloc, p. ex. { 1 + 2; 3 + 4 }
• Fonction : Fn, p. ex. fn (x) { x * 2 }
• Fonction C : Cfn, p. ex. cfn Balise "tag_add" (Balise, Balise, Résultat)
• Code sans guillemets : Supprimer les guillemets, p. ex. guillemet 1 + supprimer les guillemets(x)
• Variables : Var, p. ex. ?
• Void : Void, p. ex. void

Top : KC3 documentation

Previous : 1 KC3

Next : 1.02 Array