Logiciel Programmation
Programmation
logo

Le cœur du projet est un compilateur destiné à montrer qu'il est possible de créér en langage de programmation où le compilateur peut vérifier les opérations sur les valeurs du programme de la création de ces valeurs jusqu'à leur destruction. Cela permet d'éviter qu'un programme plante parce qu'une opération illogique a pu être introduite dans le comportement légitime d'une valeur. Le langage sera dans un premier temps dédié à l'utilisation de bases de données non relationnelles, fondées sur la notion d'ensemble.

Par exemple, le compilateur a pour vocation de refuser un code qui pourrait extraire une valeur d'une liste vide, si le type représentant une liste l'interdit.

Le compilateur n'est pour le moment qu'à l'état de spécifications, et les bonnes idées s'amassent sans toutefois trouver suffisamment de cohérence entre elles pour avoir un langage utilisable en pratique.

Intervenant Julien Bruguier. (pappy)
  • 2013 Présentation aux JM2L

Développeur C++ dans une société pas loin d'ici depuis 2006.

Scribouilleur de logiciels libres depuis 2003 avec quelques projets inutiles-donc-indispensables à la clef.

Participation aux associations locales sur Internet et les logiciels libres.

Assistant de coordination JM2L 2012.



Créé le 06 oct. 2013