Avis des lecteurs
Résumé:Les critiques de ce livre sur le langage ML standard mettent en évidence des perspectives contrastées : certains lecteurs apprécient son approche précise et mathématiquement rigoureuse des définitions de langage, tandis que d'autres la trouvent trop cryptique et inaccessible, en particulier pour les débutants.
Avantages:Ce livre fournit une définition succincte, précise et mathématiquement exacte du langage ML standard, ce qui le rend idéal pour l'implémentation et le raisonnement sur la correction. Il sert de leçon sur la manière dont les définitions de langage devraient être élaborées.
Inconvénients:L'écriture est considérée comme impénétrable et trop complexe, suggérant qu'elle est plus adaptée à ceux qui ont des connaissances avancées, tels que les docteurs en mathématiques. On craint que la difficulté ne limite son accessibilité aux débutants et ne nuise à la popularité du langage.
(basé sur 3 avis de lecteurs)
Titre original :
Definition of Standard ML
Contenu du livre :
Le ML standard est un langage de programmation à usage général conçu pour les grands projets. Ce livre fournit une définition formelle du ML standard pour le bénéfice de tous ceux qui sont concernés par le langage, y compris les utilisateurs et les implémenteurs.
Les programmes informatiques devant de plus en plus résister à une analyse rigoureuse, il est d'autant plus important que le langage dans lequel ils sont écrits soit défini avec toute la rigueur voulue. L'un des objectifs d'une définition de langage est d'établir une théorie des significations sur laquelle la compréhension de programmes particuliers peut s'appuyer. Pour définir correctement un langage de programmation, il est nécessaire d'utiliser une forme de notation autre qu'un langage de programmation.
Dans un souci de rigueur, la notation mathématique est un choix évident. Les auteurs ont défini leurs objets sémantiques dans une notation mathématique totalement indépendante du ML standard. En définissant un langage, il faut aussi définir précisément les règles d'évaluation, c'est-à-dire définir le sens qui résulte de l'évaluation de toute phrase du langage.
La définition constitue donc une spécification formelle pour une implémentation. Les auteurs ont suffisamment développé leur théorie pour donner un sens à leurs règles d'évaluation. La Définition de la ML standard est le point de référence essentiel de la ML standard.
Depuis sa publication en 1990, la technologie d'implémentation du langage a énormément progressé et le nombre d'utilisateurs a augmenté. L'édition révisée comprend un certain nombre de nouvelles fonctionnalités, omet des fonctionnalités peu utilisées et corrige des erreurs de définition.
Autres informations sur le livre :
| ISBN : | 9780262631815 |
| Auteur : | |
| Éditeur : | |
| Langue : | anglais |
| Reliure : | Broché |
| Année de publication : | 1997 |
| Nombre de pages : | 132 |
Achat:
Actuellement disponible, en stock.
