la denière fois qu'on a regardé scala, les choses un peu funky en pattern matching avaient été désactivées ... sinon pour ce qui est du partage maximal de la mémoire ils ont carrément repompé ce qu'on a fait.
Scala est sympa mais pour l'instant ça part un peu dans tous les sens, ce qu'on propose avec tom est centré sur la réécriture mais on le fait (déjà :)), on le fait bien (résultats certifiés par coq et zenon, donc il y a une vraie sémantique) et on fournit tout un framework qui va avec :
signatures algébriques, partage maximal de la mémoire, définition de stratégies, possibilité d'ajouter des backends, etc.
[^] # Re: Et beh...
Posté par _ . En réponse à la dépêche Sortie de TOM 2.3. Évalué à 2.
Scala est sympa mais pour l'instant ça part un peu dans tous les sens, ce qu'on propose avec tom est centré sur la réécriture mais on le fait (déjà :)), on le fait bien (résultats certifiés par coq et zenon, donc il y a une vraie sémantique) et on fournit tout un framework qui va avec :
signatures algébriques, partage maximal de la mémoire, définition de stratégies, possibilité d'ajouter des backends, etc.