Questions marquées «theory»

224
Quel est l'intérêt des interfaces en PHP?

Les interfaces vous permettent de créer du code qui définit les méthodes des classes qui l'implémentent. Vous ne pouvez cependant pas ajouter de code à ces méthodes. Classes abstraites vous permettent de faire la même chose, tout en ajoutant du code à la méthode. Maintenant, si vous pouvez...

188
À quoi servent les schémas SQL Server?

Je ne suis pas un débutant dans l'utilisation des bases de données SQL, et en particulier de SQL Server. Cependant, j'ai été principalement un gars de SQL 2000 et j'ai toujours été confus par les schémas en 2005+. Oui, je connais la définition de base d'un schéma, mais à quoi servent-ils vraiment...

165
Différences entre Agda et Idris

Je commence à me plonger dans la programmation à typage dépendant et j'ai trouvé que les langages Agda et Idris sont les plus proches de Haskell, alors j'ai commencé là. Ma question est: quelles sont les principales différences entre eux? Les systèmes de types sont-ils également expressifs dans les...

131
Complexité get / put HashMap

Nous avons l'habitude de dire que les HashMap get/putopérations sont O (1). Cependant, cela dépend de l'implémentation du hachage. Le hachage d'objet par défaut est en fait l'adresse interne du tas JVM. Sommes-nous sûrs qu'il est assez bon de prétendre que les get/putsont O (1)? La mémoire...