Red — the world’s first full stack programming language

Never heard of Red, the world’s first full stack programming language?

Red is a language that is compatible with front end (client) and back end (server) technology. Full stack programming means being able to…

Coq : un ovni fiable

Coq est un assistant de preuve français développé entre autres par l’INRIA depuis 1984.

Premièrement qu’est-ce qu’un assistant de preuve ? C’est un logiciel permettant de prouver des théorèmes ou de les formaliser. L’utilisateur doit écrire un énoncé puis fournir…

Programmation D

En 1969, Ken Thompson dévoile le B : son nouveau langage de programmation succédant au BCPL, dont le nom fut inspiré d’un ancien langage, le “Bon”, du nom de son épouse “Bonnie” ! La caractéristique importante de ce langage est qu’un seul type de données est reconnu : les mots “word”. Les opérations…

Diesel

Apparu à la fin des années 50, DIESEL est un pseudo LISP. DIESEL faisait initialement partie de ces nombreux langages de programmation permettant de personnaliser AutoCAD, logiciel de dessin assisté par ordinateur. Les possibilités étaient diverses : dynamisation des menus, des barres d’outils, raccourcis, etc…

Common Lisp (CL)

Tout commence par Lisp

CL est un dialecte issu de la famille de langages Lisp, et accessoirement le plus connu d’entre eux. Lisp a été créé en 1958 et a vu naître un très grand nombre de dialectes différents depuis sa création. Dans les années 1970, des…

Using Java becomes a cup of Tea

Une description rapide du langage de script Tea