💧 Liquidhaskell

Refinement Types, SMT Integration, Dependent Haskell, Contract Programming

Making Impossible States Impossible: Type-Safe Domain Modeling with Functional Dependency Injection
cekrem.github.io·22h·
Discuss: Lobsters, Hacker News, r/programming, r/webdev
💧Liquid Types
What would Monads in JavaScript look like?
playfulprogramming.com·1d
🧬Functional Programming
Upgrading the CircuitHub codebase to GHC-9.10
informal.codes·11h
🔗Functional Compilers
X Design Notes: Unifying OCaml Modules and Values
blog.polybdenum.com·9h
🔤Type Theory
Status Week 33
blogs.gnome.org·11h
💧Liquid Types
GHC Developer Blog: GHC 9.10.3-rc4 is now available
haskell.org·1d
🔗Functional Compilers
Rewriting Numaflow (for AI), an open-source stream processing platform, in Rust
blog.numaproj.io·17h·
Discuss: Hacker News
🦀Rust Borrowing
Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·1d
🔮Proof Search
A Lisp in 99LOC
github.com·2d·
Discuss: Hacker News
🔗Lisp
Stream Integration
feldera.com·19h·
Discuss: Hacker News
🌊Stream Processing
Structured (Synchronous) Concurrency
fsantanna.github.io·13h·
Discuss: Lobsters, Hacker News
📞Session Types
The continuation monad: a mathematical introduction
wildonblog.wordpress.com·1d
🔗Functional Compilers
A primer on code generation in Cranelift by Benjamin Bouvier
bouvier.cc·1h
🦀Rust Macros
Lets See What We Can do! with F# Computation Expressions • Andrew Browne • YOW! 2015
youtube.com·23h
🔗Lisp
Functional Programming HOWTO
docs.python.org·1d·
Discuss: Lobsters
🔗Lisp
Compilation Isn't Just for Programming Languages
architecture-weekly.com·21h·
Discuss: r/programming
🌊Stream Processing
MCP Tools and Dependent Types
vlaaad.github.io·1d·
Discuss: Hacker News
💧Liquid Types
InjectionNext: The fourth evolution of Code Injection for Xcode
github.com·10h·
Discuss: Hacker News
🦀Rust Macros
The Java type system is broken
wouter.coekaerts.be·13h·
Discuss: Hacker News
🔒Type Safety
Interoperability in 2025: Beyond the Erlang VM
elixir-lang.org·13h·
Discuss: Lobsters, Hacker News
🔒Linear Types