L'informatique functional-programming

1

Comme il existe un calcul lambda non typé et un calcul lambda simplement tapé (comme décrit, par exemple, dans le livre Types et langages de programmation de Benjamin Pierce), existe-t-il une logique combinatoire simplement tapée? Par exemple, il semblerait que les types naturels des combinateurs S, K et I seraient …

8 logic lambda-calculus functional-programming combinatory-logic

2

Quel est l'état de l'art de la recherche encapsulée dans la programmation logique fonctionnelle?

Je suis particulièrement intéressé par les solutions au problème que la recherche encapsulée peut dépendre de l'ordre d'évaluation. Selon [1], la recherche encapsulée dans PAKCS dépend de l'ordre d'évaluation, tandis que dans MCC, elle ne le fait pas, mais son utilisation nécessite la connaissance de l'implémentation du compilateur et elle …

8 reference-request functional-programming nondeterminism logic-programming

4

Que signifie «argument factice»?

Qu'est-ce que cela signifie lorsqu'un argument d'une fonction est appelé un argument factice ? Je n'ai pas rencontré ce terme en dehors de Fortran, est-ce un terme général en informatique? Quels seraient des exemples d'arguments passés comme factices et non passés comme factices? J'ai trouvé cette définition , que je …

8 terminology programming-languages functional-programming

3

Fonctions ML des listes polymorphes aux listes polymorphes

J'apprends la programmation en ML (OCaml), et plus tôt j'ai posé des questions sur les fonctions ML de type'a -> 'b . Maintenant, j'expérimente un peu avec les fonctions de type 'a list -> 'b list. Il y a quelques exemples simples évidents: let rec loop l = loop l …

8 programming-languages typing functional-programming

Questions marquées «functional-programming»