Login Register
Login Register

Haskell

Sort by:

What is Haskell, and who should use it

Haskell and other Functional Programming languages have increased in popularity in recent years. But what is Haskell exactly, and what are the best uses for this programming language

  • 0
  • 19

Dimensions and Haskell: singletons in action

This is a fantastic blog introducing you to dimensions and matrices in Haskell. In this part, we describe our approach to the matrix data type that is parameterised via its numbers of columns and rows.

  • 0
  • 22

Haskell community powered language

Here, we focus on the history of Haskell, the main programming language at Serokell. We will highlight only the most important milestones, so no lengthy paragraphs and descriptions this time. Are you ready to travel to the roots?

  • 0
  • 18

Learning Haskell: a resource guide

If earlier there was a problem to find a book, tutorial or course – now you can find a lot of web sources with good materials and tons of refuse at the same time. We have prepared a small springboard for you – a list of educational Haskell sources that have been verified by our […]

  • 0
  • 19

Type witnesses technique in Haskell

Thus, at compile time, we will have some information about a value in conditional branches of the code that branches on the said value. The core idea of the type witness technique is to use this information to make the compiler infer the attributes of a polymorphic type, such as what the inferred type is, […]

  • 0
  • 31

Haskell with UTF-8

Please, consider using UTF-8 and with-utf8 in your next project, update your old projects, re-export it from your custom prelude, send a link to UTF-8 Everywhere and this blog post to your colleagues and friends, report and fix encoding-related bugs in Haskell tools that you are using

  • 0
  • 14

Understanding Haskell through their desugaring

Haskell is an expressive language with many features. On the one hand, it makes Haskell convenient, equipping the programmer with a rich arsenal of tools to get the job done and write high-quality software. On the other hand, developing a thorough understanding of these tools, of all the language features, takes time, effort, and experience.

  • 0
  • 20

Handling Of uncaught exceptions in Haskell

When your Haskell application’s thread throws an exception that does not get caught, the Haskell runtime system will handle it and print it based on the Show instance.

  • 0
  • 44

Compile-time evaluation in Haskell

That’s why you are about to see not one, not two, but three ways to do compile-time evaluation in Haskell (there may be more, but let’s not get too esoteric).

  • 0
  • 19

Type families in Haskell: the definitive guide

Type families are one of the most powerful type-level programming features in Haskell. You can think of them as type-level functions, but that doesn’t really cover the whole picture. By the end of this article, you will know what they are exactly and how to use them.

  • 0
  • 38

Introduction to template Haskell

We will first use Template Haskell to generate some functions instead of writing them manually for the purpose of understanding how its basic machinery works. Then we will go through a more practical example and use TH to generate boilerplate code that will define class definitions and instances for those classes.

  • 0
  • 73

Dependent Haskell can improve industry projects

In this post, we show that Dependent Haskell can be used to simplify and improve the code in a large production codebase. The subject of our case study is Morley: an implementation of the smart contract language of the Tezos blockchain.

  • 0
  • 13

Dependency analysis of Haskell declarations

Haskell is one of the few languages that let you structure your program how you see fit. Functions and data types can be declared and used in arbitrary order.

  • 0
  • 16

A Short overview of typed template Haskell

Typed TH, as the name implies, allows us to provide stronger, static guarantees about the correctness of the meta-program. With untyped TH, the generated expressions would be type-checked when they are spliced.

  • 0
  • 69

What’s that Typeclass: foldable

Haskell, in turn, has two fundamental functions representing reducing, or, as we call it, folding – foldl and foldr – that differ in the order of the folding. foldl reduces elements of a container from left to right (as reduce in other languages usually does), while foldr reduces from right to left.

  • 0
  • 19

Parser combinators in Haskell

Parser combinators are known to be simple to use without requiring external tools or too many concepts to learn. That is, they are ordinary Haskell constructors that can easily be combined and returned with other parsers because of their nature as functions.

  • 0
  • 17

Parser combinators in Haskell

Parser combinators are known to be simple to use without requiring external tools or too many concepts to learn. That is, they are ordinary Haskell constructors that can easily be combined and returned with other parsers because of their nature as functions.

  • 0
  • 24

Introduction to free monads

To whet your appetite a little, free monads are basically a way to easily get a generic pure Monad instance for any Functor. This can be rather useful in many cases when you’re dealing with tree-like structures

  • 0
  • 19

The internet is huge. Help us find great content!

About

We design learning experiences that help you grow.

Navigation
Follow

Submit