IdentifiantMot de passe
Loading...
Mot de passe oublié ?Je m'inscris ! (gratuit)

Vous êtes nouveau sur Developpez.com ? Créez votre compte ou connectez-vous afin de pouvoir participer !

Vous devez avoir un compte Developpez.com et être connecté pour pouvoir participer aux discussions.

Vous n'avez pas encore de compte Developpez.com ? Créez-en un en quelques instants, c'est entièrement gratuit !

Si vous disposez déjà d'un compte et qu'il est bien activé, connectez-vous à l'aide du formulaire ci-dessous.

Identifiez-vous
Identifiant
Mot de passe
Mot de passe oublié ?
Créer un compte

L'inscription est gratuite et ne vous prendra que quelques instants !

Je m'inscris !

La première version bêta de Go 1.18 est disponible avec les génériques
Et un support intégré pour l'écriture de tests basés sur le fuzzing

Le , par Bill Fassinou

28PARTAGES

5  0 
L'équipe Go de Google a publié mardi la première version préliminaire de Go 1.18 avec le support des génériques. Il s'agit de la première version contenant le nouveau support de Go pour le code générique qui utilise des types paramétrés. Et selon l'équipe, les génériques sont le changement le plus important apporté à Go depuis la sortie de Go 1, et certainement le plus grand changement de langage qu'elle ait jamais fait. Go 1.18 Beta 1 ajoute également un support intégré pour l'écriture de tests basés sur le fuzzing, afin de trouver automatiquement les entrées qui font planter votre programme ou qui renvoient des réponses invalides.

Prise en charge de la programmation générique par Go

Comme annoncé il y a environ un mois, l'équipe Go a commencé à tester le support des génériques dans Go 1.18 Beta 1, publié mardi. Cette fonctionnalité était très attendue par les utilisateurs du langage. En effet, sans la prise en charge de la programmation générique, les bibliothèques et les applications fonctionnelles de Go sont forcées de suivre l'une des deux voies suivantes : sécurité du type + spécificité du cas d'utilisation ou non-sécurité du type + agnostic du cas d'utilisation. Maintenant, l'introduction des génériques dans le langage permettra de nouvelles sortes de solutions de programmation fonctionnelle en Go.



Rappelons que la généricité (ou programmation générique) consiste à définir des algorithmes identiques opérant sur des données de types différents. On définit de cette façon des procédures ou des types entiers génériques. On pourrait ainsi programmer une pile, ou une procédure qui prend l'élément supérieur de la pile, indépendamment du type de données contenues. Le type de données réel n'est indiqué que lors de l'appel de la fonction. Il est également possible de définir une structure de données qui stocke des valeurs de n'importe quel type, le type réel à stocker n'étant indiqué que lors de la création d'une instance de la structure de données.

C'est donc une forme de polymorphisme, le « polymorphisme de type » dit aussi « paramétrage de type » : en effet, le type de donnée général (abstrait) apparaît comme un paramètre des algorithmes définis, avec la particularité que ce paramètre-là est un type. C'est un concept important pour un langage de haut niveau, car celui-ci permet d'écrire des algorithmes généraux opérant sur toute une série de types : la généricité augmente donc le niveau d'abstraction des programmes écrits dans un langage qui possède cette fonctionnalité. Divers mécanismes ont été conçus pour permettre la programmation générique dans Go 1.18.

Toutefois, l'équipe demande de la prudence lors du test de ce nouveau mode de fonctionnement, car les génériques ne faisaient pas partie du langage de programmation jusqu'à présent. Un guide devrait aider les développeurs à faire leurs premiers pas. De plus, une vidéo (ci-dessous) de la GopherCon de la semaine dernière présente cette nouveauté.

Autres nouveautés importantes dans Go 1.18 Beta 1

Go 1.18 Beta 1 apporte également le support pour l'écriture de tests basés sur le fuzzing. Cela devrait permettre de détecter plus facilement les entrées automatiques qui font planter les programmes ou qui renvoient des réponses non valides. En outre, l'équipe de développement introduit un nouveau mode d'espace de travail Go qui devrait permettre aux développeurs de travailler avec plusieurs modules Go en même temps, ce qui semble être particulièrement important pour les grands projets.

Une autre nouveauté est la commande go version -m, qui devrait à l'avenir enregistrer les détails de la construction, comme les indicateurs de compilation. Ainsi, un programme peut demander ses propres informations de construction avec debug.ReadBuildInfo, mais aussi les lire à partir d'autres fichiers binaires avec le nouveau paquet debug/buildinfo. Selon l'équipe, ce nouveau fonctionnement est destiné à servir de base à tout outil qui doit créer une facture logicielle (SBOM) pour les fichiers binaires Go.

En outre, plus tôt cette année, Go 1.17 a ajouté une nouvelle convention d'appel basée sur les registres pour accélérer le code Go sur les systèmes x86-64. Go 1.18 Beta 1 étend cette fonctionnalité aux systèmes ARM64 et PPC64, ce qui permet d'accélérer le code jusqu'à 20 %. Les autres changements plus visibles dans Go 1.18 Beta 1 sont :

  • la syntaxe des déclarations de fonctions et de types accepte désormais les paramètres de type ;
  • les fonctions et les types paramétrés peuvent être instanciés en les faisant suivre d'une liste d'arguments de type entre crochets ;
  • le nouveau jeton ~ a été ajouté à l'ensemble des opérateurs ;
  • la syntaxe des types Interface permet maintenant d'intégrer des types arbitraires (pas seulement les noms de type des interfaces) ainsi que des éléments de type union et ~T. Ces interfaces ne peuvent être utilisées que comme contraintes de type. Une interface définit désormais un ensemble de types ainsi qu'un ensemble de méthodes ;
  • le nouvel identifiant prédéclaré any est un alias pour l'interface vide. Il peut être utilisé à la place de interface{} ;
  • le nouvel identifiant prédéclaré comparable est une interface qui désigne l'ensemble de tous les types qui peuvent être comparés à l'aide de == ou !=. Il ne peut être utilisé que comme (ou intégré dans) une contrainte de type.


En sus, l'équipe note que l'implémentation actuelle des génériques présente les limitations suivantes :

  • le compilateur Go ne peut actuellement pas gérer les déclarations de type à l'intérieur des fonctions ou méthodes génériques. L'équipe espère fournir un support pour cette fonctionnalité dans Go 1.19 ;
  • l'incorporation d'un paramètre de type, ou d'un pointeur vers un paramètre de type, en tant que champ non nommé dans un type struct n'est pas autorisée. De même, l'intégration d'un paramètre de type dans un type interface n'est pas autorisée. Il n'est pas clair pour l'instant si cela sera un jour autorisé.


Correction de bogues

Le compilateur signale maintenant correctement les erreurs déclarées, mais non utilisées pour les variables qui sont définies à l'intérieur d'un littéral de fonction, et qui ne sont jamais utilisées. Avant Go 1.18, le compilateur ne signalait pas d'erreur dans de tels cas. Ceci corrige le problème du compilateur qui existait depuis longtemps. À la suite de ce changement, des programmes (éventuellement incorrects) peuvent ne plus compiler. Selon l'équipe, la correction nécessaire est simple : « corrigez le programme s'il était en fait incorrect, ou utiliser la variable incriminée, par exemple en l'assignant à l'identifiant vide _ ».

Comme go vet a toujours signalé cette erreur, le nombre de programmes affectés est probablement très faible. Par ailleurs, le compilateur signale désormais un dépassement de capacité lors du passage d'une expression constante rune telle que '1' << 32 comme argument aux fonctions prédéclarées print et println, ce qui est cohérent avec le comportement des fonctions définies par l'utilisateur. Avant Go 1.18, le compilateur ne signalait pas d'erreur dans de tels cas, mais acceptait silencieusement de tels arguments constants s'ils rentraient dans un int64.

En conséquence de ce changement, les programmes (éventuellement incorrects) peuvent ne plus compiler. La correction nécessaire est simple : « corrigez le programme s'il était en fait incorrect, ou convertir explicitement l'argument incriminé au type correct ». Comme go vet a toujours signalé cette erreur, le nombre de programmes affectés est probablement très faible.

Source : Go 1.18 Beta 1, Notes de version de Go 1.18 Beta 1

Et vous ?

Quel est votre avis sur le sujet ?
Que pensez-vous de l'ajout des génériques à Go ?
En quoi cela améliorera-t-il la productivité des développeurs Go ?

Voir aussi

Go 1.18, le langage de programmation open source développé par Google, arrive avec la généricité par défaut, elle ouvrira de nouvelles solutions, d'approches et de paradigmes

Go 1.17 est disponible et s'accompagne de la prise en charge de l'architecture ARM 64 bits sous Windows, cette version maintient la promesse de compatibilité avec Go 1

Go 1.17 Bêta apporte la prise en charge de l'architecture ARM 64 bits sous Windows, le langage devrait être en disponibilité générale en août 2021

Langage de programmation Go : combien de professionnels l'utilisent ? Où sont-ils ? Quelles sont les perspectives d'avenir du langage ? JetBrains fait un état des lieux de son écosystème

Une erreur dans cette actualité ? Signalez-le nous !

Avatar de Gugelhupf
Modérateur https://www.developpez.com
Le 16/12/2021 à 11:10
Très bonne nouvelle pour les développeurs Go. Go avait pour objectif d'être simple mais les generics représentent un impératif, sans les generics on se retrouve à dupliquer du code avec des types différents ou bien caster avec interface{} comme on le ferait en C avec void*

Prochaine étape pour Google: Ajouter un concept de pointeur intelligent pour éviter d'avoir un garbage collector
1  0 
Avatar de defZero
Membre extrêmement actif https://www.developpez.com
Le 16/12/2021 à 23:51
Quel est votre avis sur le sujet ?

Quand je vois des projets de langages comme Nim, Crystal, Zig ou Odin qui n'ont pas le milliardième des ressources d'un Google et qui sont encore pour la plus part en stage pré-Alpha faire déjà mieux, je me demande juste ce que les mecs font chez Google avec Dart et Go.
Du temps à tuer ?

Go est sympa quand on le compare à du Python / NodeJS, mais je doit avouer que pour un langage soi-disant "système" c'est triste.
Et c'est encore pire quand je regarde dans le retro et que je vois Pascal / Delphi, je me dit que les mecs on tendance à réinventer la roue en moins rond.

Enfin, c'est toujours mieux que des langages de script de partout pour le moindre projet .

Que pensez-vous de l'ajout des génériques à Go ?

Moins de code à taper, donc moins de bug à corriger, c'est bon mangez-en.

En quoi cela améliorera-t-il la productivité des développeurs Go ?

Moins de bug, donc plus de temps pour de nouvelles fonctionnalités, c'est toujours bon reprenez-en.
1  0 
Avatar de Yehushua
Candidat au Club https://www.developpez.com
Le 03/01/2022 à 4:58
les generics c'est le mal.
Ok une fois que l'on a dit cela on a pas dit grand chose et pourtant tout est dit.

Les generics en Go sont "générés" à la compilation ( les interfaces sont des mécanismes au Runtime)
Voyez les generics comme des Macros en C

Cela a très peu de "use-cases" en général on les utilise dans des collections où la manipulation des éléments ne dépend pas complètement des éléments.
Nous avons donc que trois solutions

1) Soit on écrit du code en double, en triple ... pour gérer ton les types souhaités

2) Soit on rajoute une couche supplémentaire Pointer/interface et on manipule que des adresses.

3) Soit le langage nous donne la possibilité de manipuler les éléments typés directement sans vraiment connaître leur type (avec dans GO la possibilité de contrainte exemple je manipule des nombres [T int| int32 | int64 | float32 | float64])
Là où cela devient mal et même très mal c'est la violence faite à la syntaxe pour en fait très peu de Use Case
Code : Sélectionner tout
1
2
3
func Add[T int  | int32 | int64 | float32 | float64] (a T, b T) T {
  return a+b
}
Oui cela pique les yeux ! Allez passons
Ce qu'il faut bien comprendre c'est que la fonction Add N'EXISTE PAS !!!
le compilateur va générer zéro ligne de code
Et donc vous ne pouvez pas passer cette fonction en paramètres (genre des trucs utiles comme de la Dependency Injection) car Il n'y a pas de Add

si plus tard vous utilisez Add(1,2) ou Add[int](1,2) <<< Go à la compilation va créer
Code : Sélectionner tout
Add(a int, b int) int
et si vous utilisez assi Add[floa664](1.2, 3.4) : Go va créer une deuxième fonction
Code : Sélectionner tout
Add(a float64, b float64) float
Et oui une deuxième Mais dit donc ! On se retrouve avec la solution numéro 1 mais écrit par une Marco

Bon mon conseil : apprenez bien comment utiliser les generics pour ne pas les utiliser
Et si vous êtes face à un cas vraiment tordu et que les generics sont la seul issue alors... envoyez moi le use case cela m’intéresse

Une dernière chose, avec la Beta 1 de 1.18 il y a plein de bug avec les generics mais il y a eu trop de communication autour et les équipes de Go.dev iront au bout Dommage.
Golang reste un langage merveilleux
0  0