‘Haskell’ directory
- See Also
- Gwern
- “
Utext.hs”, Gwern 2026 - “ZFS: Oleg Kiselyov’s Zipper File System”, Sabry et al 2008
- “Statistical Notes”, Gwern 2014
- “Archiving URLs”, Gwern 2011
- “Problem 14 Dynamic Programming Solutions”, Gwern et al 2022
- “Auto-Smallcaps Filter”, Gwern 2020
- “About Gwern”, Gwern 2009
- “Solving Pascal’s Mugging With Dynamic Programming”, Gwern 2019
- “Spaced Repetition for Efficient Learning”, Gwern 2009
- “Prediction Markets”, Gwern 2009
- “Nootropics”, Gwern 2010
- “The Kelly Coin-Flipping Game: Exact Solutions”, Gwern et al 2017
- “Summers of Code, 2006–2013”, Gwern 2009
- “Writing a Wikipedia Link Archive Bot”, Gwern 2008
- “𝐻𝑃: 𝑀𝑒𝑡𝘩𝑜𝑑𝑠 𝑜𝑓 𝑅𝑎𝑡𝑖𝑜𝑛𝑎𝑙𝑖𝑡𝑦 Review Statistics”, Gwern 2012
- “Candy Japan’s New Box A/B Test”, Gwern 2016
- “Who Wrote The 𝐷𝑒𝑎𝑡𝘩 𝑁𝑜𝑡𝑒 Script?”, Gwern 2009
- “2012 Election Predictions”, Gwern 2012
- “𝑇𝑜𝑢𝘩𝑜𝑢 Music by the Numbers”, Gwern 2013
- “Bitcoin Donations on The Pirate Bay”, Gwern 2014
- “Archiving GitHub”, Gwern 2011
- “𝑆𝐼𝐶𝑃 Chapter 1.1 Notes”, Gwern 2009
- “Golfing Run Length Encoding in Haskell”, Gwern 2008
- “Writing a Wikipedia RSS Link Archive Bot”, Gwern 2009
- “Choosing Software”, Gwern 2008
- “Hypertime in Haskell”, Gwern 2012
- “𝑆𝐼𝐶𝑃 Chapter 1.3”, Gwern 2010
- “Resilient Haskell Software”, Gwern 2008
- “𝑆𝐼𝐶𝑃 Chapter 1.2 Notes”, Gwern 2009
- “
- Links
- “The Evolution of a Lean Programmer: Various Implementations and Proofs of Insertion Sort in Lean”
- “Which Programming Languages Are Most Token-Efficient?”, Alderson 2026
- “Building Tools for Traders [At Jane Street]”, Henry & Minsky 2025
- “Coding Malware in Fancy Programming Languages for Fun and Profit”, Apostolopoulos et al 2025
- “My Technological Regrets [In Designing Elm Apps]”, Thomas 2025
- “On Ada’s Dependent Types, and Its Types As a Whole”, nytpu 2024
- “Generalized Dijkstra in Haskell”, flupe 2024
- “Pandoc Proposal (#10077): Preserve Leading, Trailing, and Multiple Interword Spaces [Rejected]”, me-kell 2024
- “Embracing Flexibility in Haskell Libraries: The Power of Records of Functions”, Duncan 2024
- “Functional Ownership through Fractional Uniqueness”, Marshall & Orchard 2023
- “Typed Design Patterns for the Functional Era”, Crichton 2023
- “Understanding Jane Street: Strong Language”, Hobart 2022
- “Quickstrom: Property Based Acceptance Testing With LTL Specifications”, O’Connor & Wickström 2022
- “Combinator-Nbe:
nbe.agda§ Line 64”, Huang 2022 - “The Lean 4 Theorem Prover and Programming Language”, Moura & Ullrich 2021
- “You Could Have Invented Fenwick Trees”
- “Survey Data on Cis and Trans Women Among Haskell Programmers”, Davis 2020
- “Parse, Don’t Validate”
- “Keep Your Laziness in Check”, Foner et al 2018
- “Immutability Changes Everything”, Helland 2016
- “The Expression Problem and Its Solutions”
- “Modular Implicits”, White et al 2015
- “We Need Less Powerful Languages [Langsec]”, Plant 2015
- “Practical Probabilistic Programming With Monads”, Ścibior et al 2015
- “Generic Zipper: the Context of a Traversal”, Kiselyov 2015
- “You Could Have Invented Parser Combinators”
- “The Configuration Complexity Clock”, Hadlow 2012
- “You Could Have Invented Fractional Cascading”, ezyang 2012
- “Hyphenation: Configurable Knuth-Liang Hyphenation”, Kmett 2012
- “You Could Have Invented Zippers”, ezyang 2010
- “UHC: The Architecture of the Utrecht Haskell Compiler”, Dijkstra et al 2009
- “Happy Co-Valentine’s Day!”, Vishal 2009
- “Omega Monad: Enumerating a Context-Free Language”, Palmer 2008
- “Infinite Sets That Admit Fast Exhaustive Search”, Escardo 2007
- “Static Typing for a Faulty Lambda Calculus”, Walker et al 2006
- “You Could Have Invented Monads! (And Maybe You Already Have.)”, sigfpe 2006
- “Total Functional Programming”, Turner 2004b
- “The Evolution of a Haskell Programmer”, Ruehr 2001
- “Some Reflections on Strachey and His Work”, Scott 2000b
- “Bridging the Algorithm Gap: A Linear-Time Functional Program for Paragraph Formatting”, Moor & Gibbons 1999
- “Typability and Type Checking in System F Are Equivalent and Undecidable”, Wells 1999
- “A Functional Description of TeX’s Formula Layout”, Heckmann & Wilhelm 1997
- “Using Circular Programs to Eliminate Multiple Traversals of Data”, Bird 1984
- “From Löb’s Theorem to Spreadsheet Evaluation”
- “The Three Projections of Doctor Futamura”
- “Shuffles, Bayes’ Theorem and Continuations.”
- “The Ur Programming Language Family”
- “Accidentally Quadratic”
- “Arbtt: the Automatic, Rule-Based Time Tracker § About”
- “Index of /code.haskell.org/hbuild/”
- “A Couple Million Lines of Haskell: Production Engineering at Mercury”, Duncan 2026
- “Introducing Coalton: How to Have Our (Typed) Cake and (Safely) Eat It Too, in Common Lisp”
- “The Dhall Configuration Language”
- “Haskell: A Great Procedural Language”
- “GhcLiVE Project Escapes!”
- “
roguetype: The First Ever Rogue-Like Written in the OCaml Type System”, Octachron 2026 - “Vera”
- “Parallelize Cabal Build over Modules”
- “
install -J: Allow Limiting the Number of Parallel Linker Invocations”, Glushenkov 2026 - “Decide on Core Principles against Which to Judge Breaking Changes #12 § Simon Mar Comment”, Mar 2026
- “
hlint: Haskell Source Code Suggestions”, Mitchell 2026 - “Articles”
- “YHC‘s Sort Is Faster Than GHC’s”
- “#3843: Merge Plugins into HEAD”
- “#910: --Make Should Have a -J Flag for Parallel Building”
- “Wiki”
- “Immix”
- “New Plugins • Wiki • Glasgow Haskell Compiler / GHC”
- “Hackage: Introduction”
- “Barracuda: An Ad-Hoc P2P Chat Program”
- “DBus: D-Bus Bindings”
- “DisTract: Distributed Bug Tracking System”
- “DrIFT-Cabalized: Program to Derive Type Class Instances”
- “FermatsLastMargin: Annotate Ps and Pdf Documents”
- “Flippi: Wiki”
- “HFuse: HFuse Is a Binding for the Linux FUSE Library”
- “HRay: Haskell Raytracer”
- “HTTP: A Library for Client-Side HTTP”
- “Network.HTTP”
- “Hashell: Simple Shell Written in Haskell”
- “Judy Bindings, and Some Nice APIs”
- “ListZipper: Simple Zipper for Lists”
- “Monadius: 2-D Arcade Scroller”
- “TypeIlluminator: TypeIlluminator Is a Prototype Tool Exploring Debugging of Type Errors”
- “ZMachine: A Z-Machine Interpreter”
- “Adhoc-Network: Ad-Hoc P2P Network Protocol”
- “Archiver: Archive Supplied URLs in WebCite & Internet Archive”
- “Archiver: Archive Supplied URLs in WebCite & Internet Archive”
- “Array-Memoize: Memoization Combinators Using Arrays for Finite Sub-Domains of Functions”
- “Control.Concurrent.MVar”
- “Data.Monoid”
- “Prelude”
- “Bio: A Bioinformatics Library”
- “Blaze-Builder: Efficient Buffered Output”
- “Blaze-Html: A Blazingly Fast HTML Combinator Library for Haskell”
- “Botpp: Build Tool for Lambdabot”
- “Brainfuck: Brainfuck Interpreter”
- “Bytestring: Fast, Compact, Strict and Lazy Byte Strings With a List Interface”
- “Cabal-Query: Helpers for Quering .cabal Files or HackageDB's 00-Index.tar”
- “Clustertools: Tools for Manipulating Sequence Clusters”
- “Condorcet: Library for Condorcet Voting”
- “Conjure: A BitTorrent Client”
- “Data.Graph”
- “Data.Set”
- “Curl: Haskell Binding to Libcurl”
- “Network.Curl”
- “Network.Curl”
- “Analyze Quality of Nucleotide Sequences.”
- “Djinn: Generate Haskell Code from a Type”
- “Estreps: Repeats from ESTs”
- “Feed: Interfacing With RSS (V 0.9x, 2.x, 1.0) + Atom Feeds.”
- “Fst: Finite State Transducers”
- “Genericserialize: Serialization Library Using Data.Generics”
- “Ghclive: Interactive Haskell Interpreter in a Browser”
- “Gitit: Wiki Using Happstack, Git or Darcs, and Pandoc.”
- “Goa: GHCi Bindings to Lambdabot”
- “GreenCard, a Foreign Function Pre-Processor for Haskell”
- “Greencard-Lib: A Foreign Function Interface Pre-Processor Library for Haskell”
- “Hakyll: A Static Website Compiler Library”
- “Harp: HaRP Allows Pattern-Matching With Regular Expressions”
- “Hashed-Storage: Hashed File Storage Support Code.”
- “Hashtables: Mutable Hash Tables in the ST Monad”
- “Haskell-In-Space: 'Asteroids' Arcade Games”
- “Haskell-Src-Exts: Manipulating Haskell Source: Abstract Syntax, Lexer, Parser, and Pretty-Printer”
- “Haskell-Type-Exts: A Type Checker for Haskell/haskell-Src-Exts”
- “Hback: N-Back Memory Game”
- “Helisp: An Incomplete Elisp Compiler”
- “Hetris: Text Tetris”
- “Hgeometric: A Geometric Library With Bindings to GPC”
- “HighWaterMark: Memory Usage Statistics”
- “Hinstaller: Installer Wrapper for Haskell Applications”
- “Hjs: JavaScript Parser”
- “Hlint: Source Code Suggestions”
- “Haskell API Search”
- “Hopenssl: FFI Bindings to OpenSSL's EVP Digest Interface”
- “Hs-Fltk: Binding to GUI Library FLTK”
- “Hscurses: NCurses Bindings for Haskell”
- “Hsdip: a Diplomacy Parser/renderer”
- “Hsdns: Asynchronous DNS Resolver”
- “Parsec Parsers for the Internet Message Format (E-Mail)”
- “Library Wrapping the GnuTLS API.”
- “Hsntp: Libraries to Use SNTP Protocol and Small Client/server Implementations”
- “Haskell Server Pages Is a Library for Writing Dynamic Server-Side Web Pages.”
- “Hspr-Sh: Session Handler for HSP”
- “Http-Enumerator: HTTP Client Package With Enumerator Interface and HTTPS Support”
- “Http-Wget: Provide a Simple HTTP Client Interface by Wrapping the Wget Command Line Tool. (Deprecated)”
- “Hybrid: A Implementation of a Type-Checker for Lambda-H”
- “Infix Expression Re-Parsing (For HsParser Library)”
- “Interlude: Replaces Some Prelude Functions for Enhanced Error Reporting”
- “Iteratee: Iteratee-Based I/O”
- “Theorem Proving Library Based on Dependent Type Theory”
- “Lambdabot-Utils: Utility Libraries for the Advanced IRC Bot, Lambdabot”
- “Lazysmallcheck: A Library for Demand-Driven Testing of Haskell Programs”
- “Linkchk Is a Network Interface Link Ping Monitor.”
- “Mohws: Modular Haskell Web Server”
- “Mpdmate: MPD/PowerMate Executable”
- “Mtl: Monad Classes for Transformers, Using Functional Dependencies”
- “Control.Monad.State.Lazy”
- “Nanocurses: Simple Curses Binding”
- “Network: Low-Level Networking Interface”
- “Network-Uri: URI Manipulation”
- “Data.Number.CReal”
- “Nymphaea: An Interactive GUI for Manipulating L-Systems”
- “Orchid: Haskell Wiki Library”
- “Pesca: Proof Editor for Sequent Calculus”
- “Pkcs1: RSA Encryption With PKCS1 Padding”
- “Plugins: Dynamic Linking for Haskell and C Objects”
- “Popenhs: Popenhs Is a Popen-Like Library for Haskell”
- “Powermate: Bindings for Griffin PowerMate USB”
- “Pugs-HsSyck: Fast, Lightweight YAML Loader and Dumper”
- “Pugs-Hsregex: Haskell PCRE Binding”
- “Push-Notify: A Server-Side Library for Sending Push Notifications”
- “Rbr: Mask Nucleotide (EST) Sequences in Fasta Format”
- “Serialize Data”
- “Roguestar-Engine: Sci-Fi Roguelike Game”
- “Sci-Fi Roguelike Game. Client Library.”
- “The RogueStar Animation and Graphics Library”
- “Rss2irc: Watches an RSS/Atom Feed and Writes It to an IRC Channel”
- “Scion: Haskell IDE Library”
- “Show: 'Show' Instances for Lambdabot”
- “Simseq: Simulate Sequencing With Different Models for Priming and Errors”
- “Smallcheck: A Property-Based Testing Library”
- “Split: Combinator Library for Splitting Lists”
- “Storablevector: Fast, Packed, Strict Storable Arrays With a List Interface like ByteString”
- “Tagsoup: Parsing and Extracting Information from (Possibly Malformed) HTML/XML Documents”
- “Text.HTML.TagSoup.Parser”
- “Text.HTML.TagSoup.Parser”
- “Tetris: A 2-D Clone of Tetris”
- “Typing Haskell In Haskell”
- “Trhsx: Deprecated”
- “Type-Equality-Check: Type Equality Check”
- “Unix: POSIX Functionality”
- “Unlambda: Unlambda Interpreter”
- “Urlcheck: Parallel Link Checker”
- “Vector: Efficient Arrays”
- “Vty: A Simple Terminal UI Library”
- “Xml-Parsec: Parsing XML With Parsec”
- “Xml2x: Convert BLAST Output in XML Format to CSV or HTML”
- “XMonad.Actions.Search”
- “XMonad.Prompt.Shell”
- “Xmonad-Utils: A Small Collection of X Utilities”
- “Xsact: Cluster EST Sequences”
- “Yi-Gtk: The Haskell-Scriptable Editor, Helper Package”
- “Yi-Vty: The Haskell-Scriptable Editor, Helper Package”
- “Packages by Category”
- “Packages by Category”
- “Hledger Homepage”
- “Hoogle”
- “%5BInt%5D_->_Int”
- “%5Ba%5D_->_%5Ba%5D”
- “%5Ba%5D_->_a”
- “Hoogle:
=<<” - “(Monoid_a)_=>_a”
- “(Monoid_a)_=>_a_->_a_->_a”
- “(A1_->_%5Ba%5D)_->_%5Ba1%5D_->_%5Ba%5D”
- “(A_->_b_->_c)_->_(A,b)_->_c”
- “(A_->_m_b)_->_%5Ba%5D_->_m_()”
- “(X_->_Bool)_->_(X_->_x)_->_x_->_x”
- “Control.Monad.void”
- “Control.Parallel.Strategies”
- “Data.List”
- “Data.List.sort”
- “Data.Monoid”
- “Data.Sequence”
- “Eq_a_=>_%5Ba%5D_->_%5Ba%5D”
- “Eq_a_=>_%5Ba%5D_->_%5Ba%5D”
- “Filter”
- “IO_a_->_IO_()”
- “IO_a_->_IO_ThreadId”
- “IO_a_->_IO_a”
- “Int_->_%5Ba%5D_->_%5Ba%5D”
- “Int_->_a_->_%5Ba%5D”
- “Monad”
- “Network.HTTP”
- “Ord_a_=>_%5Ba%5D_->_%5Ba%5D”
- “Ord_a_=>_%5Ba%5D_->_%5Ba%5D”
- “Product”
- “String_->_Int”
- “System.Cmd”
- “System.FilePath.dropExtension”
- “System.Process”
- “XMonad.Actions.Search”
- “A_->_%5Ba%5D”
- “A_->_%5Ba%5D_->_Int”
- “A_->_(A_->_a)_->_%5Ba%5D”
- “Concat”
- “ElemIndex”
- “ElemIndices”
- “Filter”
- “GetArgs”
- “GetContents”
- “IsPrefixOf”
- “Iterate”
- “LiftM”
- “LogBase”
- “LogBase”
- “Hoogle:
map” - “Hoogle:
mapM” - “Hoogle:
mapM_” - “Hoogle:
maximum” - “Hoogle:
nub” - “Hoogle:
product” - “ReadProcessWithExitCode”
- “ReadProcessWithExitCode”
- “Repeat”
- “Replicate”
- “RunCommand”
- “Spawn”
- “TakeWhile”
- “TakeWhile”
- “Uncurry”
- “UnsafeInterleaveIO”
- “Words”
- “Turnstyle: an Esoteric Visual Functional Language”
- “The Cabal-Devel Archives”
- “GHC Core Plugins”
- “The Haskell-Cafe May 2007 Archive by Thread”
- “[Haskell-Cafe] Re: [Haskell] Google Summer of Code 2009”
- “[Haskell-Cafe] Re: [Haskell] Google Summer of Code 2009”
- “The Haskell-Cafe February 2009 Archive by Subject”
- “[Haskell-Cafe] Haskell Summers of Code Retrospective (Updated for 2010)”
- “GSoC Project Proposal: Markdown Support for Haddock”
- “[Haskell-Cafe] [ANNOUNCE] Fficxx: Haskell-C++ FFI Binding Generator”
- “[Haskell-Cafe] [Haskell.org Google Summer of Code 2013] Approved Projects”
- “[Haskell-Cafe] Google Summer of Code Proposal—Communicating With Mobile Devices”
- “This FTP Site [Oleg Kiselyov Homepage]”, Kiselyov 2026
- “Streams and Incremental Processing”, Kiselyov 2026
- “Cartesian Closed Comic #15: Iteratees”
- “The Sad State of Property-Based Testing Libraries”
- “Lil’ Fun[Ctional] Langs”
- “Newtype Coercion [In Haskell]”
- “Application Information”
- “[Haskell-Cafe] ANN: Unordered-Containers—A New, Faster Hashing-Based Containers Library”
- “Adding an Ignore Function to Control.Monad”
- “[Haskell-Cafe] RE: [Haskell] Announce: Yi 0.3”
- “[Haskell-Cafe] Usage of Rewrite Rule Specialization in Hackage”
- “[Haskell-Cafe] Haskell Statistics for Use of TypeFamilies and FunctionalDependencies”
- “[Haskell-Cafe] Summer of Code”
- “[Haskell-Cafe] ANN: Cabal-Install-1.16.0 (And Cabal-1.16.0.1)”
- “Improve System.Environment Haddocks”
- “Proposal: Add Int Indexing Functions to Data.Set”
- “Arrow”
- “Cabal-Install”
- “Cabal-Install”
- “GHC/Data Parallel Haskell”
- “Generalised Algebraic Datatype”
- “Google Summer of Code”
- “HaskellWiki”
- “Haskell Platform”
- “Hp2any”
- “Hpysics”
- “Parallelism and Concurrency”
- “Stack Overflow”
- “Tail Recursion”
- “The Monad.Reader”
- “User:Gwern”
- “Xmonad/Config Archive”
- “Xmonad/Config Archive/Gwern's Xmonad.hs”
- “Zipper”
- “Search”
- “Haskell Wiki § User:Gwern Contributions”
- “‘Making Cabal-Install Non-Destructive’; Philipp Schuster, Andres Loh September 12, 2012”
- “Gwern Site:http://www.haskell.org/pipermail/haskell-Cafe/”
- “Gwern Site:http://www.haskell.org/pipermail/libraries/”
- “Gwern Site:http://www.haskell.org/pipermail/xmonad/”
- “Haskell Language”
- “The Haskell Cabal”
- “Really Old Cabal Stuff”
- Sort By Magic
- Wikipedia (8)
- Miscellaneous
- Bibliography
See Also
Gwern
“Utext.hs”, Gwern 2026
“ZFS: Oleg Kiselyov’s Zipper File System”, Sabry et al 2008
ZFS: Oleg Kiselyov’s Zipper File System
View External Link:
“Statistical Notes”, Gwern 2014
“Archiving URLs”, Gwern 2011
“Problem 14 Dynamic Programming Solutions”, Gwern et al 2022
“Auto-Smallcaps Filter”, Gwern 2020
“About Gwern”, Gwern 2009
“Solving Pascal’s Mugging With Dynamic Programming”, Gwern 2019
“Spaced Repetition for Efficient Learning”, Gwern 2009
“Prediction Markets”, Gwern 2009
“Nootropics”, Gwern 2010
“The Kelly Coin-Flipping Game: Exact Solutions”, Gwern et al 2017
“Summers of Code, 2006–2013”, Gwern 2009
“Writing a Wikipedia Link Archive Bot”, Gwern 2008
“𝐻𝑃: 𝑀𝑒𝑡𝘩𝑜𝑑𝑠 𝑜𝑓 𝑅𝑎𝑡𝑖𝑜𝑛𝑎𝑙𝑖𝑡𝑦 Review Statistics”, Gwern 2012
“Candy Japan’s New Box A/B Test”, Gwern 2016
“Who Wrote The 𝐷𝑒𝑎𝑡𝘩 𝑁𝑜𝑡𝑒 Script?”, Gwern 2009
“2012 Election Predictions”, Gwern 2012
“𝑇𝑜𝑢𝘩𝑜𝑢 Music by the Numbers”, Gwern 2013
“Bitcoin Donations on The Pirate Bay”, Gwern 2014
“Archiving GitHub”, Gwern 2011
“𝑆𝐼𝐶𝑃 Chapter 1.1 Notes”, Gwern 2009
“Golfing Run Length Encoding in Haskell”, Gwern 2008
“Writing a Wikipedia RSS Link Archive Bot”, Gwern 2009
“Choosing Software”, Gwern 2008
“Hypertime in Haskell”, Gwern 2012
“𝑆𝐼𝐶𝑃 Chapter 1.3”, Gwern 2010
“Resilient Haskell Software”, Gwern 2008
“𝑆𝐼𝐶𝑃 Chapter 1.2 Notes”, Gwern 2009
Links
“The Evolution of a Lean Programmer: Various Implementations and Proofs of Insertion Sort in Lean”
The Evolution of a Lean Programmer: Various implementations and proofs of insertion sort in Lean
“Which Programming Languages Are Most Token-Efficient?”, Alderson 2026
“Building Tools for Traders [At Jane Street]”, Henry & Minsky 2025
“Coding Malware in Fancy Programming Languages for Fun and Profit”, Apostolopoulos et al 2025
Coding Malware in Fancy Programming Languages for Fun and Profit
“My Technological Regrets [In Designing Elm Apps]”, Thomas 2025
“On Ada’s Dependent Types, and Its Types As a Whole”, nytpu 2024
“Generalized Dijkstra in Haskell”, flupe 2024
“Pandoc Proposal (#10077): Preserve Leading, Trailing, and Multiple Interword Spaces [Rejected]”, me-kell 2024
Pandoc Proposal (#10077): preserve leading, trailing, and multiple interword spaces [rejected]
“Embracing Flexibility in Haskell Libraries: The Power of Records of Functions”, Duncan 2024
Embracing Flexibility in Haskell Libraries: The Power of Records of Functions
“Functional Ownership through Fractional Uniqueness”, Marshall & Orchard 2023
“Typed Design Patterns for the Functional Era”, Crichton 2023
“Understanding Jane Street: Strong Language”, Hobart 2022
“Quickstrom: Property Based Acceptance Testing With LTL Specifications”, O’Connor & Wickström 2022
Quickstrom: Property Based Acceptance Testing with LTL Specifications
“Combinator-Nbe: nbe.agda § Line 64”, Huang 2022
“The Lean 4 Theorem Prover and Programming Language”, Moura & Ullrich 2021
“You Could Have Invented Fenwick Trees”
“Survey Data on Cis and Trans Women Among Haskell Programmers”, Davis 2020
Survey Data on Cis and Trans Women Among Haskell Programmers
“Parse, Don’t Validate”
“Keep Your Laziness in Check”, Foner et al 2018
“Immutability Changes Everything”, Helland 2016
“The Expression Problem and Its Solutions”
“Modular Implicits”, White et al 2015
“We Need Less Powerful Languages [Langsec]”, Plant 2015
“Practical Probabilistic Programming With Monads”, Ścibior et al 2015
“Generic Zipper: the Context of a Traversal”, Kiselyov 2015
“You Could Have Invented Parser Combinators”
“The Configuration Complexity Clock”, Hadlow 2012
“You Could Have Invented Fractional Cascading”, ezyang 2012
“Hyphenation: Configurable Knuth-Liang Hyphenation”, Kmett 2012
“You Could Have Invented Zippers”, ezyang 2010
“UHC: The Architecture of the Utrecht Haskell Compiler”, Dijkstra et al 2009
“Happy Co-Valentine’s Day!”, Vishal 2009
View External Link:
https://topologicalmusings.wordpress.com/2009/02/14/happy-co-valentines-day/
“Omega Monad: Enumerating a Context-Free Language”, Palmer 2008
“Infinite Sets That Admit Fast Exhaustive Search”, Escardo 2007
“Static Typing for a Faulty Lambda Calculus”, Walker et al 2006
“You Could Have Invented Monads! (And Maybe You Already Have.)”, sigfpe 2006
You Could Have Invented Monads! (And Maybe You Already Have.)
“Total Functional Programming”, Turner 2004b
Total Functional Programming :
View PDF:
“The Evolution of a Haskell Programmer”, Ruehr 2001
“Some Reflections on Strachey and His Work”, Scott 2000b
Some Reflections on Strachey and His Work :
View PDF:
“Bridging the Algorithm Gap: A Linear-Time Functional Program for Paragraph Formatting”, Moor & Gibbons 1999
Bridging the algorithm gap: A linear-time functional program for paragraph formatting
“Typability and Type Checking in System F Are Equivalent and Undecidable”, Wells 1999
Typability and type checking in System F are equivalent and undecidable :
View PDF:
“A Functional Description of TeX’s Formula Layout”, Heckmann & Wilhelm 1997
“Using Circular Programs to Eliminate Multiple Traversals of Data”, Bird 1984
Using circular programs to eliminate multiple traversals of data
“From Löb’s Theorem to Spreadsheet Evaluation”
“The Three Projections of Doctor Futamura”
“Shuffles, Bayes’ Theorem and Continuations.”
“The Ur Programming Language Family”
“Accidentally Quadratic”
“Arbtt: the Automatic, Rule-Based Time Tracker § About”
arbtt: the automatic, rule-based time tracker § About
View External Link:
“Index of /code.haskell.org/hbuild/”
“A Couple Million Lines of Haskell: Production Engineering at Mercury”, Duncan 2026
A Couple Million Lines of Haskell: Production Engineering at Mercury
“Introducing Coalton: How to Have Our (Typed) Cake and (Safely) Eat It Too, in Common Lisp”
Introducing Coalton: How to Have Our (Typed) Cake and (Safely) Eat It Too, in Common Lisp
“The Dhall Configuration Language”
“Haskell: A Great Procedural Language”
“GhcLiVE Project Escapes!”
View External Link:
https://ghclive.wordpress.com/2012/08/20/ghclive-project-escapes/
“roguetype: The First Ever Rogue-Like Written in the OCaml Type System”, Octachron 2026
roguetype: The first ever rogue-like written in the OCaml type system
“Vera”
“Parallelize Cabal Build over Modules”
“install -J: Allow Limiting the Number of Parallel Linker Invocations”, Glushenkov 2026
install -j: allow limiting the number of parallel linker invocations
“Decide on Core Principles against Which to Judge Breaking Changes #12 § Simon Mar Comment”, Mar 2026
Decide on core principles against which to judge breaking changes #12 § Simon Mar comment
“hlint: Haskell Source Code Suggestions”, Mitchell 2026
“Articles”
“YHC‘s Sort Is Faster Than GHC’s”
“#3843: Merge Plugins into HEAD”
“#910: --Make Should Have a -J Flag for Parallel Building”
“Wiki”
“Immix”
“New Plugins • Wiki • Glasgow Haskell Compiler / GHC”
“Hackage: Introduction”
View External Link:
“Barracuda: An Ad-Hoc P2P Chat Program”
Barracuda: An ad-hoc P2P chat program
View External Link:
“DBus: D-Bus Bindings”
View External Link:
“DisTract: Distributed Bug Tracking System”
DisTract: Distributed Bug Tracking System
View External Link:
“DrIFT-Cabalized: Program to Derive Type Class Instances”
DrIFT-cabalized: Program to derive type class instances
View External Link:
“FermatsLastMargin: Annotate Ps and Pdf Documents”
FermatsLastMargin: Annotate ps and pdf documents
View External Link:
“Flippi: Wiki”
View External Link:
“HFuse: HFuse Is a Binding for the Linux FUSE Library”
HFuse: HFuse is a binding for the Linux FUSE library
View External Link:
“HRay: Haskell Raytracer”
View External Link:
“HTTP: A Library for Client-Side HTTP”
HTTP: A library for client-side HTTP
View External Link:
“Network.HTTP”
“Hashell: Simple Shell Written in Haskell”
Hashell: Simple shell written in Haskell
View External Link:
“Judy Bindings, and Some Nice APIs”
Judy bindings, and some nice APIs
View External Link:
“ListZipper: Simple Zipper for Lists”
ListZipper: Simple zipper for lists
View External Link:
“Monadius: 2-D Arcade Scroller”
View External Link:
“TypeIlluminator: TypeIlluminator Is a Prototype Tool Exploring Debugging of Type Errors”
TypeIlluminator: TypeIlluminator is a prototype tool exploring debugging of type errors
View External Link:
“ZMachine: A Z-Machine Interpreter”
ZMachine: A Z-machine interpreter
View External Link:
“Adhoc-Network: Ad-Hoc P2P Network Protocol”
adhoc-network: Ad-hoc P2P network protocol
View External Link:
“Archiver: Archive Supplied URLs in WebCite & Internet Archive”
archiver: Archive supplied URLs in WebCite & Internet Archive
“Archiver: Archive Supplied URLs in WebCite & Internet Archive”
archiver: Archive supplied URLs in WebCite & Internet Archive
View External Link:
“Array-Memoize: Memoization Combinators Using Arrays for Finite Sub-Domains of Functions”
array-memoize: Memoization combinators using arrays for finite sub-domains of functions
View External Link:
“Control.Concurrent.MVar”
“Data.Monoid”
“Prelude”
“Bio: A Bioinformatics Library”
View External Link:
“Blaze-Builder: Efficient Buffered Output”
blaze-builder: Efficient buffered output
View External Link:
“Blaze-Html: A Blazingly Fast HTML Combinator Library for Haskell”
blaze-html: A blazingly fast HTML combinator library for Haskell
View External Link:
“Botpp: Build Tool for Lambdabot”
botpp: Build tool for Lambdabot
View External Link:
“Brainfuck: Brainfuck Interpreter”
brainfuck: Brainfuck interpreter
View External Link:
“Bytestring: Fast, Compact, Strict and Lazy Byte Strings With a List Interface”
bytestring: Fast, compact, strict and lazy byte strings with a list interface
“Cabal-Query: Helpers for Quering .cabal Files or HackageDB's 00-Index.tar”
cabal-query: Helpers for quering .cabal files or hackageDB's 00-index.tar
View External Link:
“Clustertools: Tools for Manipulating Sequence Clusters”
clustertools: Tools for manipulating sequence clusters
View External Link:
“Condorcet: Library for Condorcet Voting”
condorcet: Library for Condorcet voting
View External Link:
“Conjure: A BitTorrent Client”
View External Link:
“Data.Graph”
“Data.Set”
“Curl: Haskell Binding to Libcurl”
“Network.Curl”
“Network.Curl”
“Analyze Quality of Nucleotide Sequences.”
Analyze quality of nucleotide sequences.
View External Link:
“Djinn: Generate Haskell Code from a Type”
djinn: Generate Haskell code from a type
View External Link:
“Estreps: Repeats from ESTs”
View External Link:
“Feed: Interfacing With RSS (V 0.9x, 2.x, 1.0) + Atom Feeds.”
feed: Interfacing with RSS (v 0.9x, 2.x, 1.0) + Atom feeds.
View External Link:
“Fst: Finite State Transducers”
View External Link:
“Genericserialize: Serialization Library Using Data.Generics”
genericserialize: Serialization library using Data.Generics
View External Link:
“Ghclive: Interactive Haskell Interpreter in a Browser”
ghclive: Interactive Haskell interpreter in a browser
View External Link:
“Gitit: Wiki Using Happstack, Git or Darcs, and Pandoc.”
“Goa: GHCi Bindings to Lambdabot”
goa: GHCi bindings to lambdabot
View External Link:
“GreenCard, a Foreign Function Pre-Processor for Haskell”
GreenCard, a foreign function pre-processor for Haskell
View External Link:
“Greencard-Lib: A Foreign Function Interface Pre-Processor Library for Haskell”
greencard-lib: A foreign function interface pre-processor library for Haskell
View External Link:
“Hakyll: A Static Website Compiler Library”
hakyll: A static website compiler library
View External Link:
“Harp: HaRP Allows Pattern-Matching With Regular Expressions”
harp: HaRP allows pattern-matching with regular expressions
View External Link:
“Hashed-Storage: Hashed File Storage Support Code.”
hashed-storage: Hashed file storage support code.
View External Link:
“Hashtables: Mutable Hash Tables in the ST Monad”
hashtables: Mutable hash tables in the ST monad
View External Link:
“Haskell-In-Space: 'Asteroids' Arcade Games”
haskell-in-space: 'Asteroids' arcade games
View External Link:
“Haskell-Src-Exts: Manipulating Haskell Source: Abstract Syntax, Lexer, Parser, and Pretty-Printer”
haskell-src-exts: Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer
View External Link:
“Haskell-Type-Exts: A Type Checker for Haskell/haskell-Src-Exts”
haskell-type-exts: A type checker for Haskell/haskell-src-exts
View External Link:
“Hback: N-Back Memory Game”
View External Link:
“Helisp: An Incomplete Elisp Compiler”
helisp: An incomplete Elisp compiler
View External Link:
“Hetris: Text Tetris”
View External Link:
“Hgeometric: A Geometric Library With Bindings to GPC”
hgeometric: A geometric library with bindings to GPC
View External Link:
“HighWaterMark: Memory Usage Statistics”
highWaterMark: Memory usage statistics
View External Link:
“Hinstaller: Installer Wrapper for Haskell Applications”
hinstaller: Installer wrapper for Haskell applications
View External Link:
“Hjs: JavaScript Parser”
View External Link:
“Hlint: Source Code Suggestions”
“Haskell API Search”
View External Link:
“Hopenssl: FFI Bindings to OpenSSL's EVP Digest Interface”
hopenssl: FFI Bindings to OpenSSL's EVP Digest Interface
View External Link:
“Hs-Fltk: Binding to GUI Library FLTK”
hs-fltk: Binding to GUI library FLTK
View External Link:
“Hscurses: NCurses Bindings for Haskell”
hscurses: NCurses bindings for Haskell
View External Link:
“Hsdip: a Diplomacy Parser/renderer”
hsdip: a Diplomacy parser/renderer
View External Link:
“Hsdns: Asynchronous DNS Resolver”
hsdns: Asynchronous DNS Resolver
View External Link:
“Parsec Parsers for the Internet Message Format (E-Mail)”
Parsec parsers for the Internet Message format (e-mail)
View External Link:
“Library Wrapping the GnuTLS API.”
Library wrapping the GnuTLS API.
View External Link:
“Hsntp: Libraries to Use SNTP Protocol and Small Client/server Implementations”
hsntp: Libraries to use SNTP protocol and small client/server implementations
View External Link:
“Haskell Server Pages Is a Library for Writing Dynamic Server-Side Web Pages.”
Haskell Server Pages is a library for writing dynamic server-side web pages.
View External Link:
“Hspr-Sh: Session Handler for HSP”
hspr-sh: Session handler for HSP
View External Link:
“Http-Enumerator: HTTP Client Package With Enumerator Interface and HTTPS Support”
http-enumerator: HTTP client package with enumerator interface and HTTPS support
View External Link:
“Http-Wget: Provide a Simple HTTP Client Interface by Wrapping the Wget Command Line Tool. (Deprecated)”
View External Link:
“Hybrid: A Implementation of a Type-Checker for Lambda-H”
hybrid: A implementation of a type-checker for Lambda-H
View External Link:
“Infix Expression Re-Parsing (For HsParser Library)”
Infix expression re-parsing (for HsParser library)
View External Link:
“Interlude: Replaces Some Prelude Functions for Enhanced Error Reporting”
interlude: Replaces some Prelude functions for enhanced error reporting
View External Link:
“Iteratee: Iteratee-Based I/O”
View External Link:
“Theorem Proving Library Based on Dependent Type Theory”
Theorem proving library based on dependent type theory
View External Link:
“Lambdabot-Utils: Utility Libraries for the Advanced IRC Bot, Lambdabot”
lambdabot-utils: Utility libraries for the advanced IRC bot, Lambdabot
View External Link:
“Lazysmallcheck: A Library for Demand-Driven Testing of Haskell Programs”
lazysmallcheck: A library for demand-driven testing of Haskell programs
View External Link:
“Linkchk Is a Network Interface Link Ping Monitor.”
linkchk is a network interface link ping monitor.
View External Link:
“Mohws: Modular Haskell Web Server”
mohws: Modular Haskell Web Server
View External Link:
“Mpdmate: MPD/PowerMate Executable”
mpdmate: MPD/PowerMate executable
View External Link:
“Mtl: Monad Classes for Transformers, Using Functional Dependencies”
mtl: Monad classes for transformers, using functional dependencies
View External Link:
“Control.Monad.State.Lazy”
“Nanocurses: Simple Curses Binding”
nanocurses: Simple Curses binding
View External Link:
“Network: Low-Level Networking Interface”
network: Low-level networking interface
View External Link:
“Network-Uri: URI Manipulation”
View External Link:
“Data.Number.CReal”
“Nymphaea: An Interactive GUI for Manipulating L-Systems”
nymphaea: An interactive GUI for manipulating L-systems
View External Link:
“Orchid: Haskell Wiki Library”
View External Link:
“Pesca: Proof Editor for Sequent Calculus”
pesca: Proof Editor for Sequent Calculus
View External Link:
“Pkcs1: RSA Encryption With PKCS1 Padding”
pkcs1: RSA encryption with PKCS1 padding
View External Link:
“Plugins: Dynamic Linking for Haskell and C Objects”
plugins: Dynamic linking for Haskell and C objects
View External Link:
“Popenhs: Popenhs Is a Popen-Like Library for Haskell”
popenhs: popenhs is a popen-like library for Haskell
View External Link:
“Powermate: Bindings for Griffin PowerMate USB”
powermate: bindings for Griffin PowerMate USB
View External Link:
“Pugs-HsSyck: Fast, Lightweight YAML Loader and Dumper”
pugs-HsSyck: Fast, lightweight YAML loader and dumper
View External Link:
“Pugs-Hsregex: Haskell PCRE Binding”
pugs-hsregex: Haskell PCRE binding
View External Link:
“Push-Notify: A Server-Side Library for Sending Push Notifications”
push-notify: A server-side library for sending push notifications
View External Link:
“Rbr: Mask Nucleotide (EST) Sequences in Fasta Format”
rbr: Mask nucleotide (EST) sequences in Fasta format
View External Link:
“Serialize Data”
View External Link:
“Roguestar-Engine: Sci-Fi Roguelike Game”
roguestar-engine: Sci-fi roguelike game
View External Link:
“Sci-Fi Roguelike Game. Client Library.”
Sci-fi roguelike game. Client library.
View External Link:
“The RogueStar Animation and Graphics Library”
The RogueStar Animation and Graphics Library
View External Link:
“Rss2irc: Watches an RSS/Atom Feed and Writes It to an IRC Channel”
rss2irc: watches an RSS/Atom feed and writes it to an IRC channel
View External Link:
“Scion: Haskell IDE Library”
View External Link:
“Show: 'Show' Instances for Lambdabot”
show: 'Show' instances for Lambdabot
View External Link:
“Simseq: Simulate Sequencing With Different Models for Priming and Errors”
simseq: Simulate sequencing with different models for priming and errors
View External Link:
“Smallcheck: A Property-Based Testing Library”
smallcheck: A property-based testing library
View External Link:
“Split: Combinator Library for Splitting Lists”
split: Combinator library for splitting lists
View External Link:
“Storablevector: Fast, Packed, Strict Storable Arrays With a List Interface like ByteString”
storablevector: Fast, packed, strict storable arrays with a list interface like ByteString
View External Link:
“Tagsoup: Parsing and Extracting Information from (Possibly Malformed) HTML/XML Documents”
tagsoup: Parsing and extracting information from (possibly malformed) HTML/XML documents
“Text.HTML.TagSoup.Parser”
“Text.HTML.TagSoup.Parser”
“Tetris: A 2-D Clone of Tetris”
View External Link:
“Typing Haskell In Haskell”
View External Link:
“Trhsx: Deprecated”
View External Link:
“Type-Equality-Check: Type Equality Check”
type-equality-check: Type equality check
View External Link:
“Unix: POSIX Functionality”
View External Link:
“Unlambda: Unlambda Interpreter”
unlambda: Unlambda interpreter
View External Link:
“Urlcheck: Parallel Link Checker”
urlcheck: Parallel link checker
View External Link:
“Vector: Efficient Arrays”
“Vty: A Simple Terminal UI Library”
vty: A simple terminal UI library
View External Link:
“Xml-Parsec: Parsing XML With Parsec”
xml-parsec: Parsing XML with Parsec
View External Link:
“Xml2x: Convert BLAST Output in XML Format to CSV or HTML”
xml2x: Convert BLAST output in XML format to CSV or HTML
View External Link:
“XMonad.Actions.Search”
“XMonad.Prompt.Shell”
“Xmonad-Utils: A Small Collection of X Utilities”
xmonad-utils: A small collection of X utilities
View External Link:
“Xsact: Cluster EST Sequences”
View External Link:
“Yi-Gtk: The Haskell-Scriptable Editor, Helper Package”
yi-gtk: The Haskell-Scriptable Editor, helper package
View External Link:
“Yi-Vty: The Haskell-Scriptable Editor, Helper Package”
yi-vty: The Haskell-Scriptable Editor, helper package
View External Link:
“Packages by Category”
“Packages by Category”
View External Link:
“Hledger Homepage”
“Hoogle”
“%5BInt%5D_->_Int”
“%5Ba%5D_->_%5Ba%5D”
“%5Ba%5D_->_a”
“Hoogle: =<<”
“(Monoid_a)_=>_a”
“(Monoid_a)_=>_a_->_a_->_a”
“(A1_->_%5Ba%5D)_->_%5Ba1%5D_->_%5Ba%5D”
“(A_->_b_->_c)_->_(A,b)_->_c”
“(A_->_m_b)_->_%5Ba%5D_->_m_()”
“(X_->_Bool)_->_(X_->_x)_->_x_->_x”
“Control.Monad.void”
“Control.Parallel.Strategies”
“Data.List”
“Data.List.sort”
“Data.Monoid”
“Data.Sequence”
“Eq_a_=>_%5Ba%5D_->_%5Ba%5D”
“Eq_a_=>_%5Ba%5D_->_%5Ba%5D”
“Filter”
“IO_a_->_IO_()”
“IO_a_->_IO_ThreadId”
“IO_a_->_IO_a”
“Int_->_%5Ba%5D_->_%5Ba%5D”
“Int_->_a_->_%5Ba%5D”
“Monad”
“Network.HTTP”
“Ord_a_=>_%5Ba%5D_->_%5Ba%5D”
“Ord_a_=>_%5Ba%5D_->_%5Ba%5D”
“Product”
“String_->_Int”
“System.Cmd”
“System.FilePath.dropExtension”
“System.Process”
“XMonad.Actions.Search”
“A_->_%5Ba%5D”
“A_->_%5Ba%5D_->_Int”
“A_->_(A_->_a)_->_%5Ba%5D”
“Concat”
“ElemIndex”
“ElemIndices”
“Filter”
“GetArgs”
“GetContents”
“IsPrefixOf”
“Iterate”
“LiftM”
“LogBase”
“LogBase”
“Hoogle: map”
“Hoogle: mapM”
“Hoogle: mapM_”
“Hoogle: maximum”
“Hoogle: nub”
“Hoogle: product”
“ReadProcessWithExitCode”
“ReadProcessWithExitCode”
“Repeat”
“Replicate”
“RunCommand”
“Spawn”
“TakeWhile”
“TakeWhile”
“Uncurry”
“UnsafeInterleaveIO”
“Words”
“Turnstyle: an Esoteric Visual Functional Language”
“The Cabal-Devel Archives”
View External Link:
“GHC Core Plugins”
“The Haskell-Cafe May 2007 Archive by Thread”
“[Haskell-Cafe] Re: [Haskell] Google Summer of Code 2009”
“[Haskell-Cafe] Re: [Haskell] Google Summer of Code 2009”
“The Haskell-Cafe February 2009 Archive by Subject”
“[Haskell-Cafe] Haskell Summers of Code Retrospective (Updated for 2010)”
[Haskell-cafe] Haskell Summers of Code retrospective (updated for 2010)
“GSoC Project Proposal: Markdown Support for Haddock”
“[Haskell-Cafe] [ANNOUNCE] Fficxx: Haskell-C++ FFI Binding Generator”
[Haskell-cafe] [ANNOUNCE] fficxx: haskell-C++ FFI binding generator
“[Haskell-Cafe] [Haskell.org Google Summer of Code 2013] Approved Projects”
[Haskell-cafe] [haskell.org Google Summer of Code 2013] Approved Projects
“[Haskell-Cafe] Google Summer of Code Proposal—Communicating With Mobile Devices”
[Haskell-cafe] Google Summer of Code Proposal—Communicating with mobile devices
“This FTP Site [Oleg Kiselyov Homepage]”, Kiselyov 2026
This FTP site [Oleg Kiselyov homepage]
View External Link:
“Streams and Incremental Processing”, Kiselyov 2026
Streams and Incremental Processing
View HTML:
“Cartesian Closed Comic #15: Iteratees”
“The Sad State of Property-Based Testing Libraries”
“Lil’ Fun[Ctional] Langs”
“Newtype Coercion [In Haskell]”
“Application Information”
“[Haskell-Cafe] ANN: Unordered-Containers—A New, Faster Hashing-Based Containers Library”
[Haskell-cafe] ANN: unordered-containers—a new, faster hashing-based containers library
“Adding an Ignore Function to Control.Monad”
“[Haskell-Cafe] RE: [Haskell] Announce: Yi 0.3”
“[Haskell-Cafe] Usage of Rewrite Rule Specialization in Hackage”
[Haskell-cafe] Usage of rewrite rule specialization in Hackage
“[Haskell-Cafe] Haskell Statistics for Use of TypeFamilies and FunctionalDependencies”
[Haskell-cafe] Haskell statistics for use of TypeFamilies and FunctionalDependencies
“[Haskell-Cafe] Summer of Code”
“[Haskell-Cafe] ANN: Cabal-Install-1.16.0 (And Cabal-1.16.0.1)”
[Haskell-cafe] ANN: cabal-install-1.16.0 (and Cabal-1.16.0.1)
“Improve System.Environment Haddocks”
“Proposal: Add Int Indexing Functions to Data.Set”
“Arrow”
View External Link:
“Cabal-Install”
View External Link:
“Cabal-Install”
View External Link:
“GHC/Data Parallel Haskell”
View External Link:
“Generalised Algebraic Datatype”
Generalised algebraic datatype
View External Link:
“Google Summer of Code”
View External Link:
“HaskellWiki”
View External Link:
“Haskell Platform”
View External Link:
“Hp2any”
View External Link:
“Hpysics”
View External Link:
“Parallelism and Concurrency”
“Stack Overflow”
View External Link:
“Tail Recursion”
View External Link:
“The Monad.Reader”
View External Link:
“User:Gwern”
View External Link:
“Xmonad/Config Archive”
View External Link:
https://wiki.haskell.org/Xmonad/Config_archive#Downloading_all_configs
“Xmonad/Config Archive/Gwern's Xmonad.hs”
“Zipper”
View External Link:
“Search”
View External Link:
https://wiki.haskell.org/index.php?title=&search=&fulltext=Search
“Haskell Wiki § User:Gwern Contributions”
Haskell Wiki § User:Gwern contributions
View External Link:
https://wiki.haskell.org/index.php?title=Special:Log&user=Gwern
“‘Making Cabal-Install Non-Destructive’; Philipp Schuster, Andres Loh September 12, 2012”
‘Making cabal-install non-destructive’; Philipp Schuster, Andres Loh September 12, 2012 :
“Gwern Site:http://www.haskell.org/pipermail/haskell-Cafe/”
“Gwern Site:http://www.haskell.org/pipermail/libraries/”
“Gwern Site:http://www.haskell.org/pipermail/xmonad/”
“Haskell Language”
“The Haskell Cabal”
“Really Old Cabal Stuff”
Sort By Magic
Annotations sorted by machine learning into inferred 'tags'. This provides an alternative way to browse: instead of by date order, one can browse in topic order. The 'sorted' list has been automatically clustered into multiple sections & auto-labeled for easier browsing.
Beginning with the newest annotation, it uses the embedding of each annotation to attempt to create a list of nearest-neighbor annotations, creating a progression of topics. For more details, see the link.
trading-tools
cis-trans
programming-languages
Wikipedia (8)
Miscellaneous
/doc/cs/haskell/2009-09-dijkstra-vimeo-thearchitecturesoftheutrechthaskellcompiler-talk.mp4http://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs/http://sparky.haskell.org:8080/package/blaze-builder/reverse/allhttp://sparky.haskell.org:8080/package/blaze-html/reverse/allhttp://sparky.haskell.org:8080/package/haskell-src-exts/reverse/allhttp://sparky.haskell.org:8080/package/haskell-src/reverse/allhttps://archives.haskell.org/code.haskell.org/monadius/Monadius/Demo.hshttps://archives.haskell.org/code.haskell.org/~Saizan/cabal/https://blog.ploeh.dk/2017/10/04/from-design-patterns-to-category-theory/https://book.realworldhaskell.org/read/data-structures.html#id637702https://dennybritz.com/posts/probability-monads-from-scratch/https://gist.github.com/harryaskham/68a611bef777525991790bca2f2d324dhttps://hackage.haskell.org/package/probabilityView External Link:
https://harrisongoldste.in/papers/icse24-pbt-in-practice.pdf:https://hsyl20.fr/home/files/papers/2022-ghc-modularity.pdf:https://pages.cpsc.ucalgary.ca/~robin/class/449/Evolution.htmhttps://stefan.saasen.me/articles/git-clone-in-haskell-from-the-bottom-up/https://web.archive.org/web/20060517222319/http://hackage.haskell.org/trac/summer-of-code/https://web.archive.org/web/20060620090542/http://hackage.haskell.org/trac/summer-of-code/report/1https://web.archive.org/web/20060629061358/http://hackage.haskell.org/trac/summer-of-code/ticket/3https://web.archive.org/web/20060629061857/http://hackage.haskell.org/trac/summer-of-code/ticket/30https://web.archive.org/web/20060629062124/http://hackage.haskell.org/trac/summer-of-code/ticket/44https://web.archive.org/web/20060629062327/http://hackage.haskell.org/trac/summer-of-code/ticket/54https://web.archive.org/web/20060629062454/http://hackage.haskell.org/trac/summer-of-code/ticket/61https://web.archive.org/web/20060629062841/http://hackage.haskell.org/trac/summer-of-code/ticket/81https://web.archive.org/web/20091001184532/http://sparky.haskell.org:8080/View External Link:
https://web.archive.org/web/20091001184532/http://sparky.haskell.org:8080/https://web.archive.org/web/20100324194403/https://hackage.haskell.org/trac/hackage/ticket/576https://web.archive.org/web/20111206064418/https://hackage.haskell.org/trac/hackage/wiki/HBuildhttps://web.archive.org/web/20130510012249/https://hackage.haskell.org/packages/archive/log-
View External Link:
Bibliography
2006-walker.pdf: “Static Typing for a Faulty Lambda Calculus”,