Caml est un langage de programmation généraliste, pour coder dans un style fonctionnel, impératif ou orienté objet. Petite découverte de Caml…

Le langage Caml a été développé au sein des équipes Formel, Cristal, puis Gallium de l’INRIA. OCaml offre un langage de programmation plus riche et dispose de compilateurs produisant du code natif efficace pour de nombreuses architectures. Les deux implémentations de Caml proposent un système de types puissant, doté de polymorphisme paramétrique et d’inférence de types. L’inférence de types permet de plus de définir de telles opérations sans devoir expliciter le type de leurs paramètres et résultat. Caml propose aussi des types de données algébriques définissables par l’utilisateur et le filtrage. De nouveaux types de données algébriques peuvent être définis comme combinaisons d’enregistrements et de sommes. Des fonctions opérant sur ces structures de données peuvent ensuite être définies par filtrage, une forme généralisée de la classique construction switch, qui offre un moyen concis et élégant d’analyser et de nommer les données simultanément. Caml a également une gestion automatique de la mémoire grâce à un glaneur de cellules incrémental aussi rapide que discret. Caml présente aussi la compilation séparée d’applications autonomes. Des compilateurs portables vers code-octets permettent de créer des applications autonomes à partir de programmes Caml Light ou OCaml. Une foreign function interface  permet au code Caml d’interopérer avec du code C lorsque cela est nécessaire. Une utilisation interactive de Caml est également possible, grâce à une boucle lire-évaluer-afficher. En outre, OCaml propose un système de modules sophistiqué, qui permet d’organiser les modules de façon hiérarchique et de paramétrer un module par d’autres modules ; une couche orientée objet expressive, qui offre héritage multiple et classes paramétrées ; des compilateurs vers code natif efficaces. En plus de son compilateur vers code-octets, OCaml propose un compilateur capable de produire du code machine efficace pour de nombreuses architectures.

Pour en savoir plus : http://ocaml.org/index.fr.html

The post Parlez-vous Caml ? appeared first on Mistra Blog.

Apple vient de confirmer que Swift est open source. Les contributions des développeurs aideront à améliorer Swift et à l’étendre à d’autres plateformes…

Apple vient de le confirmer. Son langage de programmation Swift est désormais publié en open source. En tant que langage open source, la vaste communauté de développeurs, des éditeurs d’apps, aux établissements d’enseignement et entreprises, pourra contribuer aux fonctionnalités et optimisations, et participer au portage de Swift sur de nouvelles plateformes informatiques. Inauguré en 2014, Swift connaît une forte croissance dans l’histoire des langages de programmation. Il allie les performances et l’efficacité d’un langage compilé et la simplicité et l’interactivité des langages de scripts populaires. Apple a également lancé le site Swift.org qui fournit des informations détaillées sur Swift en open source, dont une documentation technique, des ressources communautaires et des liens pour télécharger le code source de Swift.

«  En rendant Swift open source, l’ensemble de la communauté des développeurs va pouvoir contribuer au langage de programmation et à sa diffusion sur d’autres plateformes », a déclaré Craig Federighi, senior vice president of Software Engineering chez Apple. « La puissance et la facilité d’utilisation de Swift inspireront une nouvelle génération de programmeurs, et grâce à l’annonce d’aujourd’hui, elle pourra exprimer ses idées partout, des appareils mobiles jusqu’au Cloud. »

Il est facile d’apprendre à utiliser Swift, y compris pour les néophytes, et il s’agit du premier langage de programmation système aussi facile à manipuler qu’un langage de script. Conçu pour la sécurité, Swift élimine des catégories entières d’erreurs de programmation courantes.

Le code Swift open source est disponible via GitHub et prend en charge toutes les plateformes logicielles d’Apple (iOS, OS X, watchOS et tvOS ) ainsi que Linux. Les composants suivants sont disponibles : Swift Compiler, Debugger, Standard Library, Foundation Libraries, Package Manager and REPL.

Swift est proposé sous la licence open source Apache 2.0 avec exception de la bibliothèque d’exécution, ce qui permet aux utilisateurs d’intégrer facilement Swift à leurs propres logiciels, et de porter le langage sur d’autres plateformes.

Pour en savoir plus sur Swift et accéder aux ressources communautaires, consultez le nouveau site : https://swift.org

The post Ca y est ! Swift est open source ! appeared first on Mistra Blog.

Le langage de programmation pédagogique Linotte s’enrichit de plusieurs fonctionnalités dans cette nouvelle version. Suivez le guide…

Dans l’esprit de rendre la programmation encore plus accessible à tout un chacun, la dernière version du langage Linotte permet d’utiliser des fonctions lors de la création d’un programme en mode bloc. Et pour ceux qui ne connaissent pas Linotte, voici un petit rappel.

Linotte est un langage libre, créé par Ronan Mounès, afin de permettre à tous d’apprendre la programmation. Linotte est un langage puissant et multiparadigmes dont les principales caractéristiques sont une programmation  impérative (pour les débutants), fonctionnelle (pour la programmation d’algorithmes), orientée objet et prototype, graphique et événementielle, ainsi que web dynamique. Linotte est simple, pouvant produire des programmes complexes. Il est open source, basé sur une syntaxe naturelle et en français.

Inspiré des langages Basic, Logo et Java, Linotte ne demande pas de technicité particulière, et son environnement de développement entièrement en langue française, facilite son apprentissage. Linotte utilise un vocabulaire non technique, proche de termes usuels. Ainsi, Linotte n’introduit pas de nouveaux concepts, mais les renomme.

Langage interprété, mais libre, Linotte est développé en Java avec un code source  distribué sous la licence GNU-GPL. L’atelier Linotte est proposé sur les plateformes Windows, Linux, Apple, Debian, Ubuntu, Raspberry PI,  Madriva, Fedora.

Accessible à tous et à tous les âges, Linotte a su trouver sa place dans la jungle des langages en alliant simplicité, pédagogie, langue française, et production de programmes complexes.

Pour en savoir plus : http://langagelinotte.free.fr/wordpress

The post Linotte 2.6 est arrivée ! appeared first on Mistra Blog.

La fondation Mozilla annonce la sortie de son langage de programmation Rust, dans sa version 1.0.0 annoncée comme stable, et destinée à tous les environnements. Dans ce blog, nous vous avons tenu informé de l’avancée des publications de ce langage développé par Mozilla Research. Après Rust 1.0.0-alpha, sorti en janvier, puis Rust 1.0.0-bêta1, paru au mois de février, et après plusieurs cycles, voici enfin la version stable.

Cette dernière version, propose donc la stabilité pour la grande majorité de la bibliothèque standard. Les fonctionnalités sont quasi complètes, et les améliorations sont détaillées sur le site du téléchargement.

Rappelons que Rust est un langage de programmation compilé multi-paradigme expérimental et développé par Mozilla. Structuré en blocs avec un accent particulier mis sur la sécurité et la performance, ce langage ressemble visuellement à ceux de la famille C. Il faut dire qu’il a été développé comme alternative à C et C++, mais il en diffère de manière significative dans les détails syntaxiques et la sémantique. Rust se traduit en français par « rouille ».

Pour en savoir plus et télécharger la dernière version stable, rendez-vous ici :

https://github.com/rust-lang/rust/blob/master/RELEASES.md#version-100-may-2015

The post Sortie de Rust 1.0.0 version stable appeared first on Mistra Blog.

Appliqué dans différents domaines, le langage Esterel permet d’exprimer la synchronisation temporelle de tâches et de prouver leur bon déroulement. Un de ses créateurs, l’informaticien français Gérard Berry, vient d’obtenir la médaille d’or du CNRS.

La programmation synchrone d’Esterel a pour objectif de permettre le développement de programmes dont le temps de réponse est garanti, dont le comportement est déterminé, et le besoin en ressources borné. Ce type de programmes synchrones est en constante interaction avec l’environnement, contrairement aux programmes séquentiels plus classiques, et est particulièrement utilisé pour les systèmes embarqués. Les différentes versions du langage Esterel ont ainsi pu être appliquées dans l’industrie, par exemple chez Dassault Aviation, Bertin, ILOG, ST Microelectronics et Texas Instruments.

Esterel, synchrone et réactif, est impératif et permet l’expression simple du parallélisme et de la préemption. Il est de ce fait bien adapté à la modélisation des systèmes à prépondérance contrôlée. En tant que langage appartenant à la classe des systèmes informatiques réactifs, le programme ne se termine pas, il est cyclique ; il possède une grande vitesse de réaction en même temps qu’une connaissance de l’environnement exacte ; le parallélisme lui permet de gérer plusieurs capteurs et/ou incidents simultanément ; ses processus peuvent être interrompus ou stoppés. Ce langage peut modéliser de nombreux systèmes et milieux : logiciels, matériels, contrôle de flux, etc.

Si ce langage est en essor, il est malgré tout encore en développement, sans véritable standard établi. Il existe plusieurs compilateurs Esterel qui permettent de générer du code C, VHDL ou Verilog. La société Esterel Technologies a engagé un processus de normalisation de la version 7 du langage à l’IEEE. Il en existe une version orientée objet : Esterel ++, conçue par Dassault Aviation. Différents formalismes graphiques (Syncharts, UML) sont proposés.

Le langage informatique Esterel permet de piloter des avions, d’assurer la sécurité des centrales nucléaires et… d’accompagner des violonistes.

Pour en savoir plus : http://www.esterel-technologies.com

The post Essor du langage Esterel appeared first on Mistra Blog.

Le langage R gagne du terrain notamment dans le domaine de la recherche en statistiques et en sciences sociales. La version 3.1.2 apporte de nouvelles fonctionnalités et des améliorations.

Si les logiciels SPSS et SAS semblent les plus utilisés dans la recherche en sciences sociales, le langage R est de plus en employé surtout dans les communautés scientifiques et universitaires. C’est pourquoi la sortie de la version 3.1.2 devrait satisfaire les nombreux adeptes de R. Structures de données, tests statistiques, travail sur les vecteurs, représentations graphiques, R est capable de réaliser de nombreuses opérations et de les représenter avec un visuel agréable. Et ce n’est pas le fait qu’il soit opensource qui gâchera le plaisir, bien au contraire.

Parmi les nouvelles fonctionnalités, il faut noter que EmbedFonts () est désormais présente par défaut, et que dans l’environnement R_ICU_LOCALE, la variable peut être utilisée pour définir la valeur par défaut ICU locale, au cas où une dérivée de la locale du système d’exploitation est inappropriée. Des corrections de bugs sont apportées. Par exemple, PrettyNum (x, zero.print = *) fonctionne maintenant lorsque x contient AN. Un bug de longue date présenté par nlminb () sur Windows a été attribué à un bug du compilateur et une solution de contournement a été mise en place. Le rendu de commande dans les versions HTML des pages d’aide a été amélioré. As.hexmode (x) et as.octmode (x) se comportent désormais correctement pour certains x numériques, par exemple, c (NA, 1) ou c (1, pi).

Pour télécharger la dernière version, c’est ici : http://cran.r-project.org

The post Sortie de la version 3.1.2 de R appeared first on Mistra Blog.

Joe Duffy, architecte-développeur chez Microsoft, dévoile dans un billet de son blog, le projet de création d’un nouveau langage de programmation, sous le nom de M#…

Après avoir rappelé que son équipe a conçu et mis en œuvre un ensemble d’extensions de programmes en C# au cours de ces dernières années, Joe Duffy pose la question : « Pourquoi un nouveau langage ? ». Il y répond par un souci de sécurité, de productivité, et de performance. A l’instar de C#, Java, JavaScript, et C++, ce nouveau langage a pour ambition d’accroître la sécurité tout en développant la performance.

Si M# voit le jour et se diffuse, il pourrait être une symbiose entre les extensions de programmation système de C# ; un langage de bas niveau mais suffisamment performant pour être utilisé par les services web.

Ce futur langage serait-il publié un jour en Open Source ? Face à l’Open Source, peut-il encore exister une place pour un langage propriétaire ? Ces questions méritent d’être posées tant l’Open Source s’impose aujourd’hui dans la plupart des plateformes et des systèmes. Le projet GNU à l’origine des logiciels libres s’est développé rapidement, entraînant la création de nombreuses communautés de développeurs partout dans le monde. Et à partir de là, les logiciels libres, développés selon un mode de travail collaboratif, sont désormais devenus compétitifs par rapport aux solutions propriétaires.

Face à cette réalité sociétale et économique, l’avenir nous dira quelle place pourra prendre ce futur langage M# et quel sera son avenir.

Pour en savoir plus : http://joeduffyblog.com

The post Microsoft : un nouveau langage ? appeared first on Mistra Blog.

Il y a un peu plus d’un an, Google lançait le langage DART. Un objectif simple: créer un langage pour remplacer JavaScript, qui bénéficierait de tous les avantages de la programmation objet. Aujourd’hui, DART reste un langage en cours de création (les modifications de la syntaxe sont fréquentes, importantes et peu rétro compatibles), ce qui ne fait pas de lui un langage utilisable pour des applications professionnelles.

L’initiative de Google, reproché par beaucoup de développeurs web à travers le monde (qui semblent préférer rester sur JavaScript/CoffeeScript/GWT …), est aujourd’hui rejointe par Microsoft qui sort lui aussi son propre langage : TypeScript !

Il aurait été préférable pour nous, développeurs, que Microsoft rejoigne le directoire stratégique de Dart plutôt que créer un fork mais nous allons voir que leur choix a été différent pour des raisons des plus pertinentes.

Rapide tour d’horizon de TypeScript:

• Un langage intégré à la plateforme Microsoft .NET: le module est déjà disponible pour Visual Studio (avec auto complétion et analyse de syntaxe, points noirs du développeur web)
• Une surcouche au Javascript, pas un nouveau langage: Telle une nouvelle norme, Microsoft a fait le choix que sa nouvelle plateforme devait être rétro compatible avec le Javascript. Donc vos développements Javascript seront déjà compatibles TypeScript ! Grande différence avec DART qui nécessite un apprentissage supplémentaire ainsi qu’une réécriture.
• Un développement pensé pour NodeJS: le module NPM (système de paquet de NodeJS) est déjà disponible. Les développeurs vont donc pouvoir faire le choix de TypeScript pour leurs développements serveur. Une meilleure alternative que CoffeeScript ?
• Des types optionnels, comme dans DART
• L’apport de la programmation orientée objet telles que les  classes ou les interfaces (et donc polymorphisme and co.)

The post Microsoft dégaine son DART-killer appeared first on Mistra Blog.