—
Verify your Typeclass Instances in Haskell Today!in #abominations, #dependent types, #existential types, #functional programming, #haskell, #singletons, @Haskell
—
Practical Dependent Types in Haskell 2: Existential Neural Networks and Types at
Runtimein #artificial neural networks, #dependent types, #existential types, #functional programming, #haskell, #machine learning, #numerical, #singletons, @Haskell, @Ramblings, +Practical Dependent Types in Haskell
—
Practical Dependent Types in Haskell: Type-Safe Neural Networks (Part 1)in #artificial neural networks, #dependent types, #functional programming, #haskell, #linear algebra, #machine learning, #numerical, #singletons, @Haskell, @Ramblings, +Practical Dependent Types in Haskell
—
Fixed-Length Vector Types in Haskell, 2015in #haskell, @Haskell, @Reference, @Tutorials