Oui oui je connais bien Erlang et ses applications. Aucun doute sur le fait qu'il a fait ses preuves au niveau industriel dans des applis critiques. C'est un très bon langage. La gestion des threads me laisse froid mais le mécanisme de gestion des erreurs et la reconfiguration dynamique sont réellement intéressants.
Mais par contre, l'argument d'Ericsson selon lequel il y a peu d'erreurs liées au typage me fait bien rire.
Les programmeurs habitués à des systèmes de types évolués (comme celui d'OCaml) savent bien qu'un programme refusé à cause d'une erreur de type est généralement (ce n'est pas une loi mathématique mais une constatation) incorrect sur le plan conceptuel. Autrement dit, une erreur dans un programme Erlang, comme dans tout langage, serait une erreur de type pour un système évolué. Bon évidemment, je ne dis pas qu'on peut tout capturer, on sait bien que c'est impossible. Mais le système de types de Caml rattrape un nombre d'erreurs phénoménal.
D'ailleurs des gens ont proposé des systèmes pour Erlang, notamment par inférence (cf travaux de Dagnat). Tout n'est pas réglé, mais ça risque pas de l'être si on ne fait pas de recherche dans cette direction.
[^] # Re: Erlang a également été oublié
Posté par Anaximandre . En réponse à la dépêche Havoc Pennington se pose des questions sur les langages du libre. Évalué à 3.
Mais par contre, l'argument d'Ericsson selon lequel il y a peu d'erreurs liées au typage me fait bien rire.
Les programmeurs habitués à des systèmes de types évolués (comme celui d'OCaml) savent bien qu'un programme refusé à cause d'une erreur de type est généralement (ce n'est pas une loi mathématique mais une constatation) incorrect sur le plan conceptuel. Autrement dit, une erreur dans un programme Erlang, comme dans tout langage, serait une erreur de type pour un système évolué. Bon évidemment, je ne dis pas qu'on peut tout capturer, on sait bien que c'est impossible. Mais le système de types de Caml rattrape un nombre d'erreurs phénoménal.
D'ailleurs des gens ont proposé des systèmes pour Erlang, notamment par inférence (cf travaux de Dagnat). Tout n'est pas réglé, mais ça risque pas de l'être si on ne fait pas de recherche dans cette direction.