haskell

To continue our series on Haskell in production, we have an interview with Jezen Thomas, the CTO of Riskbook.

Together with the TQ Group, we have been working on several tools that use Haskell to improve writing and testing Michelson code on Tezos. This is the first post in a series about one of them — Lorentz, a Haskell eDSL for Michelson smart contracts.

What is it like to work on GHC, the state-of-the-art open source Haskell compiler? Read this post to learn what features Vladislav implemented in 2019 and what he has to say about the challenges of contributing to GHC.

To showcase the companies that use Haskell in industry, we have decided to start an interview series that explores the practical aspects of using Haskell for a software project: real benefits, libraries/extensions that people use, and also the disadvantages.

Could you unite a career in physics with writing and teaching Haskell, one of the (allegedly) most complex programming languages out there? Today, we have an interview with a person that can.

2019 was a great year for us, and for Haskell overall. Check out our highlights of the year!

Our first post about 10 open-source projects for beginners was welcomed by our readers. Now, we present you with something a little bit more nerdy.

Always wanted to learn a functional programming language but never found the time? Perhaps the time is now. In this article, we give resources, tips, and tricks to help you learn Haskell as fast as possible.

The results of the TON smart contracts contest are out, and our team has got the largest cash award. In this article, we give a brief intro to our submission and talk about our experience during the contest.

We participated in the Blockchain Developer competition announced by the Telegram Open Network team. Here is what we submitted as our entry and what we learned while working on it.

Exploring Haskell open-source projects can teach you a lot about functional programming. They help you to grasp the syntax of the language and see how real programming tasks are solved even if you have zero working experience. That is why we’ve chosen 10 popular programs from GitHub written in Haskell for you to study and enjoy.

This post is a collection of great projects written in Haskell, which unearths the benefits of Haskell that the majority knows nothing about.

Aside from various courses and books, your self-education can be supplemented by following the bright heads of the Haskell world. For some ideas, we want to share the sources that enable us to keep our hands on the pulse.

Want to learn Haskell? From entry-level books and courses to blogs and podcasts, our developers have selected the best resources for this purpose.

Did you know that Haskell is a language with over 30 years of history? Denis Oleynikov recounts the whole story, from start to Haskell Prime.

How to reduce the debugging time and make programs less error-prone while working with matrices in Haskell? There can be several solutions. This article presents a way of lifting the dimensions to the type level.

We at Serokell believe in self-development and practical appliance of latest scientific inventions, that’s why we support students and gladly hire young specialists. We feel that our position is not only beneficial for business but also makes the world a better place.

Technical conferences are a perfect place for developers to broaden their professional horizons and meet new people. In this article, we will tell you about the most interesting Haskell events.

Embedded DSL (or eDSL) is a popular technique for encoding your domain specific language into Haskell’s type system. One example of such DSL is Ivory – eDSL for C code generation. Even more often it’s useful to implement your DSL as a Haskell data type and interpret it right from Haskell.

A review of matrix and numerical libraries in order to understand which array libraries are useful for machine learning in Haskell and which approaches to type-level natural numbers might be applied to safe matrix dimensions.

We started the new 2019 year with intensive work in all areas. Only three months have passed, but we can already say with confidence: this is a year of significant changes.

In modern blockchains, if some node wants to verify a block, it either has to be a full node storing the whole network state, or it has to continuously ask some remote storage for various parts of it. Each of these solutions possesses either inconveniences (storing 100+ GB of data) or risks (the storage forging the data it sends you).

On the threshold of the New Year, it’s time to finish the last issues and summarize the results of the year. While everyone is scurrying around, shopping, closing deadlines and preparing reports, we wil…

Hi, I’m Vladislav Zavialov. For the last couple of months, my job at Serokell has been to lead our efforts to improve our primary tool – the Glasgow Haskell Compiler (GHC). I’m focusing on making th…

Recently, my team decided to implement an eDSL using the tagless final style for one of the new projects..

Hi, my name is Rinat Stryungis. I work at Serokell on Ariadne’s backend, and although it is an interesting wallet project for Cardano (and other cryptocurrencies), today I would like to tell you abo…