Commentaires pour OCaml de pied en cap https://blog.developpez.com/ocamlblog Thu, 14 Feb 2013 20:32:54 +0000 hourly 1 https://wordpress.org/?v=4.1.42 Commentaires sur Exemple d’utilisation du widget GtkSourceView 2.0 par SpiceGuid https://blog.developpez.com/ocamlblog/p8057/informatique/title_145#comment-54 Thu, 14 Feb 2013 20:32:54 +0000 #comment-54 Bonjour,

Et merci pour ta réponse.

Le paquet c’est pour installer GSourceView2 qui n’est pas installé en standard sous Puppy Linux où l’éditeur Geany est lié statiquement à GSourceView2. Donc je dois installer les paquets gtksourceview-2.4.2-pup4.pet et gtksourceview_DEV-2.4.2-pup4.pet, pas d’autre solution. Après vérification mon GTK installé est 2.24.8 donc pas très éloigné du tien. Mais pas d’autocomplétion pour moi. Il n’y a pas de dépôts officiels OCaml et LablGTK2 pour Puppy Linux, je les installe à partir de la source :)

]]> Commentaires sur Exemple d’utilisation du widget GtkSourceView 2.0 par Cacophrene https://blog.developpez.com/ocamlblog/p8057/informatique/title_145#comment-53 Wed, 13 Feb 2013 05:34:20 +0000 #comment-53 Bonjour,

Je viens de faire un essai. Le code compile tel quel avec OCaml 4.00.1 et Lablgtk2 2.16 (avec GTK 2.24.13 installé sur la machine). Et ici un lien vers l’ajout de l’autocompletion dans GSourceView2. Petite question bête : pourquoi passer par les paquets ? C’est l’assurance d’une certaine homogénéité de ce qui est installé sur la machine, certes, mais on installe généralement sans difficulté les dernières versions d’ocaml, findlib et lablgtk2 à partir des sources. Si lablgtk2 2.16 n’apporte pas de révolution, OCaml 4.00 apporte beaucoup plus (la version des dépôts est la 3.12 non ?).

]]> Commentaires sur Exemple d’utilisation du widget GtkSourceView 2.0 par Cacophrene https://blog.developpez.com/ocamlblog/p8057/informatique/title_145#comment-52 Tue, 12 Feb 2013 19:05:12 +0000 #comment-52 Bonsoir,

Si tu regardes le changelog de lablgtk 2.16, tu verras que les modifications apportées ne sont pas vraiment révolutionnaires… cela dit, il y a tout de même quelques ajouts intéressants. Par exemple, il y a maintenant de quoi faire de l’autocompletion avec GSourceView2. Je projette de faire un petit billet sur ça prochainement, histoire de redonner vie à ce blog qui sommeille faute de temps…

Je présume que ce bout de code compile donc toujours tel quel avec la version 2.16, mais je ne l’ai pas testé. Je vais le faire prochainement. Je te tiens au courant.

À bientôt,
Cacophrène

]]> Commentaires sur Exemple d’utilisation du widget GtkSourceView 2.0 par SpiceGuid https://blog.developpez.com/ocamlblog/p8057/informatique/title_145#comment-51 Tue, 12 Feb 2013 11:44:59 +0000 #comment-51 La version 2.4.2 est la plus récente du paquet GtkSourceView pour Racy Puppy Linux.
Du coup je ne peux pas installer LablGtk 2.16 mais seulement LablGtk 2.14.2
J’ai deux petites questions :
• ton code compile toujours tel quel avec LablGtk 2.16 ?
• à part les extensions / mises à jour de GtkSourceView2 y-a-t-il des apports significatifs entre LablGtk 2.16 et LablGtk 2.14.2 ?

Je précise que ma version installée est GTK 2.28

]]> Commentaires sur Héberger un code source par SpiceGuid https://blog.developpez.com/ocamlblog/p10169/informatique/title_200#comment-50 Tue, 12 Feb 2013 11:23:09 +0000 #comment-50 Pour l’instant mon projet ERic est toujours hébergé sur DVP :

http://www.developpez.net/forums/f1699/applications/projets/projets-heberges/eric/

]]> Commentaires sur Polymorphic variants and type constraints par cacophrene https://blog.developpez.com/ocamlblog/p9536/informatique/polymorphic_variants_and_type_constraint#comment-18 Fri, 01 Jul 2011 19:18:47 +0000 #comment-18 The resulting types seem to be a bit more precise than the option monad alone, but you are right, this is just a tricky toy. I don’t expect to use it in real life. However, it was so fun to think about it. ;-)

]]> Commentaires sur Polymorphic variants and type constraints par spiceguid https://blog.developpez.com/ocamlblog/p9536/informatique/polymorphic_variants_and_type_constraint#comment-17 Fri, 01 Jul 2011 15:51:26 +0000 #comment-17 It does not scale well to encode constraints in numeric types.
Soon nearly all operations will return an option type.
That basically mean you are using the option monad.
And the option monad is just a replacement for disciplined exception.

]]> Commentaires sur Journées Méditerranéennes du Logiciel Libre (JM2L 2010) par spiceguid https://blog.developpez.com/ocamlblog/p9537/actualites/journees_mediterraneennes_du_logiciel_li_2010#comment-42 Fri, 01 Jul 2011 15:21:32 +0000 #comment-42 Bonjour,

Je crois savoir que Pharo est bien un environnement pour du Smalltalk standard. C’est un fork de l’environnement Squeak, Squeak est un IDE + un laboratoire d’idées pour la composition visuelle de widgets, tandis que Pharo est est un IDE plus classique pour produire des applications avec un look natif.

]]> Commentaires sur Journées Méditerranéennes du Logiciel Libre (JM2L 2010) par cacophrene https://blog.developpez.com/ocamlblog/p9537/actualites/journees_mediterraneennes_du_logiciel_li_2010#comment-41 Tue, 03 May 2011 08:55:57 +0000 #comment-41 Bonjour,

Merci pour votre message. Je ne manquerai pas la prochaine conférence !
J’espère aussi pouvoir concrétiser ma proposition de présentation d’OCaml à l’occasion des JM2L 2011.

Cordialement,
Cacophrène

]]> Commentaires sur Journées Méditerranéennes du Logiciel Libre (JM2L 2010) par artlogiciel https://blog.developpez.com/ocamlblog/p9537/actualites/journees_mediterraneennes_du_logiciel_li_2010#comment-40 Mon, 02 May 2011 19:40:23 +0000 #comment-40 merci pour cet avis !
La vidéo et le support de présentation sont accessible en liens depuis ce post : http://blog.artisanlogiciel.net/post/2011/05/02/Presentation-SSL-aux-Journées-Méditerranéennes-du-libre

Mais pour savoir ce qu’Alice a à dire à Bob il faudra attendre les JM2L 2011 !

]]>