—

Seven Levels of Type Safety in Haskell: Lists
in #functional programming, #haskell, #singletons, #types, @Haskell

—

Haskell Nuggets: k-means
in #haskell, #machine learning, #functional programming, @Haskell

—

Introduction to Singletons (Part 4)
in #functional programming, #haskell, #singletons, #types, @Haskell, @Tutorials, +Introduction to Singletons

—

Introduction to Singletons (Part 3)
in #functional programming, #haskell, #singletons, #types, @Haskell, @Tutorials, +Introduction to Singletons

—

Introduction to Singletons (Part 2)
in #functional programming, #haskell, #singletons, #types, @Haskell, @Tutorials, +Introduction to Singletons

—

Introduction to Singletons (Part 1)
in #functional programming, #haskell, #singletons, #types, @Haskell, @Tutorials, +Introduction to Singletons

—

Hamiltonian Dynamics in Haskell
in #functional programming, #haskell, #physics, #numerical methods, @Haskell, +Hamilton

—

Fixed-Length Vector Types in Haskell (an Update for 2017)
in #functional programming, #haskell, #singletons, #types, @Haskell, @Tutorials, @Reference

—

Verify your Typeclass Instances in Haskell Today!
in #functional programming, #haskell, #singletons, #types, #existential types, #abominations, @Haskell

—

Practical Dependent Types in Haskell 2: Existential Neural Networks and Types at
Runtime
in #functional programming, #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 #functional programming, #numerical, #haskell, #singletons, #types, #linear algebra, #artificial neural networks, #machine learning, @Haskell, @Ramblings, +Practical Dependent Types in Haskell

—

Fixed-Length Vector Types in Haskell, 2015
in #functional programming, #haskell, #singletons, #types, @Haskell, @Tutorials, @Reference