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.
published MAY 31, 2026★★★★★
Read the sourcemarcosh.github.io/post/2026/05/21/homomorphic-static-analysis.html
[*] Opens in a new tab · no tracking on Lantern's side
Excerpt · Lantern ingestion
Montre comment les contextes Applicative et Monad influencent l’analyse statique, via phantom types et des abstractions catégorielles en Haskell.
Auto-generated excerpt · ~145 charactersview full source →
- Source
- Lobsters
- Ingested
- MAY 31, 2026 · 08:00
- Editorial score
- 3.4 / 5