Tootfinder

Chameleon, polymorphic shell engine, by @…
https://www.youtube.com/watch?v=qQpk0XpQkGw&list=PLQYxYCskjP6Vv…

Free to Move: Reachability Types with Flow-Sensitive Effects for Safe Deallocation and Ownership Transfer
Haotian Deng, Siyuan He, Songlin Jia, Yuyan Bao, Tiark Rompf
https://arxiv.org/abs/2510.08939

Free to Move: Reachability Types with Flow-Sensitive Effects for Safe Deallocation and Ownership Transfer
We present a flow-sensitive effect system for reachability types that supports explicit memory management, including Rust-style move semantics, in higher-order impure functional languages. Our system refines the existing reachability qualifier with polymorphic \emph{use} and \emph{kill} effects that record how references are read, written, transferred, and deallocated. The effect discipline tracks operations performed on each resource using qualifiers, enabling the type system to express owners…

Strong Dinatural Transformations and Generalised Codensity Monads
Maciej Pir\'og, Filip Sieczkowski
https://arxiv.org/abs/2510.06777 https://arxiv.org/…

Strong Dinatural Transformations and Generalised Codensity Monads
We introduce dicodensity monads: a generalisation of pointwise codensity monads generated by functors to monads generated by mixed-variant bifunctors. Our construction is based on the notion of strong dinaturality (also known as Barr dinaturality), and is inspired by denotational models of certain types in polymorphic lambda calculi - in particular, a form of continuation monads with universally quantified variables, such as the Church encoding of the list monad in System F. Extending some prev…

Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces
Santiago Cu\'ellar, Naomi Spargo, Jonathan Daugherty, David Darais
https://arxiv.org/abs/2510.02579

Designing Walrus: Relational Programming with Rich Types, On-Demand Laziness, and Structured Traces
We present Walrus, a functional relational programming language embedded in Haskell that extends the miniKanren model with type-polymorphic unification, on-demand laziness, and a range of usability features aimed at practical development. These include use of Haskell Generics for boilerplate reduction, structured debugging traces, and ergonomic support for product types. We describe the design and implementation of Walrus through the lens of our experience developing bidirectional compilers, an…