Objet de première classe

En informatique, un objet de première classe (ou valeur de première classe, ou entité de première classe) dans le contexte d'un langage de programmation particulier est une entité qui peut être utilisée sans restriction. Selon le langage, cela peut impliquer :

• être expressible comme une valeur anonyme littérale ;
• être affecté à des variables ou des structures de données ;
• avoir une identité intrinsèque ;
• être comparable pour l'égalité ou l'identité avec d'autres entités ;
• pouvoir être passé comme paramètre à une procédure ou une fonction ;
• pouvoir être retourné par une procédure ou une fonction ;
• pouvoir être constructible lors de l'exécution.