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.

4
Pourquoi une fonction de type polymorphe `forall t: Type, t-> t` doit-elle être la fonction d'identité?
Je suis nouveau dans la théorie des langages de programmation. Je regardais des conférences en ligne dans lesquelles l'instructeur a affirmé qu'une fonction de type polymorphe forall t: Type, t->tétait l'identité, mais n'a pas expliqué pourquoi. Quelqu'un peut-il m'expliquer pourquoi? Peut-être une preuve de la revendication des premiers principes.




2
Fonctions Scott-continues: une définition alternative
Je me bats vraiment avec cette propriété: Soient X,YX,YX,Y soit des espaces de cohérence et f:Cl(X)→Cl(Y)f:Cl(X)→Cl(Y)f: Cl(X) \rightarrow Cl(Y) est une fonction monotone. est continu si et seulement si , pour tout tel que D est un ensemble dirigé.ffff(⋃x∈Dx)=⋃x∈Df(x)f(⋃x∈Dx)=⋃x∈Df(x)f(\bigcup_{x\in D} x)=\bigcup_{x \in D}f(x)D⊆Cl(X)D⊆Cl(X)D \subseteq Cl(X)DDD L'ensemble dirigé est défini ainsi: …

3
Comment rendre une langue homoiconique
Selon cet article, la ligne suivante de code Lisp imprime "Hello world" sur la sortie standard. (format t "hello, world") Le lisp, qui est un langage homoiconique , peut traiter le code comme des données de cette manière: Imaginez maintenant que nous avons écrit la macro suivante: (defmacro backwards (expr) …

5
Qu'est-ce qui rend une langue «optimisée» pour une tâche spécifique?
Voulez-vous améliorer ce post? Fournissez des réponses détaillées à cette question, y compris des citations et une explication de la raison pour laquelle votre réponse est correcte. Les réponses sans suffisamment de détails peuvent être modifiées ou supprimées. Il existe souvent des langages de programmation spécialisés pour des tâches spécifiques. …



4
Un langage de programme peut-il être suffisamment malléable pour permettre aux programmes d'étendre la sémantique des langues
En ce qui concerne les fonctionnalités dans des langages comme ruby ​​(et javascript), qui permettent à un programmeur d'étendre / remplacer des classes à tout moment après l'avoir défini (y compris des classes comme String), est-il théoriquement possible de concevoir un langage permettant aux programmes de s'étendre plus tard sa …


2
Existe-t-il des articles évalués par des pairs qui étudient les avantages et les inconvénients de la programmation fonctionnelle?
Quelqu'un peut-il me renvoyer à des articles évalués par des pairs qui étudient les avantages ou les inconvénients de l'écriture de code dans un style fonctionnel? Existe-t-il des articles qui discutent des applications de Lambda Calculus dans des domaines tels que l'apprentissage automatique, la conception de langage, etc.?



2
Demande de référence: théorie des catégories telle qu'elle s'applique aux systèmes de types
Je n'arrête pas d'entendre comment on doit apprendre la théorie des catégories pour vraiment comprendre la théorie du langage de programmation. Jusqu'à présent, j'ai appris beaucoup de PL sans jamais entrer dans le domaine des catégories. Cependant, j'ai pensé qu'il était temps de faire le saut pour voir ce qui …

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.