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.

Décrire officiellement un nouveau langage de programmation spécifique à un domaine

Je suis sur le point de mettre en œuvre un langage spécifique au domaine pour la représentation des conventions d'apprentissage social. Une partie de l'implémentation est une description formelle d'un langage - son «calcul», ses symboles et ses expressions logiques. Mon approche serait de décrire le langage en décrivant sa …

8 formal-languages programming-languages semantics

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

Formalisme de type machine de Turing pour le modèle d'acteur

Les machines de Turing ont un alphabet de symboles formel, une description basée sur les règles d'état et de transition de la façon dont un calcul est effectué. Le modèle d'acteur est parfois mentionné comme un modèle de calcul plus puissant que les machines de Turing (pas dans ce qu'il …

8 terminology computability reference-request programming-languages computation-models

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

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.