Tail Modulo Async/Await - Extended Abstract - Archive ouverte HAL
Communication Dans Un Congrès Année : 2024

Tail Modulo Async/Await - Extended Abstract

Résumé

Tail-calls are an essential feature of functional programming languages: they allow to write iterations in a declarative fashion, using simple recursive functions, unbothered by implementation details such as stack space. They work by giving special treatment to function calls in “terminal position”, i.e.~the last thing a function would do. Indeed, such calls never need to be returned from, meaning that adding an entry in the stack is not necessary. Tail-call and tail-recursion, since their introduction in the 70s, have been mainstay in many programming languages and are available in virtually all modern production compilers (C, Rust, Scheme, Haskell, OCaml, …). In this talk, we consider the treatment of tail call and tail recursions in an Asynchronous context, inspired by the recent work on Tail modulo Cons.
Fichier principal
Vignette du fichier
main.pdf (431.75 Ko) Télécharger le fichier
slides.pdf (342.04 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04794434 , version 1 (20-11-2024)

Identifiants

  • HAL Id : hal-04794434 , version 1

Citer

Vivien Gachet, Ludovic Henrio, Gabriel Radanne. Tail Modulo Async/Await - Extended Abstract. FPROPER, Sep 2024, Milan, Italy. ⟨hal-04794434⟩
0 Consultations
0 Téléchargements

Partager

More