Je fais de la recherche en langages de programmation. Dans le journal ci-dessus, j'explique pourquoi et comment, en essayant d'être accessible pour des gens qui connaissent peu (ou mal) la programmation et/ou la recherche.

Pourquoi la recherche en langages de programmation ?

Les programmeurs et programmeuses ont inventé de nombreuses représentations symboliques des programmes qui sont exécutés par un ordinateur, représentations que l'on appelle langages de programmation. On peut les voir comme des langages utilisés pour parler avec l'ordinateur, un programme (…)

Bonjour Nal,

Cela faisait longtemps que je ne t'avais pas écrit, mais je n'avais pas grand chose de pertinent à dire, tu me pardonneras j'espère.

Aujourd'hui, je vais te parler d'un de mes "side-project", j'ai nommé Letlang.

Si tu as la flemme de tout lire, tu peux aller mettre en favoris le site web https://letlang.dev pour une lecture du soir.

DISCLAIMER: Très peu de code existe pour l'instant, le projet en est à ses balbutiements. Même le design de (…)

Ces derniers temps, j'apprends moins de langages nouveaux qu'il y a quelques années. Du coup, je me suis dit que c'était une occasion de faire le tour sur l'essentiel des langages que j'ai testés.

Dans ce journal, je fais un peu dans le classique du ceci ou cela m'a plu dans tel langage, telle autre chose ne m'a pas plu. Le tout est très subjectif, biaisé et reflète fortement les trucs que j'ai voulu faire avec ces langages. Mais bon (…)

Depuis quelques temps, on voit apparaître de nouveaux langages à tout faire : Go, Rust et Swift sont les plus connus, mais il en existe d'autres.

The V Programming Language

Sans pointeur nul, sans comportement non défini et pouvant s'apprendre en un week end, V devrait devenir rapidement populaire chez les reptiliens.

Zig

Proche de Go, mais avec une gestion manuelle de la mémoire et une concurrence via async/await, ce drôle de Zig peut aussi compiler… du C !

Crystal

(…)

Cette année j'ai lancé un blog (anglophone) en commun avec les autres membres de mon équipe de recherche, Gallium, qui travaille sur les langages de programmation et la preuve de programme. C'est aussi l'équipe qui a conçu et maintient le langage de programmation OCaml, donc une partie des articles concernent ce langage et son développement—au passage, c'est un logiciel libre dans l'écosystème duquel de nombreuses contributions sont possibles.

Voilà, on m'a signalé que ça pourrait intéresser des LinuxFRiens donc (…)

Bonjour Nal :)

Je suis inspiré en ce moment, du coup je continue ma série sur l'écriture d'un compilateur en Rust. Si tu es intéressé par les précédents articles, les voici :

• Partie 0 : Présentation du langage
• Partie 1 : Générer du code Rust à partir d'un AST

Dans cette partie, je vais te présenter mes dernières découvertes concernant le parser.

Introduction

Tout d'abord, c'est quoi un parser ?

Google Translate traduit le terme par analyseur. Voilà bonne (…)

Salut les gens et les autres

L’indice Tiobe, qui est, donc, mais vous le savez sans doute déjà, un indice de popularité¹ néerlandais (mais le site est anglais) des langages de programmation est sorti. Résultat : Python est le langage de l’année 2021, avec une popularité en hausse de 1,86 %, suivi par C, dont la popularité a baissé (-4,94%) et de Java qui connaît aussi un recul de popularité, mais moindre (−1,30%).

Au hasard Balthazar le

(…)

Bonjour Nal,

Voilà plus de 30 ans que je programme et plus de 20 ans que c'est mon métier. J'ai passé par pas mal de langages, au gré des demandes, des impératifs et des modes (Je ne mets pas de liste, de peur d'en oublier!).

Pour la première fois depuis près de 20 ans, je refais du C; j'ai pu convaincre que pour telle tâche, c'était le plus indiqué. Depuis j'en perds quelque cheveux mais globalement ça va bien. Le (…)

Bonjour Nal,

Je vais encore te parler de Letlang aujourd'hui. Mais cette fois ci, pas de code, plutôt une discussion sur une fonctionnalité que j'aimerais bien rajouter à la syntaxe.

Voici d'abord une petite table des matières de ma série d'articles sur ce projet :

• Encore un nouveau langage de programmation
• Écrire un compilateur en Rust
• Écrire un compilateur en Rust (partie 2)

Je suis tombé ce weekend sur ce sujet (sur HackerNews): Please put units in names.

L'idée (…)

Bonjour Nal,

Aujourd'hui, je vais te parler de la suite de Fibonacci en Letlang.

Pour la table des matières, comme d'habitude:

• Encore un nouveau langage de programmation
• Écrire un compilateur en Rust
• Écrire un compilateur en Rust (partie 2)
• Faire la différence entre un nombre et une quantité
• Écrire un compilateur en Rust (partie 3)
• Et si on rédigeait la spec ?

Prélude

Pour ceux qui ne sont pas au courant, le programme Letlang Hello World compile :

module "hello.main";

(…)

Bonjour Nal,

Il y a quelques temps, je t'ai présenté Letlang, un projet de langage de programmation fonctionnelle.

Il a pour but d'être compilé vers du code natif, avec un système de type strict et expressif basé sur une logique d'ordre supérieur.

Malheureusement, avec le boulot (mission freelance + Kubirds), j'ai pas beaucoup de temps à y consacrer, à part quelques heures par-ci par-là.

L'un des objectifs initiaux de ce langage était d'en faire un langage compilé. Comment (…)

Bonjour Nal,

Aujourd'hui pas de code, mais de la doc !

En effet, il est grand temps de mettre mes idées sur papier pour les générations futures.

Voici d'abord une petite table des matières de ma série d'articles sur ce projet :

• Encore un nouveau langage de programmation
• Écrire un compilateur en Rust
• Écrire un compilateur en Rust (partie 2)
• Faire la différence entre un nombre et une quantité
• Écrire un compilateur en Rust (partie 3)

La documentation, c'est bien

(…)

(attention : beaucoup de suppositions, peu de vérifications dans ce journal. Lisez pour le cheminement plus que pour le résultat…)

Un constat choquant

De manière tout à fait intéressante en Javascript :

++ ++ i;

Donne l'erreur suivante dans Node (V8):

SyntaxError: Invalid left-hand side expression in prefix operation`

Et, dans Firefox (SpiderMonkey):

SyntaxError: expected expression, got '++'

Alors que :

i ++ ++;

Donne l'erreur suivante dans les deux moteurs (à quelque chose près) :

SyntaxError: Unexpected

(…)