F SharpF# est un langage de programmation fonctionnel, impératif et orienté objet pour la plate-forme .NET. F# est développé par Microsoft Research et son noyau est dérivé du langage OCaml, avec lequel il est fortement compatible. Ces deux langages de programmation font partie de la même famille que les langages ML. Ce langage a été conçu spécifiquement pour la plate-forme .NET, donc fortement orienté-objet. Depuis novembre 2010, Microsoft a mis à la disposition de tous les bibliothèques core et son compilateur F#, sous la licence Apache 2.
Armature (technique)thumb|Une cage d'armature fabriquée à partir de barres d'acier. Elle sera mise en place dans le coffrage avant le coulage du béton pour augmenter la résistance à la traction du béton. right|thumb|Construction du mur de l'Atlantique en 1943. Une barre d'armature, ou fer à béton, est une barre d'acier utilisée pour le renforcement du béton (béton armé) ou de la maçonnerie (pierre armée). Elle est composée d'acier faiblement carboné, et possède une surface nervurée pour améliorer son adhérence avec le béton.
Lambda-calculLe lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application. On y manipule des expressions appelées λ-expressions, où la lettre grecque λ est utilisée pour lier une variable. Par exemple, si M est une λ-expression, λx.M est aussi une λ-expression et représente la fonction qui à x associe M. Le λ-calcul a été le premier formalisme pour définir et caractériser les fonctions récursives : il a donc une grande importance dans la théorie de la calculabilité, à l'égal des machines de Turing et du modèle de Herbrand-Gödel.
