Journal Meetup OCaml - OUPS

21
6
nov.
2015

Bonjour'nal !

Je me présente Romain Calascibetta et je suis un développeur OCaml. Depuis Janvier 2013, des personnes représentant la communauté OCaml ont décidé de lancer un rendez-vous mensuel pour tous ceux qui connaissent OCaml de près ou de loin. Ce rendez-vous prend la forme d'un Meetup avec des conférences animées par des acteurs de l'industrie OCaml, des pizzas, des boissons et des gens cools.

Mais dans ce beau monde déterministe typé, voilà qu'il y eu un effet de bord. En (...)

Journal Rashell, bibliothèque de programmation shell résiliante pour OCaml

Posté par . Licence CC by-sa.
18
26
sept.
2015

Une des difficultés principales dans la programmation shell est la gestion des erreurs dans l'utilisation des tubes (pipes) qui sont pourtant au cœur de la programmation shell, et la plupart des interfaces fournies dans nos langages de programmation préférés ne font rien pour améliorer la situation: la règle générale est que soit les erreurs fans les sous-processus sont ignorées, soit il faut mettre en place une infrastructure assez lourde pour récupérer ces erreurs.

La solution à ce (...)

Sortie de Stog en version 0.15

Posté par (page perso) . Édité par tankey, Benoît Sibaud et tuiu pol. Modéré par patrick_g. Licence CC by-sa.
21
8
juil.
2015
Internet

Stog est un générateur de sites web statiques, écrit en OCaml. La version 0.15 vient de sortir et propose notamment un éditeur en ligne.

Stog est écrit en Ocaml et peut utiliser des greffons OCaml mais il n'est pas nécessaire de connaître le langage pour utiliser le générateur.
La licence utilisée pour le projet est GPL v3.

OcLaunch, launch automagically

Posté par (page perso) . Édité par palm123, Benoît Sibaud et tankey. Modéré par Pierre Jarillon. Licence CC by-sa.
Tags :
18
22
avr.
2015
Bureautique

J'ai commencé à écrire il y a un an déjà une petit programme en ligne de commande qui répond au besoin suivant : lancer progressivement (tout au long d'une session) des programmes, avec un ajout/retrait de la liste aussi aidé et rapide que possible.

logo

Journal Batsh - Scripting Bash, et Windows

Posté par .
Tags :
18
18
mar.
2015

Vous avez a écrire des scripts bash, et des fichiers batch (pour Windows) et vous n’aimez pas l’un ou l’autre, voir les deux?
Séchez vos larmes! Voici (peut-être) la solution à vos souffrances!
Batsh
C’est un langage de programmation basé sur le C, dont le compilo est capable de générer des scripts bash, et batch.
La page du projet sur Github
Une demo en ligne
Et un article dans Linux Magazine
A priori il manque encore quelques trucs, mais pour (...)

Journal Gasoline 0.1, cadriciel applicatif pour OCaml

Posté par . Licence CC by-sa.
17
25
oct.
2014

Le projet Gasoline vise à implépementer un cadriciel pour le
développement d'applications de type Unix avec OCaml. Il est
distribué sous licence CeCILL-B.

Les utilisateurs de Gasoline pourront:

  • Rapidement développer des applications types en utilisant des
    patrons d'application comme “filtre Unix” ou “compilateur”.

  • Écrire des application acquerrant leurs
    paramètres de configuration
    de sources variées, comme la ligne de commande, l'environnement ou
    des fichiers de configuration.

  • Écrire des applications organisées autour de
    composants logiciels
    aux responsabilités bien délimitées.

  • Amorcer et terminer (...)

OCaml 4.02

48
7
sept.
2014
Programmation fonctionnelle

La version 4.02 du langage OCaml a été annoncée vendredi 29 août. Elle fait suite à la version 4.01 publiée en septembre 2013. Il s'agit de l'implémentation la plus vivace du langage ML (Meta language) et l'un des langages fonctionnels les plus utilisés (comme Haskell, XSL, Lisp…)

Journal BSD Make Pallàs Scripts v2.1

Posté par . Licence CC by-sa.
12
10
juil.
2014

Cher journal,

je t'écris pour te donner des nouvelles de BSD Make Pallàs Scripts[1], une famille de macros pour make que j'écris et utilise pour:

  • Préparer et publier des documents avec TeX et LaTeX.
  • Développer des macros TeX et LaTeX avec NOWEB.
  • Développer pour OCaml.
  • Préparer un site web statique avec ONSGMLS.
  • Maintenir les fichiers de configuration de systèmes FreeBSD.

Les macros sont publiées sous licence CeCILL-B, une licence de type BSD.

[1] https://bitbucket.org/michipili/bsdmakepscripts

Je t'avais déjà parlé de la (...)

Forum Programmation.autre Envoyer un multipart/form-data avec ocaml-curl

Posté par . Licence CC by-sa.
Tags :
1
23
oct.
2013

Bonsoir !

J'écrit un petit programme pour envoyer mes TPs sur un serveur en ocaml, en utilisant ocurl, un wrapper pour libcurl.
J'arrive à faire ce que je veux sans soucis en ligne de commande, mais pas avec ocurl

Je veux vraisemblablement envoyé mon fichier en multipart/form-data

Ma ligne

curl -v "myhost/upload2.php" --form "fichier1= @file.tar.gz" --form "MAX_FILE_SIZE=1000000" -b cookie

Qui répond

> POST /upload2.php HTTP/1.1
> User-Agent: curl/7.32.0
> Host: myhost
> Accept: */*
> Cookie: PHPSESSID=4qbihrkhode23902q1v988a114; cookie_test=1
> Content-Length: 10563
(...)

Présentation OCaml le 21 mai 2013 à Paris

Posté par (page perso) . Édité par Nils Ratusznik, Benoît Sibaud, Nÿco et Jiehong. Modéré par Nils Ratusznik. Licence CC by-sa.
Tags :
12
15
mai
2013
Communauté

Le groupe ocaml-paris organise une présentation le mardi 21 mai 2013 à partir de 19h30, au 23 avenue d'Italie, à Paris (75013).

Le programme est le suivant :

  • 19h30-19h40 : intro et nouvelles ;
  • 19h40-20h05 : Esther Baruk : LexiFi : usage d'OCaml pour décrire des contrats financiers ;
  • 20h05-20h30 : Gabriel Scherer : comment mieux interagir avec l'équipe du noyau d'OCaml ;
  • 20h30-20h55 : Benoît Vaugon : que peut-on faire avec le bytecode d'OCaml ?
  • 20h55-21h20 : Frédéric Bour : Merlin, un IDE OCaml pour Vim ;
  • (reporté) Pierre Chambart : les GADT dans la pratique ;
  • 21h20-21h30 : discussions ouvertes/démos flash ;
  • 21h30 : pizzas.

Si vous souhaitez rencontrer les acteurs du langage, et vous plonger dans l'actualité d'OCaml, c'est l'occasion !

Journal Quelques projets intéressants en OCaml

Posté par (page perso) . Licence CC by-sa.
32
28
fév.
2013

Ocaml est souvent enseigné aux étudiant par un prof chiant qui nous impose une soupe théorique qu'on est pas forcément prêt à avaler (plus tard, on comprend son intérêt, mais plus tard).
C'est pourtant un langage puissant et généraliste, tout à fait adapté à faire des logiciels de la vraie vie. Et non, il n'y a pas que ML Donkey.

Je recense donc dans ce journal bookmark quelques projets sympa en OCaml, très divers, mais utiles.
Je précise que je (...)

Journal Annonce : un blog sur une équipe de recherche en langages de programmation

Posté par .
21
8
nov.
2012

Cette année j'ai lancé un blog (anglophone) en commun avec les autres membres de mon équipe de recherche, Gallium, qui travaille sur les langages de programmation et la preuve de programme. C'est aussi l'équipe qui a conçu et maintient le langage de programmation OCaml, donc une partie des articles concernent ce langage et son développement—au passage, c'est un logiciel libre dans l'écosystème duquel de nombreuses contributions sont possibles.

Voilà, on m'a signalé que ça pourrait intéresser des LinuxFRiens donc (...)

Journal The Future of Functional Programming Languages

Posté par (page perso) . Licence CC by-sa.
27
18
oct.
2012

Juste un journal bookmark pour signaler cette très intéressante discussion entre un groupe de personnes qu’il est assez unique de voir ensemble : Xavier Leroy (OCaml), David MacQueen (un des concepteur de ML), Martin Odersky (Scala), Simon Peyton‐Jones(Haskell) et Don Syme (F#).

La discussion est intitulée « The Future of Functional Programming Languages ». Y sont abordés les succès et insuccès de l’approche fonctionnelle, comment elle infuse ailleurs, quelles sont les perspectives, etc.

Cela se passe ici, et c’est disponible en divers formats.

Journal Les types fantômes

Posté par (page perso) . Licence CC by-sa.
Tags :
19
25
août
2012

Dans une application de gestion (au sens large) qui traite nombre informations, on peut facilement se retrouver avec moult variables textuelles voyageant dans le code au gré des traitements.

Le risque arrive vite d'avoir pléthores de fonctions prenant des chaînes en argument. Évidemment une chaîne étant équivalente à une autre, les fautes d'étourderies et autres valeurs mal traitées traitées (inversions, oublis), impliquent assez vite des erreurs survenant à l'exécution.

En paradigme objet, on peut s'amuser à créer un objet par (...)

OCaml 4.00.0 est sorti

Posté par (page perso) . Édité par Lucas Bonnet, Xavier Teyssier, rootix et Bruno Michel. Modéré par Nÿco. Licence CC by-sa.
42
11
août
2012
Programmation fonctionnelle

La nouvelle version 4.00.0 du langage OCaml est disponible en ligne depuis le 26 juillet 2012. Aussi, la réunion des développeurs OCaml (OUD'2012) aura lieu cette années à Copenhague le 14 septembre. Venez nombreux !

Parmi les dernières nouveautés disponibles dans cette version 4.00.0 :

  • l'introduction des types de données algébriques généralisés (Generalized Algebraic Data Types - GADTs), qui permettent de détecter encore plus de bugs dès la compilation ;
  • le générateur de code pour ARM a été complètement réécrit ;
  • les types des modules de première classe sont maintenant inférés quand cela est possible, et les modules peuvent eux-mêmes être extraits par filtrage ;
  • le compilateur est disponible sous forme de bibliothèque, et une nouvelle option -bin-annot permet de sauver l'arbre de syntaxe typé, ce qui devrait permettre l'apparition de nouveaux outils de développement plus évolués (refactoring, etc.) ;
  • optimisation des fonctions partielles ;
  • détection de code mort ou inutile (variables, open, champs, constructeurs, labels, etc.) ;
  • émission de directives CFI pour améliorer le debuggage sous GDB.