FUNARCH 2026
2026-08-29
Indianapolis, United States
FUNARCH ·
[FUNARCH 2023, FUNARCH 2024, FUNARCH 2025, FUNARCH 2026]
who it's for
functional programmers, software architects, Rust developers, backend engineers, distributed systems engineers, Cardano developers, performance engineers
topics
Plinth GHC plugin; Plutarch embedded DSL; Cardano smart contract validators; typestate pattern in Rust; newtype parse-dont-validate; Criterion microbenchmarks in Rust; algebraic applicative architecture; pairwise Merkle-tree synchronization; event-sourced SQLite backend; causal graph state resolution; opportunistic mutation and ARC; defunctionalization for performance
| title | author | length |
|---|---|---|
| From Lambda to Ledger: An Architectural Comparison of Plinth and Plutarch | Seungheon Oh, Ziyang Liu, Philip Wadler | 28m |
Compares two Cardano smart‑contract approaches: a GHC plugin (Plinth) vs an embedded DSL (Plutarch), implements seven validators and measures source size… | ||
| Functional Architecture is Algebraic Architecture | Jeffrey M. Young | 17m |
Claim: functional architecture equals algebraic architecture — systems become describable as applicative expressions whose typeclass laws enumerate design… | ||
| Functional State Machines in Rust: Typestate and Newtype Patterns | Leon Heuer, Falk Woldmann Lu, Jan Haase | 36m |
Three production Rust case studies (detail-view service, JSON tag handler, AWS return-status lambda) use static metrics, four expert interviews and Criterion… | ||
| Functional Mechanical Sympathy | Richard Feldman | 01h 15m |
Argues that performance drives adoption: many popular JavaScript build tools are rewritten in Rust/Go rather than FP languages, and benchmarks show practical… | ||
| Local-First Distributed Configuration | Michael Sperber | 35m |
A distributed configuration system called Lokalisierung automatically reconfigures employee tablets across a few hundred car‑inspection lanes using pair-wise… | ||
| nothing matches | ||