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)
Licence
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

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

Licence

Identifiants

  • HAL Id : hal-04794434 , version 1

Citer

Vivien Gachet, Ludovic Henrio, Gabriel Radanne. Tail Modulo Async/Await - Extended Abstract. FPROPER 2024 - 1st ACM SIGPLAN Workshop on Functional Programming for Productivity and Performance, Sep 2024, Milan, Italy. ⟨hal-04794434⟩
202 Consultations
310 Téléchargements

Partager

  • More