Type indexing in OCaml for function search in a large ecosystem - Inria - Institut national de recherche en sciences et technologies du numérique
Mémoires D'étudiants -- Hal-Inria+ Année : 2022

Type indexing in OCaml for function search in a large ecosystem

Résumé

When it comes to finding functions in libraries, in whichever language, programmers struggle with the need for efficient tools able to retrieve all relevant functions in a reasonable time. For the OCaml language, dowsindex was developed to offer a solution to this problem, via the notion of isomorphisms of types. It relies on the construction of an Index to precompute information on the libraries and thus facilitate the search algorithm. We aim to improve its performances by proposing a new data structure representing the matching relation between types, along with a new heuristic to optimize the type search.
Fichier principal
Vignette du fichier
main.pdf (1.84 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03940573 , version 1 (16-01-2023)

Identifiants

  • HAL Id : hal-03940573 , version 1

Citer

Pauline Garelli. Type indexing in OCaml for function search in a large ecosystem. Programming Languages [cs.PL]. 2022. ⟨hal-03940573⟩
38 Consultations
61 Téléchargements

Partager

More