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.
Ring systemA ring system is a disc or ring, orbiting an astronomical object, that is composed of solid material such as dust and moonlets, and is a common component of satellite systems around giant planets like Saturn. A ring system around a planet is also known as a planetary ring system. The most prominent and most famous planetary rings in the Solar System are those around Saturn, but the other three giant planets (Jupiter, Uranus, and Neptune) also have ring systems.
Anneaux de Jupiterthumb|right|400px|Schéma du système d'anneaux de Jupiter montrant les quatre éléments principaux Les anneaux de Jupiter (ou système d'anneaux jovien) sont un ensemble d'anneaux planétaires orbitant autour de la planète Jupiter. Le système est découvert en 1979 par la sonde spatiale Voyager 1. Il est le troisième système d'anneaux à avoir été découvert après ceux de Saturne et ceux d'Uranus. Le système d'anneaux jovien est ténu et principalement composé de poussière cosmique.
Anneaux de Saturnethumb|Les anneaux de Saturne. Les anneaux de Saturne sont les anneaux planétaires les plus importants du Système solaire, situés autour de la géante gazeuse Saturne. Bien qu'ils semblent continus vus depuis la Terre, ils sont en fait constitués d'innombrables morceaux de glace (95 à 99 % de glace d'eau pure selon les analyses spectroscopiques) et de poussière dont la taille varie de quelques micromètres à quelques centaines de mètres ; ils ont chacun une orbite différente.
Monade (informatique)En théorie des langages fonctionnels typés, une monade est un patron de conception qui combine des éléments de langages fonctionnels avec des méthodologies propres aux langages impératifs. En pratique, les valeurs retournées par des portions de programme (qui peuvent être vus comme des fonctions) sont englobées en un type pour être enchaînées ultérieurement en d'autres calculs. Il s'agit alors d'avoir une représentation simulant exactement des notions telles que les exceptions ou les effets de bords, tout en conservant la logique propre à la programmation fonctionnelle.
