Maths et Délires
Des maths et des délires
 

Maths et Délires Index du Forum

 FAQFAQ   RechercherRechercher   Liste des MembresListe des Membres   Groupes d'utilisateursGroupes d'utilisateurs   S'enregistrerS'enregistrer 
 ProfilProfil   Se connecter pour vérifier ses messages privésSe connecter pour vérifier ses messages privés   ConnexionConnexion 

Caml et le typage...
Aller à la page Précédente  1, 2
 
Poster un nouveau sujet   Répondre au sujet    Maths et Délires Index du Forum -> Mathématiques taupinales et supérieures
Voir le sujet précédent :: Voir le sujet suivant  
Auteur Message
antony
Mathématicien(ne) fou (folle)


Inscrit le: 24 Juin 2005
Messages: 2176
Localisation: Vincennes/Aulnay

MessagePosté le: 25 Jan 2007, 15:48    Sujet du message: Répondre en citant

Oui, en fait, je raconte n'importe quoi... Cela dit, finalement, une arbre binaire non étiqueté, c'est la même chose que la liste de listes de... pour laquelle tu utilise rectypes, non ? (en prenant le fils gauche comme tête et le fils droit comme queue)
Revenir en haut
Voir le profil de l'utilisateur Envoyer un message privé
Thibaut
Geek mutant fou


Inscrit le: 23 Juin 2005
Messages: 3226
Localisation: MB 318, Montrouge

MessagePosté le: 25 Jan 2007, 16:06    Sujet du message: Répondre en citant

Oui, c'est l'isomorphisme canonique entre arbres binaires ordonnés (finis), et arbres génériques ordonnés (finis). Tu n'as pas vu ça l'an dernier ?
Tiens, d'ailleurs, à propos de cet isomorphisme... Quelle est l'arbre générique ordonné associé à l'arbre binaire ordonné complet de hauteur [tex:4b90db2ebc]n[/tex:4b90db2ebc] ?
_________________
"“The Sith who were famous for being bad, Jacen, were the way they were because they were badly damaged men or women to start with. Not because they were Sith. Usually, they were weak, or deluded, or greedy to begin with. Like your grandfather.”"
Shira Brie aka Lumiya aka Brisha Syo, Legacy of the Force, #1: Betrayal
Revenir en haut
Voir le profil de l'utilisateur Envoyer un message privé Envoyer l'e-mail
antony
Mathématicien(ne) fou (folle)


Inscrit le: 24 Juin 2005
Messages: 2176
Localisation: Vincennes/Aulnay

MessagePosté le: 26 Jan 2007, 9:48    Sujet du message: Répondre en citant

Non, je ne me souviens pas de cela... Mon but était juste de m'en sortir sans rectypes Wink
Est-ce que tu sais plus précisément quelles déclarations de types nécessitent rectypes pour compiler ?
Revenir en haut
Voir le profil de l'utilisateur Envoyer un message privé
Thibaut
Geek mutant fou


Inscrit le: 23 Juin 2005
Messages: 3226
Localisation: MB 318, Montrouge

MessagePosté le: 26 Jan 2007, 17:44    Sujet du message: Répondre en citant

Euh... Pas vraiment.
Si tu n'utilises pas de types sommes / produits, il accepte (sans rectypes) exactement ce qui se type à l'aide de types monomorphes principaux. Lorsqu'il y en a, j'ai l'impression qu'il l'accepte (sans rectypes) dès qu'il n'y a pas de "récursivité flagrante", ie dès qu'il y a des constructeurs qui "masquent" la récursivité.

D'ailleurs, le moyen le plus simple de simuler mes ensembles sans utiliser rectypes est sûrement
Code:
type ens = Ens of ens list;;

Je te laisse déduire le code des autres fonctions "dé-rectypes-isées"...
_________________
"“The Sith who were famous for being bad, Jacen, were the way they were because they were badly damaged men or women to start with. Not because they were Sith. Usually, they were weak, or deluded, or greedy to begin with. Like your grandfather.”"
Shira Brie aka Lumiya aka Brisha Syo, Legacy of the Force, #1: Betrayal
Revenir en haut
Voir le profil de l'utilisateur Envoyer un message privé Envoyer l'e-mail
Thibaut
Geek mutant fou


Inscrit le: 23 Juin 2005
Messages: 3226
Localisation: MB 318, Montrouge

MessagePosté le: 30 Jan 2007, 10:55    Sujet du message: Répondre en citant

Encore une fonction sur ce type ens (= ens list) :

Code:
let rec f = function
  |[]->[]
  |t::q->f q::f t;;


Si quelqu'un me trouve une interprétation ensembliste, ou je suis preneur. En termes d'arbres : pour chaque noeud [tex:a9f804a1bc]n[/tex:a9f804a1bc] qui a au moins un fils, on considère l'arbre [tex:a9f804a1bc]q[/tex:a9f804a1bc] formé par le noeud [tex:a9f804a1bc]n[/tex:a9f804a1bc] et tous ses fils sauf l'ainé, et on le place comme fils aîné de l'ancien fils aîné [tex:a9f804a1bc]t[/tex:a9f804a1bc] de [tex:a9f804a1bc]n[/tex:a9f804a1bc].
En termes d'arbres binaires, ça échange partout les fils gauches et les fils droits.

On remarque que les ordinaux tels que construits par la fonction ord_of_int de tout à l'heure, qui correspondent aux arbres binaires complets d'une hauteur fixée, sont invariants par cette transformation.
_________________
"“The Sith who were famous for being bad, Jacen, were the way they were because they were badly damaged men or women to start with. Not because they were Sith. Usually, they were weak, or deluded, or greedy to begin with. Like your grandfather.”"
Shira Brie aka Lumiya aka Brisha Syo, Legacy of the Force, #1: Betrayal
Revenir en haut
Voir le profil de l'utilisateur Envoyer un message privé Envoyer l'e-mail
Jill-Jênn
Au fait, on t'avait dit d'arrêter de flooder


Inscrit le: 23 Juin 2005
Messages: 6360
Localisation: ENS Cachan, France, Europe, Terre, Univers, ENS Cachan...

MessagePosté le: 03 Fév 2007, 3:07    Sujet du message: Répondre en citant

Z'aviez remarqué que Caml mac c'était un palindrome ?

--
Jill-Jênn, qui remplit
_________________
« Être amoureux, ce n'est qu'une erreur de jugement temporaire. Un peu comme une maladie mentale. »
— Haruhi, dans La Mélancolie de Haruhi Suzumiya
Revenir en haut
Voir le profil de l'utilisateur Envoyer un message privé Envoyer l'e-mail Visiter le site web du posteur Adresse AIM Yahoo Messenger MSN Messenger
Montrer les messages depuis:   
Poster un nouveau sujet   Répondre au sujet    Maths et Délires Index du Forum -> Mathématiques taupinales et supérieures Toutes les heures sont au format GMT + 2 Heures
Aller à la page Précédente  1, 2
Page 2 sur 2

 
Sauter vers:  
Vous ne pouvez pas poster de nouveaux sujets dans ce forum
Vous ne pouvez pas répondre aux sujets dans ce forum
Vous ne pouvez pas éditer vos messages dans ce forum
Vous ne pouvez pas supprimer vos messages dans ce forum
Vous ne pouvez pas voter dans les sondages de ce forum


Powered by phpBB © 2001, 2005 phpBB Group
Traduction par : phpBB-fr.com