Discussion :

[asymptotik]

Bonsoir,

j'ai réalisé un petit programme en Ocaml qui implémente la beta réduction des lambda termes, autrment dit si on donne au programme un lambda terme normalisable il rend la forme normale.
J'aimerais savoir comment réaliser une fenêtre qui demanderait à l'utilisateur de rentrer un lambda terme et qui rendrait dans une fenêtre de sortie la forme normale si elle existe.

Merci par avance pour vos conseils.
Cordialement

[gorgonite]

regardes LablGTK

[SpiceGuid]

Tu as implanté un réducteur comparable à celui de La Lettre de Caml-Light n°6
J'imagine que tu passes par la forme de De-Bruijn.

Tu peux faire une entrée-sortie console.
Sinon pour une interface graphique il n'y a que LablGtk.

Tu peux faire une GtkWindow contenant un GPack.paned `VERTICAL séparant verticalement deux GtkSourceView, celui de dessus pour éditer l'entrée, celui de dessous pour afficher la sortie. Pour naviguer dans les deux fenêtres de code il faudra empacketer chacune dans un GBin.scrolled_window.
Une autre bonne idée ce serait une GButton.toolbar ~style:`ICONS pour entrer les caractères spéciaux comme λ ou ↦ .
Remarque: les caractères GTK doivent être codés en UTF-8 donc ↦ est en fait le string "\xE2\x86\xA6".

Ta commande de compilation ressemblera à ceci:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

ocamlopt -w s -o lambda -I +lablgtk2 lablgtk.cmxa lablgtksourceview2.cmxa gtkInit.cmx lambda.ml

Tu trouveras plus de tutoriels et d'exemples de code, y compris pour GtkSourceView, en parcourant les deux pages du blog de Cacophrène.

[asymptotik]

Bonjour,

merci pour vos réponses, çà m'a l'air assez compliqué étant donné que je ne connais pas du tout LablGtk, ni les interfaces graphiques en général (je suis débutant en programmation).
Pour une simple entrée/sortie console dans un premier temps comment dois-je m'y prendre ?

Merci pour vos lumières

[Cacophrene]

Bonsoir,

Pour des entrées/sorties sur la console, pas besoin de LablGTK. Regarde du côté des fonctions read_line (pour l'entrée) et print_endline (pour la sortie).

Ensuite, si tu veux faire une interface, on est là pour t'aider, pas de panique ! LablGTK c'est "juste" une histoire de boîtes imbriquées comme des poupées gigognes.

Cordialement,
Cacophrène