Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
-
Updated
Jun 20, 2024 - TeX
Haskell is a functional (that is, everything is done with function calls), statically, implicitly typed (types are checked by the compiler, but you don't have to declare them), lazy (nothing is done until it needs to be) language.
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Book of Elementary Functional Algorithms and Data structures
Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
Cheat Sheets for programming languages and tools
Category theory applied to functional programming (undergraduate project)
Binary Neural Networks research project
Translates Metis ATP proofs to the Agda code
Free as in beer, free as in algebra. Language with (co)algebraic effects and (co)handlers
An analysis of Haskell and its GHC compiler, as part of the K31 Compilers course of Spring 2023 at DIT UoA.
Haskell Implementation of Hunt the Wumpus, and some slides, to learn about RWS Monads
📖 Solutions to exercises from "A Book of Abstract Algebra" by Charles C. Pinter
Released 1990