Questions marquées «programming-languages»

Questions liées à la conception, l'implémentation et l'analyse des langages de programmation. PAS pour des questions sur la programmation, qui sont hors sujet sur ce site.

2
Certains langages de programmation utilisent-ils des fonctions récursives générales comme base?
C'est une question naïve et, par conséquent, peut-être malformée, donc excuses à l'avance! À mon avis, une machine de Turing peut être considérée comme la base de calcul des langages de programmation procéduraux / impératifs. De même, le lambda calcul est le fondement des langages de programmation fonctionnels. J'ai récemment …
5
Pourquoi les langages fonctionnels Turing sont-ils complets?
Peut-être que ma compréhension limitée du sujet est incorrecte, mais c'est ce que je comprends jusqu'à présent: La programmation fonctionnelle est basée sur Lambda Calculus, formulée par Alonzo Church. La programmation impérative est basée sur le modèle de machine Turing, fabriqué par Alan Turing, étudiant de Church. Le calcul lambda …
3
Fonction ML de type 'a ->' b
Notre professeur nous a demandé de penser à une fonction dans OCaml qui a le type 'a -> 'b c'est-à-dire une fonction d'un argument qui pourrait être n'importe quoi, et qui peut retourner un autre chose. J'ai pensé à utiliser raisedans une fonction qui ignore son argument: let f x …
2
Algorithmes de vérification de type
Je commence une recherche bibliographique personnelle sur les algorithmes de vérification de type et souhaite quelques conseils. Quels sont les algorithmes, stratégies et techniques générales de vérification de type les plus couramment utilisés? Je m'intéresse particulièrement aux algorithmes de vérification de type complexes qui ont été implémentés dans des langages …
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.