articleLobstersstatic-analysis · category-theory+ NEW
Homomorphic static analysis
Montre comment les contextes Applicative et Monad influencent l’analyse statique, via phantom types et des abstractions catégorielles en Haskell.
publié 31 MAI 2026★★★★★
Lire la sourcemarcosh.github.io/post/2026/05/21/homomorphic-static-analysis.html
[*] Ouvre dans un nouvel onglet · pas de tracking côté Lantern
Extrait · ingestion Lantern
Montre comment les contextes Applicative et Monad influencent l’analyse statique, via phantom types et des abstractions catégorielles en Haskell.
Extrait automatique · ~145 caractèresvoir la source complète →
- Source
- Lobsters
- Ingéré
- 31 MAI 2026 · 08:00
- Score édito
- 3.4 / 5