Posté par gawal .
En réponse au journal python.
Évalué à 1.
Super, l'interface gtk2, je vais tester ca de suite.
Pour l'inférence de type, elle marche effectivement, mais elle ne t'infère pas tous les types (c'est ce que je voulais dire par complète), d'où les annotations. En plus, si je me souviens bien, le sous-typage n'est pas entierrement géré (co et contravariance), pour ca mieux vaut voir un langage comme CDUCE.
Dernière chose, s'il y a une fonctionnalité que j'attends dans ocaml, c'est les modules mixins. J'imagine que personne ne sait quand ils feront leur apparition.
[^] # Re: python
Posté par gawal . En réponse au journal python. Évalué à 1.
Pour l'inférence de type, elle marche effectivement, mais elle ne t'infère pas tous les types (c'est ce que je voulais dire par complète), d'où les annotations. En plus, si je me souviens bien, le sous-typage n'est pas entierrement géré (co et contravariance), pour ca mieux vaut voir un langage comme CDUCE.
Dernière chose, s'il y a une fonctionnalité que j'attends dans ocaml, c'est les modules mixins. J'imagine que personne ne sait quand ils feront leur apparition.