• [^] # Re: Types optionnels

    Posté par (site web personnel, Mastodon) . En réponse au journal Quelques surprises techniques dans Pythran. Évalué à 1.

    Le projet est là, même si il ne décrit pas vers où ils veulent aller : https://github.com/python/mypy/tree/master/mypyc .

    De ce que j'en avais compris, l'idée c'est de pouvoir faire "quelques optimisations supplémentaires" grâce aux annotations:

    def func(a: int) -> int: return a+1
    Comme on est sure que c'est un int, on va pouvoir compiler ça un peu mieux (même si c'est pas forcement le meilleur exemple, un int en python et un int en C, c'est loin d'être pareil, il faudrait faire du formel (ou définir des subtypes) pour pouvoir être sure qu'on peut le réduire en un "int" de C).

    Je ne sais pas si ça explique mieux...