News
Type Classes has been in business for a year. To celebrate and share our success, annual memberships are half-off through June 30.
Quick site design update: We’ve added navigation buttons at the top of pages that are part of a series.
A monoid is a type along with a binary associative operation and an identity element. We’ve written a comprehensive guide to monoids in Haskell.
Our guide to the many uses of underscore has been amended to include its usage with the type applications extension, which does not also require enabling partial type signatures.
The Python course continues with a discussion of map (with one iterator argument, or with multiple) and itertools.starmap. Again the Haskell is very similar, with mostly superficial differences resulting from Python’s arity-based overloading.
Courses
Courses are series about a particular topic meant to be watched in order. Some will be more theory-and-fundamentals oriented, while some will focus on building a project. Each course has clearly identified prerequisites and goals, to help you choose which courses are right for you.
Text and ByteString types.Functor, Bifunctor, Applicative, Traversable, Monad, Contravariant, and Profunctor, with motivating examples and discussions of what each is good for, the laws governing each, and how to property test instances.fltkhs and Chris using gtk3. Each lesson explains aspects of the library, illuminates important Haskell concepts such as concurrency primitives and implicit parameters, and gives you some basis for comparing libraries for your own native GUI application projects.Maybe, Either, and Validation types brings, as well as using newtype to differentiate inputs. We also demonstrate the difference between Applicative and Monad.Reference
Each article explains a single, sometimes small, Haskell topic in detail. Some articles include video. Haskell reference pages supplement, but are independent of, the courses and projects. Haskellers of any level will find them useful as reference.
ReaderT from the transformers library and use it to illustrate type aliases, newtypes, and various approaches for typeclass deriving, using the GeneralizedNewtypeDeriving and DerivingVia GHC extensions.TypeApplications lets you visibly apply functions to type arguments. We demonstrate several common use cases.ScopedTypeVariables lets you extend the scope of a type variable over a whole function, including its subexpressions.Transitions
Switching to Haskell doesn’t mean you have to start over learning how to code. Our transitions content is geared toward explaining how concepts from other languages relate to Haskell, so you can advantage of what you already know as you get started in Haskell. We focus on Java, JavaScript, and Python.
Math.max() < Math.min() and what it has to do with monoids. This is a two-part article covering Haskell’s folds (compared to JavaScript reduce), monoids, and identity values.scotty, a Haskell web framework.Tooling
This section covers topics that aren’t about the Haskell language itself, but about software that helps you be more productive with it.
:type command and never be at a loss for knowledge of typesghcid