Questions marquées «dependent-method-type»

4
Quels sont les cas d'utilisation convaincants des types de méthodes dépendantes?
Les types de méthode dépendants, qui étaient auparavant une fonctionnalité expérimentale, ont maintenant été activés par défaut dans le coffre , et apparemment cela semble avoir créé une certaine excitation dans la communauté Scala. À première vue, il n'est pas immédiatement évident à quoi cela pourrait être utile. Heiko Seeberger …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.