Sortie de Stog en version 0.15

Posté par  (site web personnel) . Édité par bubar🦥, 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  (site web personnel) . Édité par palm123, Benoît Sibaud et bubar🦥. Modéré par Pierre Jarillon. Licence CC By‑SA.
Étiquettes :
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  .
Étiquettes :
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  (site web personnel) . 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  (site web personnel) . 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.
Étiquettes :
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  (site web personnel) . Édité par Nils Ratusznik, Benoît Sibaud, Nÿco et Jiehong. Modéré par Nils Ratusznik. Licence CC By‑SA.
Étiquettes :
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  (site web personnel) . 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  (site web personnel) . Licence CC By‑SA.
Étiquettes :
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  (site web personnel) . Licence CC By‑SA.
Étiquettes :
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  (site web personnel) . Édité par Lucas Bonnet, Xavier Teyssier, rootix et Bruno Michel. Modéré par Nÿco. Licence CC By‑SA.
Étiquettes :
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.

Ocsigen : repenser le développement des applications HTML5

Posté par  . Édité par baud123, Nÿco, claudex, Pierre Jarillon et Bruno Michel. Modéré par Pierre Jarillon. Licence CC By‑SA.
Étiquettes :
39
28
juin
2012
Programmation fonctionnelle

Ocsigen est une technologie libre de développement de sites et applications Web client-serveur. Une de ses particularités est d'offrir la possibilité d'écrire les côtés client et serveur non seulement dans le même langage, OCaml, mais comme un seul et même programme. Particulièrement bien adaptée au développement d'applications HTML5 très dynamiques, Ocsigen permet également de repenser et simplifier l'implémentation des comportements standard des sites Web traditionnels (signets, bouton « back », liens, formulaires, etc.). En outre, il permet de combiner ces deux approches de manière très naturelle.

Ocsigen met l'accent essentiellement sur deux points : d'une part, offrir un langage très expressif, ce qui permet d'écrire du code simple et court ; d'autre part, aider à produire du code et des applications fiables et faciles à maintenir. C'est la raison pour laquelle Ocsigen utilise OCaml, un langage de programmation compilé très puissant et au système de type très riche. La grande expressivité d'OCaml est complétée par un grand nombre de nouveaux concepts inédits et spécifiques au Web (services, sessions sophistiquées, etc.) qui permettent de simplifier l'implémentation de comportements dynamiques complexes. De plus, Ocsigen exploite au maximum le typage d'OCaml pour qu'un maximum de garanties de fiabilité soient données dès la compilation (par exemple la validité des liens). Cela va même jusqu'à la vérification à la compilation que les pages générées seront conformes aux recommandations du W3C !

NdM : Ocsigen est sous licence LGPL 2.1

OCaml 3.10.0 est sorti

Posté par  . Modéré par Nÿco.
Étiquettes :
0
23
mai
2007
Technologie
Le 16 mai est sorti la version 3.10.0 de Objective Caml, implémentation du langage Caml (Categorical Abstract Machine Language) créé par l'INRIA.

Objective Caml est la principale variante du langage Caml. Du point de vue du langage, elle étend le noyau du langage Caml avec une couche orientée objets complète, ainsi qu'un système de modules puissant. Un système de types polymorphe avec inférence automatique des types assure la cohérence de ces traits. Le langage est entièrement développé et maintenu par l'INRIA. Il est distribué sous licence QPL 1.0 tandis que les bibliothèques sont sous licence LGPL 2.

En plus des sources, des binaires sont proposés pour GNU/Linux (format RPM, deb ou Gentoo) et pour Win32. Les binaires Mac OS X ne sont pas encore disponibles.

NdR: Merci à benja pour son journal.