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 !

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

Le , par Bruno

63PARTAGES

5  0 
Depuis la sortie de Go en 2009, la prise en charge des génériques est l'une des fonctionnalités du langage les plus demandées. Le langage de programmation open source, développé par Google, qui facilite le développement de logiciels simples, fiables et efficaces est utilisé aussi bien pour développer des applications que pour écrire des scripts pour de grands systèmes. La prise en charge des génériques, tant attendue, sera disponible dans la version 1.18 de Go.

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. Avec la sortie prochaine de la version 1.18 de Go, début 2022, les génériques devraient être ajoutés au langage, ce qui permettra de nouvelles sortes de solutions de programmation fonctionnelle en Go.


S'il vise aussi la rapidité d'exécution, indispensable à la programmation système, Go considère le multithreading comme le moyen le plus robuste d'assurer sur les processeurs actuels, cette rapidité tout en rendant la maintenance facile par séparation de tâches simples exécutées indépendamment. Cette conception permet également le fonctionnement sans réécriture sur des architectures multicœurs en exploitant immédiatement l'augmentation de puissance correspondante.

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.

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 il 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.

L'absence de génériques en Go était le principal point de critique de la communauté des développeurs. Il a fallu plusieurs années entre la phase de conception et l'implémentation effective qui débarquera en Go 1.18. Go est un langage typé, ce qui signifie que chaque variable et valeur du programme a un type spécifique, comme int ou string. Lorsque nous écrivons des fonctions, nous devons spécifier le type de leurs paramètres dans ce que l'on appelle la signature de la fonction, comme ceci :

Code : Sélectionner tout
func PrintString(s string) {}
Ici, le paramètre s est de type string. Nous pouvons imaginer écrire des versions similaires de cette fonction qui prennent un int, un float, un type struct arbitraire, et ainsi de suite. Mais cela ne serait pas pratique pour plus d'une poignée de types spécifiques, et bien que nous puissions parfois utiliser des interfaces pour résoudre ce problème, cette approche a de nombreuses limites.

Avec l'ajout des génériques, les bibliothèques de programmation fonctionnelle n'ont plus besoin de faire des compromis entre l'utilité et la sécurité des types. Dans l'écosystème Go, il existe déjà de nombreuses bibliothèques de programmation fonctionnelle qui varient en popularité, en fonctionnalités et en ergonomie. En raison de l'omission des génériques, elles ont toutes dû faire l'un des deux choix de conception suivants :

type safe + use- case specific

Les bibliothèques qui ont choisi cette approche ont implémenté un design qui est type safe mais seulement capable de gérer certains types prédéfinis. Sans la possibilité d'utiliser des types ou des structures personnalisés, la variété des problèmes auxquels ces bibliothèques peuvent être appliquées est limitée. Par exemple,

Code : Sélectionner tout
func UniqString(data []string) []string
et

Code : Sélectionner tout
func UniqInt(data []int) []int
sont toutes deux sûres mais ne fonctionnent que sur les types prédéfinis.

type unsafe + use-case agnostic

Les bibliothèques qui ont choisi cette approche ont mis en œuvre une conception qui n'est pas sûre en termes de type mais qui peut être appliquée à n'importe quel cas d'utilisation. Ces bibliothèques fonctionnent avec des types et des structures personnalisés, mais avec la contrepartie que les assertions de type doivent être utilisées, ce qui expose l'application au risque d'une panique d'exécution si elle n'est pas correctement mise en œuvre. Par exemple, une fonction unique générique pourrait avoir cette signature :

Code : Sélectionner tout
func Uniq(data interface{}) interface{}
Ces deux choix de conception présentent deux options tout aussi peu attrayantes : utilité limitée ou risque de panique à l'exécution. L'option la plus simple et peut-être la plus courante est de ne pas utiliser de bibliothèque de programmation fonctionnelle avec Go et de s'en tenir à un style impératif.

Go et la programmation générique

Les génériques peuvent donner des blocs de construction puissants qui permettent de partager du code et de construire des programmes plus facilement. La programmation générique consiste à écrire des fonctions et des structures de données où certains types sont laissés à spécifier ultérieurement. Avec les génériques, il est possible d’écrire une fonction qui opère sur une tranche d'un type de données arbitraire, où le type de données réel n'est spécifié que lorsque la fonction est appelée. 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 étant spécifié lorsque qu’une instance de la structure de données est créée.

Bien que les génériques aient des cas d'utilisation clairs, les intégrer proprement dans un langage comme Go est une tâche difficile. L'une des premières tentatives (imparfaite) d'ajouter des génériques à Go remonte à 2010. Il y en a eu plusieurs autres au cours de la dernière décennie. L'équipe de développement de go a publié un Playground de go 1.18 où chacun peut essayer d'exécuter go avec des génériques. Il existe également un compilateur expérimental qui implémente un ensemble minimal de fonctionnalités disponibles sur une branche du dépôt go. Ces deux options sont idéales pour jouer avec les génériques dans Go 1.18. Voici, ci-dessous, un cas d'utilisation.

La fonction unique a été décrite avec les deux approches de conception possibles. Avec les génériques, elle pourrait être modifiée en

Code : Sélectionner tout
func Uniq[T](data []T) []T
et appelé avec n'importe quel type tel que

Code : Sélectionner tout
1
2
3
Uniq[string any](data []string) []string
// or 
Uniq[MyStruct any](data []MyStruct) []MyStruct
L'ajout des génériques à Go ouvrira de nouvelles sortes de solutions, d'approches et de paradigmes, dont un meilleur support de la programmation fonctionnelle. Avec la popularité croissante de la programmation fonctionnelle, un meilleur support de la programmation fonctionnelle et les possibilités qui en découlent ont le potentiel d'attirer des développeurs qui n'auraient pas envisagé d'apprendre Go et d'élargir la communauté.

Source : Goland

Et vous ?

Quel avenir selon vous pour la communauté et l'écosystème Go avec l'ajout des génériques et les nouvelles solutions qu'ils permettent ?

Quel est intérêt a-t-on à passer à une approche fonctionnelle si on a besoin d'écrire presque la même quantité de code ?

Voir aussi :

GoLand 2021.3 EAP est disponible. L'EDI Go de JetBrains apporte la prise en charge native des projets Go dans WSL 2, ainsi que de la correction rapide du type d'exportation

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 cleve21
Candidat au Club https://www.developpez.com
Le 19/11/2021 à 3:56
Dans ma boite on utilise Go pour quasiment tous les nouveaux projets depuis quelques années déjà.

Essentiellement pour faire des microservices ou des backends d'applications web, avec un framework JS pour le front et une communication via API HTTP / Websocket entre les deux.

Je trouve Go très agréable à utiliser, c'est propre, c'est performant.

Un des points négatifs selon moi est l'absence de bibliothèque mature pour faire des applications graphiques desktop.
Fyne est prometteur mais encore un peu jeune.
1  0 
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 fabrice_du_doubs
Futur Membre du Club https://www.developpez.com
Le 18/11/2021 à 11:34
Qui utilise Go actuellement en France et sur quels types de projets ?
0  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 
Avatar de dolanor
Membre habitué https://www.developpez.com
Le 16/02/2022 à 16:54
Citation Envoyé par fabrice_du_doubs Voir le message
Qui utilise Go actuellement en France et sur quels types de projets ?
Beaucoup de startups qui on réussi a trouver leur marché et qui commence à avoir des problèmes de passage à l'échelle quand leurs services commencent à prendre trop de requêtes sur leur système et que leur stack actuelle ne leur permet pas de gérer (soit trop cher à maintenir/évoluer, soit langage limitant, etc).
IoT, néobanque, blockchain, hail riding (uber/etc), réseau social, …
En général, ces boîtes transforment les parties qui ne suivent pas en microservices Go qu'ils intègrent au sein de leur archi actuelle, sans avoir à tout casser. Ce n'est pas simple, mais ça se fait.
0  0