Purely functional data structureIn computer science, a purely functional data structure is a data structure that can be directly implemented in a purely functional language. The main difference between an arbitrary data structure and a purely functional one is that the latter is (strongly) immutable. This restriction ensures the data structure possesses the advantages of immutable objects: (full) persistency, quick copy of objects, and thread safety. Efficient purely functional data structures may require the use of lazy evaluation and memoization.
Programmation purement fonctionnelleEn informatique, la programmation purement fonctionnelle est un paradigme de programmation qui considère toutes les opérations comme l'évaluation de fonctions mathématiques. L'état et les objets immuables sont généralement modélisés à l'aide d'une logique temporelle, en tant que variables explicites représentant l'état du programme à chaque étape de son exécution : l'état d'une variable est transmis en tant que paramètre d'entrée d'une fonction de transformation d'état, qui renvoie l'état mis à jour en tant que partie de sa valeur de retour.
Programmation fonctionnelleLa programmation fonctionnelle est un paradigme de programmation de type déclaratif qui considère le calcul en tant qu'évaluation de fonctions mathématiques. Comme le changement d'état et la mutation des données ne peuvent pas être représentés par des évaluations de fonctions la programmation fonctionnelle ne les admet pas, au contraire elle met en avant l'application des fonctions, contrairement au modèle de programmation impérative qui met en avant les changements d'état.
Structure de données persistanteEn informatique, une structure de données persistante est une structure de données qui préserve ses versions antérieures lorsqu'elle est modifiée ; une telle structure est immuable, car ses opérations ne la modifient pas en place (de manière visible) mais renvoient au contraire de nouvelles structures. Une structure est partiellement persistante si seule sa version la plus récente peut être modifiée, les autres n'étant accessibles qu'en lecture. La structure est dite totalement persistante si chacune de ses versions peut être lue ou modifiée.
Nitrure de siliciumLe nitrure de silicium est un composé chimique de formule . On le connaît à l'état naturel (un minéral nommé nierite) depuis 1995, sous la forme de petites inclusions dans certaines météorites. Il s'agit d'une céramique blanche plutôt légère ( selon la compacité du matériau), très dure (8,5 sur l'échelle de Mohs), relativement inerte chimiquement (attaquée par l'acide fluorhydrique HF dilué et l'acide sulfurique à chaud), et demeurant stable thermiquement jusqu'à .
Nitrure de boreLe nitrure de bore est un composé chimique de formule BN. C'est une céramique réfractaire ultradure et semiconductrice. Il est isoélectronique avec le carbone et, comme ce dernier, existe sous plusieurs polymorphes, les plus courants étant le nitrure de bore hexagonal, noté h-BN, analogue au graphite, et le nitrure de bore cubique, noté c-BN, analogue au diamant. Le premier est utilisé comme lubrifiant ainsi que dans certains produits cosmétiques, tandis que le second, qui présente une structure cristalline de type sphalérite, est un peu moins dur que le diamant mais avec une meilleure stabilité chimique et thermique .
