IdentifiantMot de passe
Loading...
Mot de passe oublié ?Je m'inscris ! (gratuit)
Index du forum

Recherche:

Type: Messages; Utilisateur: SpiceGuid

Recherche: Recherche effectuée en 0,02 secondes.

  1. Votes reçus
    +0 -0
    Réponses
    4
    Affichages
    3 529

    :arrow: J'ai terminé l'écriture de l'interpréteur...

    :arrow: J'ai terminé l'écriture de l'interpréteur en 2D. Quelques tests m'ont confirmé que le programme ci-dessus résout bien le jeu des tours de Hanoï.

    Ça me motive pour la traduction d'un...
  2. Votes reçus
    +0 -0
    Réponses
    4
    Affichages
    3 529

    Le jeu des tours de hanoï

    :arrow: Déplacer n+1 anneaux de la tige A vers la tige C :


    let rec zfix f x = f (zfix f) x

    let hanoi hn src tmp dst acc n =
    if n = 0 then
    src::dst::acc
    else
    hn tmp src dst...
  3. Votes reçus
    +0 -0
    Réponses
    4
    Affichages
    3 529

    La lettre Caml

    Il y a un bon algo de tree-drawing pyramidal dans La lettre Caml n°5.
    Et un algo de β-réduction dans La lettre Caml n°6.
    J'ai aussi lu des choses sur la KAM et la G-machine.

    Hé bien disons que...
  4. Votes reçus
    +0 -0
    Réponses
    4
    Affichages
    3 529

    [Idée]Lambda-calcul non typé 100% graphique

    La palette de composants graphiques :

    http://damien-guichard.developpez.com/illustrations/developpez_0114.png

    Il n'y a en tout que trois composants logiques :

    La boîte-ronde pour...
Affichage des résultats 1 à 4 sur 4