Alexandria Library

A curated collection of awesome articles

Here are some ressources related to Haskell, Type, Programming. Hoping you will find learning material, alternative tools or just some interesting stuff.

Home > Programming, Machine Learning, Quan... > Functional programming, Haskell, Li... > Haskell, Functional programming, Ty... > Haskell, Type, Programming

Articles

The Future of Programming – Interview with Richard Eisenberg

See discussion (33 comments, 106 points) - Archive

Rust vs. Haskell

See discussion (184 comments, 271 points) - Archive

School of Haskell: Basics (2013)

See discussion (32 comments, 93 points) - Archive

Typing the technical interview (2017)

See discussion (32 comments, 123 points) - Archive

Advanced Programming Languages (2009)

See discussion (98 comments, 117 points) - Archive

Haskell2020 Is Dead, but All Hope Is Not Lost (2019)

See discussion (63 comments, 84 points) - Archive

Haskell error messages: come on

See discussion (76 comments, 83 points) - Archive

I would like a job writing Haskell

See discussion (492 comments, 405 points) - Archive

Why Co–Star Uses Haskell

See discussion (263 comments, 142 points) - Archive

Haskell for Beginners

See discussion (45 comments, 123 points) - Archive

A bitter pill for Microsoft Copilot

See discussion (91 comments, 94 points) - Archive

Why Learn Haskell? (2018)

See discussion (113 comments, 207 points) - Archive

PureScript and Haskell

See discussion (60 comments, 167 points) - Archive

Haskell: The Bad Parts, part 2 (2020)

See discussion (170 comments, 258 points) - Archive

Linear-base makes writing Linear Haskell easy and fun

See discussion (4 comments, 97 points) - Archive

Haskell is our first choice for building production software systems

See discussion (291 comments, 269 points) - Archive

Haskell's Children

See discussion (191 comments, 176 points) - Archive

Linear types are merged in GHC

See discussion (80 comments, 219 points) - Archive

Advanced Programming Languages (2009)

See discussion (133 comments, 151 points) - Archive

C program proofs with Frama-C and its weakest-precondition plugin [pdf]

See discussion (11 comments, 88 points) - Archive

A Pythonista's Review of Haskell

See discussion (102 comments, 112 points) - Archive

Developing GHC for a Living

See discussion (55 comments, 167 points) - Archive

Haskell Problems for a New Decade

See discussion (263 comments, 225 points) - Archive

Concrete Semantics

See discussion (17 comments, 94 points) - Archive

Courting Haskell

See discussion (68 comments, 84 points) - Archive

Formal Reasoning About Programs (2017) [pdf]

See discussion (23 comments, 83 points) - Archive

Client-side web programming in Haskell: A retrospective

See discussion (47 comments, 163 points) - Archive

Learning Haskell is no harder than learning any other programming language

See discussion (462 comments, 292 points) - Archive

What Is Good About Haskell?

See discussion (421 comments, 286 points) - Archive

Why Haskell Is Important

See discussion (74 comments, 119 points) - Archive

Dependent Haskell Is the Future (2018)

See discussion (269 comments, 166 points) - Archive

Haskell Fan Site

See discussion (163 comments, 253 points) - Archive

Why I think Haskell is the best general purpose language as of June 22 2019

See discussion (99 comments, 101 points) - Archive

Why GitHub used Haskell for Semantic

See discussion (209 comments, 242 points) - Archive

Dependent Haskell

See discussion (88 comments, 137 points) - Archive

Formality – An efficient programming language and proof assistant

See discussion (23 comments, 102 points) - Archive

Advice for Haskell beginners (2017)

See discussion (59 comments, 186 points) - Archive

Streaming with linear types

See discussion (14 comments, 83 points) - Archive

Notes on Idris (2017)

See discussion (73 comments, 163 points) - Archive

If Haskell is so great, why hasn't it taken over the world? (2017)

See discussion (149 comments, 123 points) - Archive

Some Notes About How I Write Haskell

See discussion (43 comments, 191 points) - Archive

Is Haskell the right language for teaching functional programming principles?

See discussion (219 comments, 174 points) - Archive

Haskell People

See discussion (97 comments, 90 points) - Archive

Encode state transitions in types using linear types

See discussion (35 comments, 97 points) - Archive

Hobbes – A language and an embedded JIT compiler

See discussion (49 comments, 152 points) - Archive

Rust as a gateway drug to Haskell

See discussion (212 comments, 358 points) - Archive

Why Haskell Is Worth Learning

See discussion (40 comments, 104 points) - Archive

I tried Haskell for 5 years

See discussion (257 comments, 366 points) - Archive

Typing the technical interview

See discussion (80 comments, 413 points) - Archive

Linear types make performance more predictable

See discussion (94 comments, 163 points) - Archive

Show HN: Online Haskell REPL

See discussion (20 comments, 82 points) - Archive

Why hasn't Haskell taken over the world? And the curious case of Go

See discussion (165 comments, 130 points) - Archive

Using Haskell to Find Unused Spring MVC Code

See discussion (23 comments, 101 points) - Archive

A Taste of Haskell

See discussion (116 comments, 157 points) - Archive

The Four Flaws of Haskell

See discussion (75 comments, 108 points) - Archive

Advanced programming languages (2009)

See discussion (202 comments, 219 points) - Archive

Four months with Haskell

See discussion (117 comments, 249 points) - Archive

99-problems in Java 8, Scala, and Haskell

See discussion (23 comments, 89 points) - Archive

Why does Haskell, in your opinion, suck?

See discussion (204 comments, 196 points) - Archive

Frege – a Haskell for the JVM

See discussion (48 comments, 177 points) - Archive

State of the Haskell Ecosystem – February 2016

See discussion (62 comments, 118 points) - Archive

The Joy and Agony of Haskell in Production

See discussion (92 comments, 324 points) - Archive

Reflecting on Haskell in 2015

See discussion (102 comments, 191 points) - Archive

What is a stateless user interface?

See discussion (28 comments, 94 points) - Archive

Dependently typed programming and theorem proving in Haskell

See discussion (1 comments, 87 points) - Archive

OCamlers' critiques of Haskell

See discussion (137 comments, 177 points) - Archive

State of the Haskell ecosystem

See discussion (71 comments, 148 points) - Archive

Frege: A Haskell-Like Language for the JVM

See discussion (114 comments, 111 points) - Archive

How I develop with Nix

See discussion (55 comments, 144 points) - Archive

The Haskell user experience

See discussion (48 comments, 132 points) - Archive

Haskell Communities and Activities Report, May 2015

See discussion (37 comments, 90 points) - Archive

Learning Haskell – A Racket programmer's foray into the land of Haskell

See discussion (94 comments, 132 points) - Archive

The New Haskell.org

See discussion (103 comments, 312 points) - Archive

Use Haskell for shell scripting

See discussion (103 comments, 217 points) - Archive

Advanced programming languages (2009)

See discussion (39 comments, 91 points) - Archive

Learn You an Agda

See discussion (70 comments, 127 points) - Archive

Letter to a Young Haskell Enthusiast

See discussion (173 comments, 332 points) - Archive

I've never seen a language's style guide recommend avoiding comments before

See discussion (191 comments, 166 points) - Archive

Reasons to use Haskell as a Mathematician (2006)

See discussion (74 comments, 93 points) - Archive

2048 in Idris

See discussion (11 comments, 84 points) - Archive

Why Lisp is a Big Hack and Haskell is Doomed to Succeed (2011)

See discussion (117 comments, 127 points) - Archive

A brief introduction to Haskell, and why it matters

See discussion (169 comments, 174 points) - Archive

Functional Programming 101 with Haskell

See discussion (40 comments, 94 points) - Archive

Frege: A JVM pure functional programming language in the spirit of Haskell

See discussion (107 comments, 185 points) - Archive

John Carmack: Thoughts on Haskell [video]

See discussion (149 comments, 217 points) - Archive

Things in Haskell which don't exist elsewhere at all

See discussion (87 comments, 170 points) - Archive

Haskell for Web Developers

See discussion (163 comments, 128 points) - Archive

Why the world needs Haskell

See discussion (150 comments, 165 points) - Archive

Towards a Haskell Logic Library

See discussion (4 comments, 87 points) - Archive

Why Haskell Is Worth Learning

See discussion (108 comments, 125 points) - Archive

Why learning Haskell makes you a better programmer

See discussion (98 comments, 205 points) - Archive

What was your "ah ha" moment with Haskell?

See discussion (59 comments, 116 points) - Archive

C vs GO

See discussion (175 comments, 202 points) - Archive

Advanced programming languages

See discussion (74 comments, 125 points) - Archive

Why Not Haskell?

See discussion (130 comments, 200 points) - Archive

Good Haskell source to read and learn from

See discussion (7 comments, 118 points) - Archive

C to Go: Could Go replace C?

See discussion (154 comments, 144 points) - Archive

Advanced programming languages

See discussion (40 comments, 100 points) - Archive

Why Lisp is a Big Hack (And Haskell is Doomed to Succeed)

See discussion (87 comments, 110 points) - Archive

Advanced programming languages

See discussion (81 comments, 131 points) - Archive

I learned Haskell in just 15 years

See discussion (237 comments, 307 points) - Archive