Détail du document
Identifiant
oai:arXiv.org:2408.14345
Sujet
Computer Science - Programming Lan...Auteur
Castagna, Giuseppe Duboc, GuillaumeCatégorie
Computer Science
Année
2024
Date de référencement
11/09/2024
Mots clés
typing gradual languagesRésumé
We define several techniques to extend gradual typing with semantic subtyping, specifically targeting dynamic languages.
Focusing on the Elixir programming language, we provide the theoretical foundations for its type system.
Our approach demonstrates how to achieve type soundness for gradual typing in existing dynamic languages without modifying their compilation, while still maintaining high precision.
This is accomplished through the static detection of "strong functions", which leverage runtime checks inserted by the programmer or performed by the virtual machine, and through a fine-grained type analysis of pattern-matching expressions with guards.
Castagna, Giuseppe,Duboc, Guillaume, 2024, Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
Projection-Specific Heterogeneity of the Axon Initial Segment of Pyramidal Neurons in the Prelimbic Cortex
heterogeneity projection-specific
