Référence des mots clés (F#)
Cette rubrique contient des liens vers des informations sur l'ensemble des mots clés du langage F#.
Tableau des mots clés du langage F#
Le tableau suivant répertorie tous les mots clés du langage F# par ordre alphabétique, offre de brèves descriptions de ces éléments, et fournit des liens vers des rubriques connexes contenant plus d'informations.
Mot clé |
Lien |
Description |
|---|---|---|
abstract |
Indique une méthode qui n'a aucune implémentation dans le type dans lequel elle est déclarée ou qui est virtuelle sans implémentation par défaut. |
|
and |
Utilisé dans les liaisons mutuellement récursives, dans les déclarations de propriété et avec plusieurs contraintes sur des paramètres génériques. |
|
as |
Utilisé pour donner un nom d'objet à l'objet de classe actuel. Permet également de donner un nom à un modèle entier dans un critère spécial. |
|
assert |
Utilisé pour vérifier le code au cours du débogage. |
|
base |
Utilisé comme nom de l'objet de classe de base. |
|
begin |
Indique le début d'un bloc de code dans la syntaxe détaillée. |
|
class |
Indique le début d'une définition de classe dans la syntaxe détaillée. |
|
default |
Indique une implémentation d'une méthode abstraite. Utilisé avec une déclaration de méthode abstraite pour créer une méthode virtuelle. |
|
delegate |
Permet de déclarer un délégué. |
|
do |
Boucles : expression for...to (F#) |
Utilisé dans les constructions en boucle ou pour exécuter du code impératif. |
done |
Indique la fin d'un bloc de code d'une expression en boucle dans la syntaxe détaillée. |
|
downcast |
Utilisé pour la conversion en un type de niveau inférieur dans la chaîne d'héritage. |
|
downto |
Utilisé pour compter dans l'ordre inverse dans une expression for. |
|
elif |
Utilisé dans le branchement conditionnel. Forme abrégée d'else if. |
|
else |
Utilisé dans le branchement conditionnel. |
|
end |
Indique la fin d'une section de définitions de membre dans les définitions et les extensions de type. Utilisé pour spécifier la fin d'un bloc de code qui commence par le mot clé begin dans la syntaxe détaillée. |
|
exception |
Utilisé pour déclarer un type d'exception. |
|
extern |
Indique qu'un élément de programme déclaré est défini dans un autre binaire ou assembly. |
|
false |
Utilisé comme littéral booléen. |
|
finally |
Utilisé avec try pour introduire un bloc de code qui s'exécute qu'une exception se produise ou non. |
|
for |
Utilisé dans les constructions en boucle. |
|
fun |
Utilisé dans les expressions lambda, aussi appelées fonctions anonymes. |
|
function |
Utilisé en guise d'alternative plus courte au mot clé fun et à une expression match dans une expression lambda possédant des critères spéciaux sur un argument unique. |
|
global |
Utilisé pour faire référence à l'espace de noms .NET de niveau supérieur. |
|
if |
Utilisé dans les constructions de branchement conditionnel. |
|
in |
Utilisé pour les expressions de séquence et, dans la syntaxe détaillée, pour séparer les expressions des liaisons. |
|
inherit |
Utilisé pour spécifier une classe de base ou une interface de base. |
|
inline |
Utilisé pour indiquer une fonction qui doit être directement intégrée dans le code de l'appelant. |
|
interface |
Utilisé pour déclarer et implémenter des interfaces. |
|
internal |
Utilisé pour spécifier qu'un membre est visible à l'intérieur d'un assembly, mais pas à l'extérieur de celui-ci. |
|
lazy |
Utilisé pour spécifier un calcul qui doit être exécuté uniquement lorsqu'un résultat est exigé. |
|
let |
Utilisé pour associer, ou lier, un nom à une valeur ou une fonction. |
|
match |
Utilisé pour créer une branche en comparant une valeur à un modèle. |
|
member |
Utilisé pour déclarer une propriété ou une méthode dans un type d'objet. |
|
module |
Utilisé pour associer un nom à un groupe de types, valeurs et fonctions connexes, afin de le séparer logiquement d'autres segments de code. |
|
mutable |
Utilisé pour déclarer une variable, c'est-à-dire une valeur pouvant être modifiée. |
|
namespace |
Utilisé pour associer un nom à un groupe de types et de modules connexes, afin de le séparer logiquement d'autres segments de code. |
|
new |
Utilisé pour déclarer, définir ou appeler un constructeur qui crée ou qui peut créer un objet. Également utilisé dans les contraintes de paramètre générique pour indiquer qu'un type doit avoir un certain constructeur. |
|
not |
Il ne s'agit pas vraiment d'un mot clé. Toutefois, dans le cadre d'une combinaison, not struct est utilisé comme une contrainte de paramètre générique. |
|
null |
Indique l'absence d'un objet. Également utilisé dans les contraintes de paramètre générique. |
|
of |
Utilisé dans les unions discriminées pour indiquer le type de catégories de valeurs, et dans les déclarations de délégué et d'exception. |
|
open |
Utilisé pour rendre le contenu d'un espace de noms ou d'un module disponible sans qualification. |
|
or |
Utilisé avec des conditions booléennes en tant qu'opérateur or booléen. Équivalent à ||. Également utilisé dans les contraintes de membre. |
|
override |
Utilisé pour implémenter une version d'une méthode abstraite ou virtuelle qui diffère de la version de base. |
|
private |
Restreint l'accès à un membre au code dans le même type ou module. |
|
public |
Autorise l'accès à un membre en dehors du type. |
|
rec |
Utilisé pour indiquer qu'une fonction est récursive. |
|
return |
Utilisé pour indiquer une valeur à fournir comme résultat d'une expression de calcul. |
|
static |
Utilisé pour indiquer une méthode ou une propriété pouvant être appelée sans instance d'un type, ou un membre de valeur partagé entre toutes les instances d'un type. |
|
struct |
Utilisé pour déclarer un type de structure. Également utilisé dans les contraintes de paramètre générique. Utilisé à des fins de compatibilité avec OCaml dans les définitions de module. |
|
then |
Utilisé dans les expressions conditionnelles. Permet également d'exécuter des effets secondaires après la construction d'un objet. |
|
to |
Utilisé dans les boucles for pour indiquer une plage. |
|
true |
Utilisé comme littéral booléen. |
|
try |
Utilisé pour introduire un bloc de code pouvant générer une exception. Utilisé avec with ou finally. |
|
type |
Utilisé pour déclarer une classe, un enregistrement, une structure, une union discriminée, un type énumération, une unité de mesure ou une abréviation de type. |
|
upcast |
Utilisé pour la conversion en un type de niveau supérieur dans la chaîne d'héritage. |
|
use |
Utilisé à la place de let pour les valeurs qui nécessitent l'appel de Dispose pour libérer des ressources. |
|
val |
Utilisé dans une signature pour indiquer une valeur, ou dans un type pour déclarer un membre, dans des situations limitées. |
|
void |
Indique le type void .NET. Utilisé lors de l'interaction avec d'autres langages .NET. |
|
when |
Utilisé pour les conditions booléennes (gardes when) sur des critères spéciaux et pour introduire une clause de contrainte pour un paramètre de type générique. |
|
while |
Introduit une construction en boucle. |
|
with |
Utilisé avec le mot clé match dans les expressions de critères spéciaux. Également utilisé dans les expressions d'objet, les expressions de copie d'enregistrement et les extensions de type pour introduire des définitions de membre et des gestionnaires d'exceptions. |
|
yield |
Utilisé dans une expression de séquence pour produire une valeur pour une séquence. |
Par ailleurs, les jetons suivants sont réservés en F#, car ils correspondent à des mots clés dans le langage OCaml :
asr |
land |
lor |
lsl |
lsr |
lxor |
mod |
sig |
Si vous utilisez l'option de compilateur --mlcompatibility, ces mots clés sont disponibles en tant qu'identificateurs.
Les jetons suivants sont réservés en tant que mots clés dans le cadre de la future expansion du langage F# :
atomic |
break |
checked |
component |
const |
constraint |
constructor |
continue |
eager |
event |
external |
fixed |
functor |
include |
method |
mixin |
object |
parallel |
process |
protected |
pure |
sealed |
tailcall |
trait |
virtual |
volatile |
Voir aussi
Référence
Référence des symboles et opérateurs (F#)