CamlSearch

recherche de fonctions CamlLight par type via isomorphismes de types

Vous pouvez rechercher ici une fonction dans une librairie CamlLight, en utilisant son type. L'algorithme de recherche prendra en compte les isomorphismes de types dont la thèorie est étudiée dans plusieurs travaux (voyez par exemple ce bouquin et cette page en ligne).

Ecrivez le type de la fonction que vous recherchez, en choisissant les librairies ou modules ou vous voulez chercher et le type de la recherche.

Par exemple, pour trouver tous les operateurs binaires sur les entiers, vous pouvez taper int -> int -> int (ou aussi int * int -> int: ces deux types sont isomorphes). Aussi, 'a*('b->'a->'a)->'b list ->'a peut reperer les iterateurs sur les listes polymorphes.

Type:

Dans quelle(s) librairie(s)?

  1. la librairie standard.
  2. la librarie Unix.
  3. la librarie MLgraph.
Comment rechercher?:

  1. types plus generaux.
  2. types egaux modulo isomorphismes.
  3. types moins generaux (les variables de filtrage ont la forme _x).
Traitement special du type unit:
  1. ne pas collapser unit.
  2. collapser unit.
La sortie:

  1. Pas de noms de modules comme prefixes.
  2. Plus d'information sur les modules et la profondeur du filtrage.
Page maintenue par Roberto Di Cosmo, E-Mail:roberto@dicosmo.org