OCaml 4.03

72
2
mai
2016
Programmation fonctionnelle

La version 4.03.0 du langage OCaml est paru le 25 avril 2016. OCaml est un langage fonctionnel de la famille des langages ML (dont font partie SML et F#, ou Rust avec une définition élargie).

OCaml est entre autre utilisé pour implémenter le langage Coccinelle (régulièrement utilisé dans la communauté des développeurs du noyau Linux) ou MirageOS (ensemble de bibliothèques pour construire des unikernels). On compte aussi l'implémentation du langage Hack chez Facebook, l'interpréteur de référence pour le projet WebAssembly, ou encore l'analyseur statique de Code C Frama-C.

OCaml

Il s'agit d'un langage fonctionnel multi-paradigmes fortement typé qui permet de mélanger librement les paradigmes fonctionnel, impératif et objet. Cette version 4.03 fait suite à la version 4.02 publiée en juillet 2015.

Journal Conférence internationale Haxe du 27 au 30 Mai 2016 à Paris

9
22
mar.
2016

La WWX2016 ou World Wide Haxe Conference est une conférence de 4 jours sur Haxe, un langage de programmation et un compilateur open source multiplateforme qui permet de produire des applications et du code source pour de nombreuses plateformes différentes à partir d'un seul code source.

Qu'est-ce que Haxe ?

La boîte à outils Haxe est un peu l'équivalent du couteau suisse pour la programmation. C'est une solution compacte, légère pour résoudre une très large gamme de problèmes. Utilisé correctement, les (...)

Journal Et si JavaScript allait droit dans le mur ?

78
2
mar.
2016
Ce journal a été promu en dépêche : Et si JavaScript allait droit dans le mur ?.

Always bet on JS - Brendan Eich

Je me pose pas mal de questions sur l'avenir du JavaScript. D'un côté, il semble plus fort que jamais et ses surcouches (CoffeeScript, PureScript, etc.) ne sont plus à la mode. De l'autre, ces défauts me sautent de plus en plus aux yeux.

Je passe pas mal de temps à regarder de nouveaux langages de programmation. La plupart resteront expérimental, mais de temps à autre, un langage perce. Ce fût par exemple le (...)

Forum Programmation.autre Quel est le meilleur moyen d'apprendre à utiliser un langage de programmation ?

Posté par . Licence CC by-sa
3
8
jan.
2016

Bonjour,

je cherche à évoluer en informatique et je me demande comment commencer à travailler ?

Je cherche en particulier à maîtriser les spécificités du C++ et du java.

Je connais un peu le langage C et je me débrouille pas trop mal avec python.

Pensez vous qu'il soit une bonne idée de me concentrer sur des projets concrets, plutôt de suivre des cours ou des ouvrages « pas à pas », enfin, devrais-je plutôt mettre à jour mes compétences théoriques ?

Merci beaucoup (...)

Rust versions 1.1, 1.2 et 1.3

51
23
sept.
2015
Technologie

D’après Wikipédia, « Rust est un langage de programmation compilé multi-paradigme conçu et développé par Mozilla Research. Il a été conçu pour être « un langage sécurisé, concurrent, pratique », prenant en charge les styles de programmation purement fonctionnelle, modèle d'acteur, procédurale et orientée objet. »

Rust

Rust a été largement couvert sur LinuxFr.org, à travers les versions 0.7, 0.8, 0.9, 0.10, 0.11, 0.12, la version 1.0-alpha, et enfin la version 1.0.

Sortie de Haxe 3.2.0

28
17
juin
2015
Technologie

Haxe est un langage de programmation orienté objet, open source, basé sur un système de classes comme C# ou Java.
Il permet de mettre en place des types abstraits, des metadatas, des Generics, des Enums, ou encore faire de la programmation fonctionnelle comme en F#.
C’est une solution robuste, multi-paradigme, parfaitement adaptée au développement d’applications web, au jeu et au mobile.

Logo Haxe

Il y a quelques jours, la version 3.2.0 est sortie avec son lot de nouveautés et de corrections.
Cette dépêche présente les principaux changements et profite de l'occasion pour refaire un tour des possibilités offertes par ce langage.

Rust 1.0, entrée dans la période stable

53
16
mai
2015
Technologie

Rust est un langage de programmation conçu pour répondre aux problématiques modernes des gros logiciels clients et serveurs utilisant Internet, en particulier la sécurité, la gestion de la mémoire et la parallélisation. Il concurrence donc directement les langages C et C++.

Logo officiel de Rust

Vendredi 15 mai 2015, trois ans et demi après la sortie de la version 0.1, Rust sort en version 1.0 ! Il y a eu beaucoup de changements depuis : le langage a très fortement évolué, une communauté de développeurs/euses s’est formée, de nombreuses bibliothèques et un guide d’apprentissage du langage ont été créés, et la documentation a été améliorée.

L’arrivée d’une version stable est un évènement bienvenu puisqu’elle permet de pouvoir utiliser le langage plus sereinement. Le langage s’ouvre donc un peu à un public plus large que l’enthousiaste et aventureuse équipe de développement de Servo ou autres pionniers/ères dans l’utilisation de Rust. Que ce soit dans des contextes personnels ou professionnels, les changements réguliers dans le langage repoussaient de nombreux/ses utilisateurs/trices potentiel·le·s.

Journal Et vous, à votre avis, pour où commencer une quête pour une chaîne de compilation espérantophone ?

Posté par (page perso) . Licence CC by-sa
5
5
mar.
2015

Aux croisements de diverses dimensions advint un rêve. En fait plusieurs rêves mêmes :

  • disposer de langages de programmation utilisant l’espéranto comme base lexicographique (et éventuellement tirant partie de la régularité grammaticale de la langue dans la grammaire des langages) ;
  • disposer d’une chaîne de compilation entièrement codée dans des langages tels que les précédents ; 
  • en bonus, avoir des langages de programmation espérantiste totalement dépourvu de pictogramme.

De ces rêves naquirent deux projets de recherche Algoritmaro et Fabeleblaĵo et (...)

Journal Libellule n°72 - Mars 2015 (Livret d’info libre)

1
5
mar.
2015

Initiée et coordonnée par l’April, l’initiative Libre en Fête est relancée pour la quinzième année consécutive : pour accompagner l’arrivée du printemps, des événements de découverte des Logiciels Libres et du Libre en général seront proposés partout en France autour du 21 mars 2015, dans une dynamique conviviale et festive. Naturellement, comme chaque année, Montpel’libre y participera pour y proposer plusieurs événements : Ateliers de développement, Langages Web, Atelier OpenOffice.org et LibreOffice, Initiation Internet, Cartopartie participative OSM, CinéLibre Utopia Citizenfour (...)

Sortie de Coq 8.5 bêta, un assistant de preuve formelle

97
28
jan.
2015
Science

L'assistant de preuve Coq, deux fois primé l'année dernière, vient de sortir en version 8.5 bêta. Attendue depuis plus d'un an déjà, on trouvera au menu de cette version un nombre certain de changements en profondeur.

Coq est un assistant de preuve sous licence LGPL 2.1, développé entre autres à l'INRIA. Issu des travaux sur la correspondance de Curry-Howard, Coq peut être vu aussi bien comme un langage de programmation que comme un système de preuves mathématiques. Il est, de fait, employé par les deux communautés. Parmi les développements en Coq, on peut citer par exemple le compilateur C certifié CompCert sur le versant informatique et la preuve du Théorème de Feit et Thompson sur le versant mathématique. Plus récemment, une des failles d'OpenSSL a été découverte grâce à Coq[0] . Il est aussi de plus en plus utilisé comme système interactif pour l'apprentissage de la logique dans l'enseignement supérieur.

On rappellera dans le reste de la dépêche les grands principes qui sous-tendent Coq, ce qu'il est, ce qu'il n'est pas, puis on détaillera les changements introduits dans cette version.

Journal L'AFNOR a besoin de vous

Posté par (page perso) . Licence CC by-sa
21
10
nov.
2014

Bon, je sais, ce n'est pas directement lié au libre mais quand même.

Le groupe Ada de l'AFNOR, qui a en charge de participer à la commission de normalisation du langage, est en passe de disparaître par manque de participants aux deux réunions annuelles.
La disparition du groupe entraînerait l'absence des utilisateurs français dans la commission de normalisation.

Sans vouloir faire de chauvinisme, avouons que ce serait dommage pour un langage autrefois défini par un groupe français :)
Et (...)

Journal Python comme premier langage de programmation ?

30
22
juil.
2014

Un récent article recensait quel langage est étudié en premier dans le cursus universitaire aux Etat-unis. Il en ressort que Python est le langage le plus utilisé, devant Java, Matlab et C/C++. Ce n'est pas vraiment une surprise, au vu de la popularité du langage et de sa relative simplicité d'apprentissage.

Si je devais apprendre à programmer aujourd'hui je pense que je choisirais Scala, parce qu'il élégant, statiquement typé et combine les notions de programmation fonctionnelle et orientée-objet. Et vous (...)

Rust s’oxyde en version 0.10

63
8
avr.
2014
Technologie

Mozilla et la communauté Rust ont annoncé la version 0.10 de Rust le 3 avril. Rust est un langage de programmation développé par Mozilla. La version 0.1 a été annoncée par Mozilla le 20 janvier 2012. Pour découvrir le langage, on peut se référer au nouveau site web sur lequel on peut lire :

Rust est un langage de programmation système qui est extrêmement rapide, empêche presque tous les plantages et élimine les accès concurrent.

Logo de Rust

Rust se veut donc une alternative à C/C++, comme D et Go, et possède tout comme ces derniers un ramasse-miettes, mais qui est optionnel. Sa syntaxe est proche de celle du C/C++/Java tout en étant beaucoup plus expressif. Sa force est de mélanger les fonctionnalités de différents paradigmes, beaucoup venant du fonctionnel (immuabilité par défaut, modèle objet proche de celui d'Haskell, fermetures, etc). Il met l'accent sur la sûreté d'exécution, notamment grâce à son système élaboré de pointeurs intelligents et son système de types forts, sans sacrifier les performances.

Depuis la version 0.9, qui a fait l’objet d’une dépêche, les efforts ont notamment porté au cours des 1500 changements sur la simplification du langage. Le langage Rust n'est pas stabilisé, cela viendra avec la version 1.0.

Cette itération de développement a apporté le découpage de la bibliothèque libextra, introduit des extensions de syntaxe inter crate, amélioré la manipulation des pointeurs avec le trait Deref et la gestion des erreurs des entrées/sorties.
En dehors du compilateur, cette nouvelle version a vu l'introduction d'un nouveau processus de RFC ainsi que la construction quotidienne des installateurs binaires.

Des améliorations ont été données à l'infrastructure de tests et aux scripts de construction. Des installeurs sont désormais disponibles pour Linux, MacOS et Windows. Même si certains font tourner Rust sur ARM, ce n'est pas une architecture proposée dans la documentation.

Comme pour les précédentes versions, cette version 0.10 doit être considérée comme une version alpha, appropriée pour les adopteurs précoces et les amateurs de langages.

Inflectiones, déclinaisons et conjugaisons en grec ancien

Posté par (page perso) . Édité par Benoît Sibaud et tuiu pol. Modéré par ZeroHeure. Licence CC by-sa
26
13
fév.
2014
Python

En bref : inflectiones est une bibliothèque (Python3, GPLv3) qui permet de conjuguer et de décliner des mots. Le travail inverse (analyser un mot pour en dégager les caractéristiques morphologiques) ne m'intéressant pas, n'a pas été codé. Enfin, seuls quelques exemples tirés du grec ancien et de l'esperanto sont disponibles, voyez les exemples ci-dessous. Le projet n'en est qu'à ses débuts et attend du renfort !