# @HASKELL

Functional, pure, non-strict, statically and strongly typed, natively compiled…really just the king of great languages.

- — CommentsLenses embody Products, Prisms embody Sums
- — CommentsA Purely Functional Typed Approach to Trainable Models (Part 3)
- — CommentsA Purely Functional Typed Approach to Trainable Models (Part 2)
- — CommentsA Purely Functional Typed Approach to Trainable Models (Part 1)
- — CommentsThe Const Applicative and Monoids
- — CommentsIntroducing the backprop library
- — Comments"Interpreters a la Carte" in Advent of Code 2017 Duet
- — CommentsIntroduction to Singletons (Part 2)
- — CommentsIntroduction to Singletons (Part 1)
- — CommentsAdvent of Code 2017! Ongoing solutions and explanations
- — CommentsHamiltonian Dynamics in Haskell
- — CommentsFixed-Length Vector Types in Haskell (an Update for 2017)
- — CommentsVerify your Typeclass Instances in Haskell Today!
- — CommentsIntroducing the Hamilton library
- — CommentsPractical Dependent Types in Haskell 2: Existential Neural Networks and Types at Runtime
- — CommentsPractical Dependent Types in Haskell: Type-Safe Neural Networks (Part 1)
- — CommentsAutomatic Propagation of Uncertainty with AD
- — CommentsIntroducing the "Prompt" library
- — Commentsmtl is Not a Monad Transformer Library
- — CommentsFixed-Length Vector Types in Haskell, 2015
- — CommentsUnique sample drawing & searches with List and StateT --- "Send more money"
- — CommentsAuto: A Todo GUI application with Auto (on GHCJS, etc.)
- — CommentsAuto: Building a Declarative Chatbot with Implicit Serialization
- — CommentsIntroducing: the Auto library!
- — CommentsEffectful, Recursive, Real-World Autos: Intro to Machine/Auto Part 3
- — CommentsA Non-Unique Monad Instance
- — CommentsIO Monad Considered Harmful
- — CommentsFirst-Class "Statements"
- — CommentsAuto as Category, Applicative & Arrow (Intro to Machines/Arrows Part 2)
- — CommentsPipes: Streaming Huffman Compression in Haskell (Part 3)
- — CommentsInside My World (Ode to Functor and Monad)
- — CommentsStreaming Huffman Compression in Haskell (Part 2: Binary and Searches)
- — CommentsA (Dead End?) Arrowized Dataflow Parallelism Interface Attempt
- — CommentsStreaming Huffman Compression in Haskell (Part 1: Trees and State)
- — CommentsIntro to Machines & Arrows (Part 1: Stream and Auto)
- — CommentsWolf, Goat, Cabbage: The List MonadPlus & Logic Problems
- — CommentsThe List MonadPlus --- Practical Fun with Monads (Part 2 of 3)
- — CommentsPractical Fun with Monads --- Introducing: MonadPlus!
- — CommentsThe Compromiseless Reconciliation of I/O and Purity
- — CommentsDeploying Medium to Large Haskell Apps to Heroku by Precompiling
- — CommentsShake: Task Automation and Scripting in Haskell