Résumé
Racket est un langage de programmation de la famille Lisp. Il fait partie du projet Racket (autrefois PLT Scheme), qui regroupe plusieurs variantes du langage Scheme ainsi qu'une série d'outils pour les utiliser. L'un de ses objectifs est de servir de plate-forme pour la création, la conception et l'implémentation. Initialement, DrScheme a été conçu comme un environnement de développement à but pédagogique, pour servir de support au cours d'introduction à l'informatique de l'université Rice. D'abord basé sur le langage Scheme RRS, l'environnement implémente aujourd'hui le langage Racket, un dérivé de Scheme multi-paradigme. Le langage est utilisé tant que langage de script, programmation à usage général et dans de nombreux domaines comme l'enseignement en informatique et la recherche. La plateforme fournit une implémentation du langage Racket (y compris un environnement d’exécution avancé, des bibliothèques variées, un compilateur à la volée) ainsi qu'un environnement de développement nommé Dr Racket (anciennement DrScheme) écrit en Racket. Le cœur du langage est connu pour son système de macros avancé qui permet de créer des langages dédiés, des constructions du langage permettant de créer des classes et des modules et de nombreux dialectes du langage avec leur propre sémantique. La distribution de la plateforme est de type Free/Libre Open Source Software et est distribué sous la Licence Publique Générale Limitée GNU également appelé GNU LGPL. Les extensions et packages créés par la communauté sont téléchargeables via le catalogue de packages centralisé de Racket. Matthias Felleisen a fondé PLT au milieu des années 1990, d'abord en tant que groupe de recherche, puis en tant que projet destiné à la production de matériel pédagogique pour les programmeurs débutants (conférences, exercices / projets, logiciels). En , le groupe a décidé de développer un environnement de programmation pédagogique basé sur Scheme. Matthew Flatt a bricolé MrEd, la machine virtuelle originale de Racket, issu de libscheme, wxWidgets, et de quelques autres systèmes libres.
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Cours associés (11)
MICRO-401: Machine learning programming
This is a practice-based course, where students program algorithms in machine learning and evaluate the performance of the algorithm thoroughly using real-world dataset.
CS-119(d): Information, Computation, Communication
L'objectif de ce cours est d'introduire les étudiants à la pensée algorithmique, de les familiariser avec les fondamentaux de l'Informatique et de développer une première compétence en programmation (
ME-474: Numerical flow simulation
This course provides practical experience in the numerical simulation of fluid flows. Numerical methods are presented in the framework of the finite volume method. A simple solver is developed with Ma
Afficher plus
Séances de cours associées (35)
Méthodes multi-étapes
Couvre les méthodes multi-étapes pour résoudre les équations différentielles, en se concentrant sur les conditions de stabilité et des exemples.
Spécification et vérification d'un client léger Blockchain
Couvre la conception, la mise en œuvre et la vérification formelle des systèmes distribués, en se concentrant sur les systèmes et organisations distribués vérifiables.
Dispositifs semi-conducteurs II: Modélisation de la résistance au contact
Explore la modélisation de la résistance au contact dans les dispositifs semi-conducteurs, en mettant l'accent sur le calcul de la tension de la porte et l'analyse des défauts.
Afficher plus
Publications associées (45)