Gagner en passant à la corde - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Gagner en passant à la corde

Jean-Christophe Filliâtre

Résumé

Cet article présente une réalisation en OCaml de la structure de cordes introduite par Boehm, Atkinson et Plass. Nous montrons notamment comment cette structure de données s'écrit naturellement comme un foncteur, transformant une structure de séquence en une autre structure de même interface. Cette fonctorisation a de nombreuses applications au-delà de l'article original. Nous en donnons plusieurs, dont un éditeur de texte dont les performances sur de très gros fichiers sont bien meilleures que celles des éditeurs les plus populaires.
Fichier principal
Vignette du fichier
filliatre.pdf (425.94 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

inria-00202841 , version 1 (08-01-2008)

Identifiants

  • HAL Id : inria-00202841 , version 1

Citer

Jean-Christophe Filliâtre. Gagner en passant à la corde. JFLA (Journées Francophones des Langages Applicatifs), INRIA, Jan 2008, Etretat, France. pp.139-152. ⟨inria-00202841⟩
102 Consultations
63 Téléchargements

Partager

Gmail Facebook X LinkedIn More