Quelle est la différence entre un langage de programmation et un langage de script? Par exemple, considérons C contre Perl. La seule différence est que les langages de script nécessitent uniquement l'interpréteur et ne nécessitent pas de compilation et de
Dans le célèbre essai de Richard Gabriel, The Rise of Worse is Better , il met en contraste les versions caricaturales des philosophies de conception du MIT / Stanford (Lisp) et du New Jersey (C / Unix) selon les axes de la simplicité, de l'exactitude, de la cohérence et de l'exhaustivité. Il donne...
Étant donné un système de transition étiqueté , où est un ensemble d'états, est un ensemble d'étiquettes et est une relation ternaire. Comme d'habitude, écrivez pour . La transition étiquetée indique que le système dans l'état change d'état en avec l'étiquette , ce qui signifie que est une action...
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 = raise Exit...
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...
Dans les langages de programmation, les fermetures sont une fonctionnalité populaire et souvent souhaitée. Wikipédia dit (c'est moi qui souligne): En informatique, une fermeture (...) est une fonction associée à un environnement de référence pour les variables non locales de cette fonction. Une...
Je connais une douzaine de langages de programmation qui ont des exceptions d'une certaine manière, pourtant j'en suis venu à être témoin de deux tendances "pathologiques". Il ne semble pas y avoir de modèle ou de hiérarchie commun d'exceptions. Chaque langue roule essentiellement sa propre...
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...
J'ai étudié le livre "C ++ Demystified" . Maintenant, j'ai commencé à lire "Programmation orientée objet dans Turbo C ++ première édition (1ère édition)" par Robert Lafore. Je n'ai aucune connaissance en programmation qui dépasse ces livres. Ce livre est peut-être dépassé car il a 20 ans. J'ai la...
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
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...
Je sais qu'il peut être prouvé que PROLOG est Turing-complete en construisant un programme qui simule une machine de Turing comme ceci: turing(Tape0, Tape) :- perform(q0, [], Ls, Tape0, Rs), reverse(Ls, Ls1), append(Ls1, Rs, Tape). perform(qf, Ls, Ls, Rs, Rs) :- !. perform(Q0, Ls0, Ls, Rs0, Rs) :-...
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...
Je travaille sur un compilateur pour un langage concaténatif et je voudrais ajouter un support d'inférence de type. Je comprends Hindley – Milner, mais j'ai appris la théorie des types au fur et à mesure, donc je ne sais pas comment l'adapter. Le système suivant est-il solide et inférable? Un terme...
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...
Ici, je lis cela: Haskell n'a certainement pas le système de type le plus avancé (même pas si vous comptez les langues de recherche), mais parmi toutes les langues réellement utilisées dans la production, Haskell est probablement au sommet. Je demande donc deux choses: quels langages de recherche...
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...
J'ai rencontré une expérience étrange en programmation C. Considérez ce code: int main(){ int array1[6] = {0, 1, 2, 3, 4, 5}; int array2[6] = {6, 7, 8, 9, 10, 11}; printf("%d\n", array1[-1]); return 0; } Lorsque je compile et exécute ceci, je ne reçois aucune erreur ni avertissement. Comme l'a dit...
Je pense que je suis assez confus à propos de ce qu'on appelle un calcul et ce qu'on appelle un langage de programmation. J'ai tendance à penser, et on aurait pu le dire, qu'un calcul est un système formel de raisonnement sur l'équivalence des programmes. Les programmes ont une sémantique...
Je travaille souvent avec lexer / parsers , par opposition à un combinateur d'analyseurs et je vois des gens qui n'ont jamais suivi de cours d'analyse, poser des questions sur l'analyse des données binaires. En règle générale, les données sont non seulement binaires, mais également contextuelles....