From Whitespace to Idris: Interview With Edwin Brady

Bioinformatics combines scientific discovery with the challenge of processing large, complex, and imperfect datasets. In this interview with Michal Gajda, we explore how Haskell's strong types, purity, and functional abstractions can support reliable and

In this post, we interview Nikita Lisitsa about C++, Rust, systems programming, and game development.We discuss whether C++ is still the default path into systems programming, where Rust fits in, and how both languages may coexist over the next decade. Ni

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.

MonadBaseControlis notoriously tricky to use correctly. It's really easy to misuse andend up introducing subtle unexpected behaviour or downright bugs, evenin the hands of the more experienced de…

In our Rust in Production interview series, we talk with developers and technical leaders who are shaping how Rust is built and used in practice..

Tagless final is one of the most useful tools for defining application monads in Haskell and Scala coding. Here you can find materials about how to use it efficiently.

We at Serokell love Rust. We also love functional languages like Haskell and OCaml. However, there appears to be a bit of confusion as to whether Rust can be called a functional language, too.

The GHC team at Serokell continues its work towards dependent types in Haskell. Our ultimate goal is that Haskell becomes a language where the use of advanced type system features is not just possible but practical.In this report, Serokell's GHC team memb

At Serokell, we have a dedicated team working on GHC. The primary goal is to help add dependent types to Haskell, as outlined in GHC proposal #378, Design for Dependent Types. This post covers@-binders in lambdas and function equations, namespace specifie