Haskell 2020
| title | author | length |
|---|---|---|
| Assessing the Quality of Evolving Haskell Systems by Measuring Structural Inequality | solo coms, bastian heren, johan during all | 22m |
Empirical study analyzes 135 Haskell projects to parameterize an ideal value deviation benchmark, then correlates aggregated module metrics with post-release… | ||
| Describing Microservices using Modern Haskell (Experience Report) | Claudia Corpa, Alejandro Savannah | 23m |
Mu (new-haskell) is a Haskell DSL that generates type-level schemas from industry IDLs like Protocol Buffers and Avro, targets gRPC and GraphQL transports, and… | ||
| Towards Secure IoT Programming in Haskell | Nachiappan Valliappan, Robert Krook, Alejandro Russo, Koen Claessen | 22m |
Haski is an embedded DSL in Haskell that generates C for Zephyr OS, claiming to let developers write Lustre-style synchronous stream programs in Haskell and… | ||
| A Low-Latency Garbage Collector for GHC (Demo) | ben gumari | 20m |
A hybrid collector moves short-lived allocations with the existing copying GC while promoting old data into a non-moving generation collected with concurrent… | ||
| Relational Lenses as a Library (Demo) | rudy horn | 23m |
Claim: relational lenses run as a Haskell library by pushing the static checks into the type system rather than extending the compiler. Implementation uses… | ||
| Scripted Signal Functions | David A. Stuart | 22m |
Introduces two new primitive transforms on arrow-based signal functions, builds a monad of modes and a scripting API for Yampa-style FRP, and implements… | ||
| Finger Trees Explained Anew, and Slightly Simplified (Functional Pearl) | Koen Claessen | 24m |
Stepwise refinement shows why Hinze and Paterson’s Finger Tree needs one-or-three-element buffers and nodes of two-or-three values, claims a simplified… | ||
| Type Your Matrices for Great Good: A Haskell Library of Typed Matrices and Applications (Pearl) | armand sanch | 23m |
An inductive, block-structured matrix type implements dimensions in the type system so matrices are correct-by-construction and common operations (matrix… | ||
| A Graded Monad for Deadlock-Free Concurrency (Functional Pearl) | Andrej Ivašković, Alan Mycroft | 24m |
Claims a type-oriented framework that guarantees deadlock freedom by encoding a total lock order in types and implements it as a graded monad over IO. Lock… | ||
| Composing Effects into Tasks and Workflows | if perez, jeffrey bernardi, Richard A. Eisenberg | 24m |
Combines effect handlers with arrow-like structures to build a composable workflow library that separates configuration time and process time. Implements a… | ||
| Effect Handlers in Haskell, Evidently | Ningning Xie, Daan Leijen | 24m |
Presents a Haskell library called consort.ev.f that implements the evidence-passing translation from polymorphic algebraic effects to plain lambda calculus… | ||
| Staged Sums of Products | Anders Leur | 22m |
Generics-sop programs are often ~6x slower than handwritten code because of runtime conversions; this work builds staged-sop using Typed Template Haskell to… | ||
| Eliminating Bugs with Dependent Haskell (Experience Report) | noem zilberstein | 23m |
Facebook uses Dependent Haskell to harden the Haskell Thrift compiler and Sigma rules, proving practical at production scale. The Haskell compiler encodes… | ||
| Using STM for Modular Concurrency: An Industrial Experience Report on Software Transactional Memory | Duncan Coutts | 49m |
Industrial Cardano node reimplementation uses Haskell STM pervasively and claims STM scales to a large, security-sensitive, concurrent system built over ~20… | ||
| Stitch: The Sound Type-Indexed Type Checker (Functional Pearl) | Richard A. Eisenberg | 24m |
Stitch is a full STLC interpreter with parser, length-indexed AST, type checker, evaluator, common-subexpression elimination and a REPL, implemented in Haskell… | ||
| nothing matches | ||