haskell

  • telegram blockchain competition serokell
    TON: Is Haskell More Fun than FunC?
    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.
  • best haskell open source projects
    10 Haskell Open-Source Projects
    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.
  • top software written in haskell
    Software Written in Haskell: Stories of Success
    This post is a collection of great projects written in Haskell, which unearths the benefits of Haskell that the majority knows nothing about.
  • Stay Tuned: Best Haskell Sources to Subscribe
    Stay Tuned: Best Haskell Sources to Follow
    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.
  • Learning Haskell: A Resource Guide
    Learning Haskell: A Resource Guide
    Want to learn Haskell? From entry-level books and courses to blogs and podcasts, our developers have selected the best resources for this purpose.
  • Haskell. History of a Community-Powered Language
    Haskell. History of a Community-Powered Language
    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.
  • Dimensions and Haskell: Singletons in Action
    Dimensions and Haskell: Singletons in Action
    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.
  • Serokell Contributions to the Next Generation
    Serokell Contributions to the Next Generation
    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.
  • Best Haskell Conferences to Attend
    Best Haskell Conferences to Attend
    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.
  • Parsing Typed eDSL
    Parsing Typed eDSL
    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.
  • Dimensions and Haskell: Introduction
    Dimensions and Haskell: Introduction
    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.
  • Three Months of Hustle
    Three Months of Hustle: Serokell Q1 2019 Report
    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.
  • Trees that Melt
    Trees that Melt: Use of AVL Tree in Blockchains
    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).
  • Year of Serokell
    Year of Serokell
    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…
  • Haskell logo
    Why Dependent Haskell is the Future of Software Development
    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…
  • Haskell logo
    Introduction to Tagless Final
    Recently, my team decided to implement an eDSL using the tagless final style for one of the new projects..
  • Haskell logo
    Signal Processing in Haskell
    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…