Programming
Haskell in Production: FOSSA.png)
In this edition of our Haskell in Production series, we feature FOSSA – a tool for open-source risk management.
11 min read
Upstream posts
DataKinds Are Not What You Think.png)
The DataKinds language extension might not work the way you think it does. In this article, we look at how it's usually taught and show how the common intuition differs from reality.
5 min read
Get Started with Rust: Traits.jpg)
In this article, we cover the basics of traits in Rust: what they are, when they are useful, and how to use them.
14 min read
Get Started with Rust: Enums
In this article, we show you how to define, instantiate, and use enums in Rust. We also cover pattern matching and two common enums for error handling: Option and Result.
14 min read
.jpg)
Haskell in Production: Caribou
In this edition of Haskell in Production series, we interview Syed Jafri, a Senior Software Engineer from Caribou. Read the interview to learn how he successfully pitched and introduced Haskell to his company.
6 min read
Haskell in Production: NoRedInk
In this edition of our Haskell in Production series, we feature NoRedInk – an EdTech product that helps students become better writers through its online, adaptive writing curriculum.
7 min read
Functional Futures: Dependent Types with David Christiansen.png)
In this month’s episode of Functional Futures, our guest is David Christiansen – the Executive Director of the Haskell Foundation and the co-author of The Little Typer, a book on dependent types.
69 min read
Editor’s pick
Haskell in Production: Mercury
In this edition of our Haskell in Production series, we interview Max Tagher, the co-founder and CTO of Mercury. Read the article to learn where Mercury uses Haskell, why they chose it, and what they like about it.
10 min read
Upstream posts
Functional Futures: Across the Kmettverse with Edward Kmett
In this month’s episode of Functional Futures, our guest is Edward Kmett – Head of Software Engineering at Groq and the author of many widely-used Haskell libraries.
24 min read
Get Started with Rust: Structs
In Rust, structs are composite data types that contain multiple related types. In this article, we show you how to define and instantiate structs, derive traits for them, and create struct methods.
10 min read
Kinds and Higher-Kinded Types in Haskell
What's the type of a type? Can a type abstract over polymorphic types? Find the answers to these questions in our article on kinds in Haskell.
9 min read
What's That Typeclass: Functor
What's the Functor typeclass, and how can it be used? Find all the information you need to get started with Functor in our beginner-friendly blog post.
13 min read
.jpg)
.jpg)
Universal and Existential Quantification in Haskell
Did you know that both universal and existential quantification are possible in Haskell? In this article, we show you where these quantifications can be useful and how to use them.
11 min read
Functional Futures: Carp with Erik Svedäng
In this month’s episode of Functional Futures, our guest is Erik Svedäng – a game designer and the creator of Carp, a statically-typed lisp for real-time applications.
19 min read