Questions marquées «functional-programming»

3
La classe des fonctionnelles récursives primitives est-elle équivalente à la classe de fonctions que le fœtus prouve qu'elle se termine?
Le fœtus, si vous n'en avez pas entendu parler, peut être lu ici . Il utilise un système de «matrices d'appel» et de «graphiques d'appel» pour trouver tous les «comportements de récursivité» des appels récursifs dans une fonction. Pour montrer qu'une fonction se termine, cela montre que tous les comportements …
1
Quelles sont les implémentations possibles des classes de types de Haskell et quels sont leurs (dés) avantages?
Pour autant que je sache, une fonction Haskell avec des contraintes de classes de type est compilée en interne en une fonction avec des arguments supplémentaires qui reçoivent des dictionnaires avec les implémentations nécessaires de chaque classe de type particulière. Existe-t-il d'autres possibilités de compilation des classes de types? Si …
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.