background preloader

Langages

Facebook Twitter

LOGO

Cosmopolitan C Library. Cosmopolitan makes C a build-once run-anywhere language, similar to Java, except it doesn't require interpreters or virtual machines be installed beforehand.

Cosmopolitan C Library

Cosmo provides the same portability benefits as high-level languages like Go and Rust, but it doesn't invent a new language and you won't need to configure a CI system to build separate binaries for each operating system. What Cosmopolitan focuses on is fixing C by decoupling it from platforms, so it can be pleasant to use for writing small unix programs that are easily distributed to a much broader audience. Getting Started Assuming you have GCC on Linux, then all you need are the five additional files which are linked below: The above command fixes GCC so it outputs portable binaries that will run on every Linux distro in addition to Mac OS X, Windows NT, FreeBSD, OpenBSD, and NetBSD too. Your program will also boot on bare metal too. Mailing List Please join the Cosmopolitan Cosmonauts Google Group!

Performance memcpy(foo, bar, n); TIOBE - The Software Quality Company. TIOBE Index for February 2021 February Headline: it seems like nothing really changes Some say that the IT industry is changing continuously. Every day a new IT buzzword pops up somewhere. But if we take a closer look at the top 8 of the TIOBE index, it appears to be unchanged for the last 7 years. Does this mean that the programming language world hasn't change over the last years? It is interesting to note that positions 9 and 10 in the TIOBE index are not as fixed as the top 8. The TIOBE Programming Community index is an indicator of the popularity of programming languages. The index can be used to check whether your programming skills are still up to date or to make a strategic decision about what programming language should be adopted when starting to build a new software system.

Scheme

Common Lisp. Chapitre 03 - Le langage Lisp. Les fonctions prédéfinies Initialement la valeur d’un atome, symbole, n’est pas définie, donc ils ne sont pas liés à une interprétation directe par une valeur.

Chapitre 03 - Le langage Lisp

Il est nécessaire de distinguer les valeurs des atomes pour ne pas générer des erreurs du type : atome non défini. Il faut donc agir sur l’interprétation avec une fonction de neutralisation. Figure 1.14. Construction d’une fonction quote ou ' Toutes les données de type caractères, symboles, atome, liste non vide … (soit toutes les S-expressions de ce type) qui ne doivent pas être évaluées sont précédées d’une fonction Quote. Figure 1.15. D’après l’exemple ci-dessus, nous constatons que la fonction ' transmet bien l’interprétation de la liste (d d e) et non l’évaluation de liste alors que sans la fonction ', l’interpréteur indique que d n’est pas une fonction connue pas l’interpréteur. Fonction récursive. Un article de Wikipédia, l'encyclopédie libre.

Fonction récursive

Sur les autres projets Wikimedia : récursif, sur le Wiktionnaire En informatique et en mathématiques, le terme fonction récursive désigne une classe de fonctions calculables, autrement dit de fonctions dont les valeurs peuvent être calculées à partir de leurs paramètres par un processus mécanique fini. En fait, cela fait référence à deux concepts liés, mais distincts. En théorie de la calculabilité, la classe des fonctions récursives est une classe plus générale que celle des fonctions récursives primitives. Logique informatique et paradigmes de programmation[modifier | modifier le code] Du point de vue de la programmation, une fonction récursive est une fonction, au sens informatique de ce terme, qui s'appelle elle-même dans sa définition ; on parle également de définition récursive ou d'appel récursif de fonction. Notes[modifier | modifier le code] Exemples[modifier | modifier le code] Fonction récursive[modifier | modifier le code]

Turing-complet. Un article de Wikipédia, l'encyclopédie libre.

Turing-complet

Pour les articles homonymes, voir Turing. En informatique ou en logique, un système Turing-complet[note 1] est un système formel ayant une puissance de calcul au moins équivalente à celle des machines de Turing. Grâce à la thèse de Church, cela signifie qu'un système Turing-complet a la puissance de n'importe quel autre système qui a la même puissance que les machines de Turing, à savoir les fonctions récursives, le lambda calcul, les machines à compteurs, etc.

Dans un tel système, il est possible de programmer n'importe quelle machine de Turing, mais également tout ce que l'on peut programmer dans une machine de Turing. Si de plus ce système peut être codé par des machines de Turing, on dit qu'il est équivalent aux machines de Turing. Mark Text.