—
Seven Levels of Type Safety in Haskell: Lists
in #dependent types, #haskell, #singletons, #types, @Haskell
—
Haskell Nuggets: k-means
in #haskell, #machine learning, #dependent types, @Haskell
—
Advent of Code 2020: Haskell Solution Reflections for all 25 Days
in #haskell, #challenges, #advent of code, @Haskell, +Advent of Code
—
Enhancing Functor Structures Step-By-Step (Part 2)
in #free, #haskell, #interpreters, #invariant functors, #functor combinators, @Haskell, +Enhancing Functor Structures
—
Enhancing Functor Structures Step-By-Step (Part 1)
in #free, #haskell, #interpreters, #invariant functors, #functor combinators, @Haskell, +Enhancing Functor Structures
—
Introducing the mutable library
in #numerical, @Haskell
—
Dead-simple TCP/IP services using servant
in #haskell, #servant, @Haskell, @Tutorials
—
The Functor Combinatorpedia
in #free, #haskell, #interpreters, #functor combinators, @Haskell
—
Introduction to Singletons (Part 4)
in #dependent types, #haskell, #singletons, #types, @Haskell, @Tutorials, +Introduction to Singletons
—
Introduction to Singletons (Part 3)
in #dependent types, #haskell, #singletons, #types, @Haskell, @Tutorials, +Introduction to Singletons
—
The Const Applicative and Monoids
in #haskell, #monoids, #applicatives, @Haskell
—
Introducing the backprop library
in #haskell, #numerical, #machine learning, #artificial neural networks, @Haskell, +Backprop
—
"Interpreters a la Carte" in Advent of Code 2017 Duet
in #haskell, #types, #lens, #advent of code, #functor combinators, @Haskell, +Beginner/Intermediate Haskell Projects
—
Introduction to Singletons (Part 2)
in #dependent types, #haskell, #singletons, #types, @Haskell, @Tutorials, +Introduction to Singletons
—
Introduction to Singletons (Part 1)
in #dependent types, #haskell, #singletons, #types, @Haskell, @Tutorials, +Introduction to Singletons
—
Advent of Code 2017! Ongoing solutions and explanations
in #haskell, #challenges, #advent of code, @Haskell, +Advent of Code
—
Hamiltonian Dynamics in Haskell
in #haskell, #physics, #numerical methods, #dependent types, @Haskell, +Hamilton
—
Fixed-Length Vector Types in Haskell (an Update for 2017)
in #dependent types, #haskell, #singletons, #types, @Haskell, @Tutorials, @Reference
—
Verify your Typeclass Instances in Haskell Today!
in #dependent types, #haskell, #singletons, #types, #existential types, #abominations, @Haskell
—
Introducing the Hamilton library
in #haskell, #physics, #numerical methods, @Haskell, @Projects, +Hamilton
—
Practical Dependent Types in Haskell 2: Existential Neural Networks and Types at
Runtime
in #dependent types, #numerical, #haskell, #singletons, #types, #artificial neural networks, #machine learning, #existential types, @Haskell, @Ramblings, +Practical Dependent Types in Haskell
—
Practical Dependent Types in Haskell: Type-Safe Neural Networks (Part 1)
in #dependent types, #numerical, #haskell, #singletons, #types, #linear algebra, #artificial neural networks, #machine learning, @Haskell, @Ramblings, +Practical Dependent Types in Haskell
—
Introducing the "Prompt" library
in #haskell, #monads, @Haskell, @Projects
—
mtl is Not a Monad Transformer Library
in #haskell, @Haskell, @Ramblings, +Haskell Mythbusters
—
Fixed-Length Vector Types in Haskell, 2015
in #dependent types, #haskell, #singletons, #types, @Haskell, @Tutorials, @Reference
—
A Non-Unique Monad Instance
in #haskell, #monads, #algebra, @Haskell, @Projects
—
IO Monad Considered Harmful
in #haskell, #monads, #io, @Haskell, +Haskell Mythbusters
—
First-Class "Statements"
in #haskell, #io, @Haskell, @Ramblings
—
Inside My World (Ode to Functor and Monad)
in #haskell, #monads, #io, @Haskell, @Ramblings
—
Code 2013
in #haskell, #bash, #programming languages, #prolog, #javascript, #ruby, #fortran, #ocaml, #vim, @Ramblings, @Personal
—
Wolf, Goat, Cabbage: The List MonadPlus & Logic Problems
in #haskell, #monads, @Haskell, @Ramblings, +MonadPlus: Success/Failure Monads, +Practical Monads
—
The List MonadPlus --- Practical Fun with Monads (Part 2 of 3)
in #haskell, #monads, @Haskell, @Ramblings, +MonadPlus: Success/Failure Monads, +Practical Monads
—
Practical Fun with Monads --- Introducing: MonadPlus!
in #haskell, #monads, @Haskell, @Ramblings, +MonadPlus: Success/Failure Monads, +Practical Monads
—
The Compromiseless Reconciliation of I/O and Purity
in #haskell, #io, @Haskell, @Ramblings