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.

Près de deux mille personnes participaient à la 3e édition de BlendWebMix. L’événement lyonnais, à destination de tous les acteurs et apprentis du web (Mix entre les aspects Techno, Business, Design, Marketing et Recherche), a un succès national.

La compétition du Blend Startup Contest a dû départager trois finalistes :  360Medical (le Google des contenus santé 100% fiables simplifiant la vie des médecins en e-santé) ; CityMeo  (une solution pour communiquer sur écrans, créer, planifier et piloter des campagnes d’affichage digitales en temps réel) ; Defab (une solution d’efficacité énergétique grâce à l’utilisation de la chaleur dégagée par les serveurs informatiques pour chauffer l’eau). C’est Defab qui a été choisie et a remporté la compétition.

Outre la compétition, il y avait également d’autres temps forts. Par exemple, 24h pour créer un jeu vidéo mobile addictif avec Blend Game Jam by fHACKtory. Cinq équipes étaient composées de développeurs, graphistes et designers (issus de l’école d’art Bellecour ou encore Epitech, Gamagora, 8SEC et  Corexpert) qui ont travaillé sans relâche. C’est le jeu Dethunder qui a remporté la mise (équipe Tealabs).  Les cinq jeux sont d’ores et déjà téléchargeables sur mobile.

Autre temps fort, les 48h sur Le Makers Innovation Challenge. Nés en Californie, les Makers fédèrent de nouveaux bricoleurs, aussi à l’aise avec une scie qu’avec une imprimante 3D pour fabriquer les objets de demain.

40 enfants de 8 à 12 ans étaient au travail sur Blend Kids. Il y avait deux ateliers, l’un sur l’apprentissage du code (Scratch, code.org et code combat) et l’autre sur la conception d’un film en StopMotion. Ils ont pu démontrer l’intérêt du code dès le plus jeune âge mais aussi tous les aspects créatifs liés au web, et susciter de nouvelles vocations.

Pour en savoir plus : http://www.blendwebmix.com

The post Succès de la 3e BlendWebMix 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.

Google continue son investissement massif pour les développeurs.

Cette semaine, c’est un outil permettant de créer une application sans une ligne de code que nous propose Google: Blocky.

L’objectif, en tout cas pour le moment, n’est pas obligatoirement de vous permettre d’écrire une application, mais plutôt voué à des fins ludiques. En effet, apprendre l’algorithmie n’est pas simple, et elle dépend du langage utilisé.

Ici Blocky est visuel, vous définissez votre algorithme à base de copiés/collés et de glissés/déposés, et il vous propose d’exporter en Javascript, Python et Dart

Après le don de App Inventor à Apache, ce projet semble intéressant même s’il est encore compliqué de voir où essaye de nous emmener Google.

De notre côté, nous allons voir si cet outil peut être utilisable dans nos formations d’algorithmie

The post Google Blocky, un IDE en glisser/déposer appeared first on Mistra Blog.