Existe-t-il un langage de programmation similaire à Python, mais qui permet de spécifier explicitement le type de n'importe quelle variable/paramètre/valeur de retour, de sorte que chaque fois que vous faites cela, l'EDI peut appliquer un certain type contraintes?Existe-t-il un langage de programmation de type Python avec typage statique volontaire?
boo et cython - Le premier est un peu une langue « un projet de l'homme » à la plate-forme .net, le second est un surensemble Python complet, réel qui compile en C et les code objet et est utilisé ıde pour créer Les bibliothèques Python nécessitant du code natif ou les wrappers pour appeler des bibliothèques binaires.
Merci! Je comprends que ces alternatives ne sont pas des interpréteurs interactifs tels que Python (corrigez-moi si je me trompe). – Ofer
Je ne connais pas boo - il devrait être possible d'avoir un interpréteur Cython interactif, en modifiant une boucle Python REPL - et il semble que tehre soit une extension iPython qui permet déjà l'utilisation interactive de Cython: https: // acsgsoc15 .wordpress.com/2015/04/07/using-cython-en-ipython / – jsbueno
Python 3.5 a 'type hints', et voir [Indication de type Python 3.5 dans PyCharm 5] (http://blog.jetbrains.com/pycharm/2015/11/python-3-5-type-hinting-in -pycharm-5 /) – furas
À quoi sert le downvote? Ce n'est pas une si mauvaise question. – palsch
@furas Cool merci !! – Ofer