—
Seven Levels of Type Safety in Haskell: Listsin #functional programming, #dependent types, #haskell, #types, @Haskell
—
Introduction to Singletons (Part 4)in #functional programming, #dependent types, #haskell, #types, @Haskell, @Tutorials, +Introduction to Singletons
—
Introduction to Singletons (Part 3)in #functional programming, #dependent types, #haskell, #types, @Haskell, @Tutorials, +Introduction to Singletons
—
Introduction to Singletons (Part 2)in #functional programming, #dependent types, #haskell, #types, @Haskell, @Tutorials, +Introduction to Singletons
—
Introduction to Singletons (Part 1)in #functional programming, #dependent types, #haskell, #types, @Haskell, @Tutorials, +Introduction to Singletons
—
Fixed-Length Vector Types in Haskell (an Update for 2017)in #functional programming, #dependent types, #haskell, #types, @Haskell, @Tutorials, @Reference
—
Verify your Typeclass Instances in Haskell Today!in #functional programming, #dependent types, #haskell, #types, #existential types, #abominations, @Haskell
—
Practical Dependent Types in Haskell 2: Existential Neural Networks and Types at
Runtimein #functional programming, #dependent types, #numerical, #haskell, #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, #dependent types, #numerical, #haskell, #types, #linear algebra, #artificial neural networks, #machine learning, @Haskell, @Ramblings, +Practical Dependent Types in Haskell
—
Fixed-Length Vector Types in Haskell, 2015in #functional programming, #dependent types, #haskell, #types, @Haskell, @Tutorials, @Reference