Programming

Creating website pages without professional knowledge of HTML code can be done easily if you are familiar with Markdown, the lightweight version of a markup language that lets you convert text from sources like Google Docs and MS Word into HTML code with just a few clicks. If you haven’t already, it’s time to try Markdown, which makes writing, formatting, and converting text into HTML much faster and efficient.

At Serokell, we have been working hard for some time now to help add dependent types to Haskell. It is the primary goal of our dedicated GHC team, currently consisting of Vladislav Zavialov and Andr…

In this edition of our Haskell in Production series, we sit down with RELEX Solutions, a supply chain & retail planning platform. In this interview with Serokell, Lead Software Developers, Mats Rauhala and Martin Potier, shared with us their reasons for choosing Haskell for their project and their experience implementing it.

In this article, we introduce the Alternative typeclass in Haskell: what it is, how it works, and where it can be used.

In this edition of our Haskell in Production series, we interview developers from Verity – a company that provides integrated solutions for modern asset management.

In this edition of our Haskell in Production series, we interview Fyodor Soikin from CollegeVine – an online platform that connects high school students with college admissions guidance and mentorship.

In this blog post, we explore, describe, and dissect the second phase of the collaboration between Runtime Verification and Serokell on optimizing the K semantic framework.

In this edition of our Haskell in Production series, we interview Simon Marlow, who's currently an engineer at the Code Search and Indexing team at Meta.

We love Haskell, but we also love learning new languages. In this article, we want to show how to use your Haskell knowledge to write Rust code.

What benefits can functional programming bring to consulting projects? How does Haskell help to deliver projects on time and on budget? Find out the answers in our interview with Rob Harrison from Flowmo.co.

In this blog post, we explore, describe, and dissect the first phase of the collaboration between Runtime Verification and Serokell on optimizing the K semantic framework.

Even though Rust and Haskell are quite different languages, they are also surprisingly alike. If you know Rust, you have a head start with Haskell, and vice versa.