What is this?
This mirrors the Hacker News front page. Click on tags to filter / exclude. You can combine multiple tags.
Get these tags inside Hacker News itself with these open-source browser extensions for Chrome and Firefox
histre is a power tool for your knowledge. This is a demo of its auto-tagging feature. Learn about its other features here
A bidirectional typechecking puzzle in the Grace programming language
• haskellforall.com
A couple million lines of Haskell: Production engineering at Mercury
• blog.haskell.org
Haskell: Debugging
• wiki.haskell.org
Monad Tutorials Timeline
• wiki.haskell.org
Formal Verification in Any Language for Everybody (lean 4)
• www.dev-log.me
Category Theory Illustrated – Types
• abuseofnotation.github.io
Prefer do notation over Applicative operators when assembling records (2024)
• haskellforall.com
Dataframe 1.0.0.0
• discourse.haskell.org
A sufficiently detailed spec is code
• haskellforall.com
Monuses and Heaps
• doisinkidney.com
Linking Smaller Haskell Binaries (2023)
• brandon.si
Esqueleto Tutorial
• entropicthoughts.com
Browse Code by Meaning
• haskellforall.com
Browse Code by Meaning
• haskellforall.com
Pandoc in the Browser with WASM
• discourse.haskell.org
The Monad Called Free (2014)
• blog.sigfpe.com
The new Haskell Debugger for GHC 9.14
• discourse.haskell.org
Functors, Applicatives, and Monads: The Scary Words You Understand
• cekrem.github.io
Write Yourself a Scheme in 48 Hours: An Introduction to Haskell Through Example [pdf] (2007)
• upload.wikimedia.org
MetaFun: Compile Haskell-like code to C++ template metaprograms
• gergo.erdi.hu
Selective Applicative Functors
• blog.veritates.love
Carnap – A formal logic framework for Haskell
• carnap.io
Liskell – Haskell Semantics with Lisp Syntax [pdf]
• clemens.endorphin.org
Comparing xeus-Haskell and ihaskell kernels
• www.datahaskell.org
Moving Back to a Tiling WM – XMonad
• wssite.vercel.app
Löb and Möb: Loops in Haskell (2013)
• github.com
GHC now runs in the browser
• discourse.haskell.org
A Fast Bytecode VM for Arithmetic: The Virtual Machine
• abhinavsarkar.net