Il va encore falloir améliorer les perfs avant cela. Enfin évidemment ça dépend de l'usage, mais j'ai par exemple fait une présentation qui portait sur les travaux visant à fournir des implémentations plus rapides des réels (avec une fiabilité à un epsilon donné).
Et bien il y a eu des gros progrès ces derniers temps, mais on est encore loin de résultats utilisables dans des solutions temps réel (sachant que coq on te le vend comme la solution pour éviter que tes fusées elles explosent à cause d'une erreur d'arrondi dont l'exception n'a pas été attrapée/gérée).
Enfin bref, ça me semble pas irréaliste que « un jour... », mais c'est pas encore demain. :)
[^] # Re: Back to the future
Posté par psychoslave__ (site web personnel) . En réponse à la dépêche Sortie de la version 0.1 de Rust. Évalué à 2.
Il va encore falloir améliorer les perfs avant cela. Enfin évidemment ça dépend de l'usage, mais j'ai par exemple fait une présentation qui portait sur les travaux visant à fournir des implémentations plus rapides des réels (avec une fiabilité à un epsilon donné).
Et bien il y a eu des gros progrès ces derniers temps, mais on est encore loin de résultats utilisables dans des solutions temps réel (sachant que coq on te le vend comme la solution pour éviter que tes fusées elles explosent à cause d'une erreur d'arrondi dont l'exception n'a pas été attrapée/gérée).
Enfin bref, ça me semble pas irréaliste que « un jour... », mais c'est pas encore demain. :)