Salut,
J'ai découvert récemment le pas très connue DocBook un langage utilisant le XML comme base et permettant de rédiger de la documentation sans se souciée de la présentation et en se concentrant uniquement sur le contenue.
J'aimerai connaitre votre avis sur ce langage ?
Pour ma part, je le test encore mais c'est vraiment plaisant de pouvoir convertir un seul fichier vers le format PDF, HTML, EPUB ou encore Open Document. Sans devoir tout réécrire pour chaque format. :)
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.
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.
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 (…)
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 (…)
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 (…)
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 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.
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.
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 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++.
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.
Aux croisements de diverses dimensions advint un rêve. En fait plusieurs rêves mêmes :
De ces rêves naquirent deux projets de recherche Algoritmaro et Fabeleblaĵo et (…)
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.
Jeudi 22 janvier est sortie la version 1.3.0 de vera++ : programme permettant de faire des vérifications de style de code sur du C++. Il est scriptable et permet également la refactorisation de code.
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 (…)
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 (…)
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.
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.