From serokell.io
Compile-Time Evaluation in Haskell
1 1
In this article, we look at three ways to do compile-time evaluation in Haskell: Template Haskell, type families, and functional dependencies.
21h ago
From serokell.io
Haskell in Mercury: Interview with Max Tagher
0 0
In our Functional Futures podcast episodes, we interview technical leaders from companies that use Haskell for real-world tasks. This season will be dedicated to the business side of development with functional programming. Our guest is Max Tagher, the co-founder and CTO of Mercury, the fintech...
on Oct 30
From serokell.io
Dependent Types in Haskell, Part 4
0 0
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 members Vladislav Zavialov and Andrei...
on Oct 17
From serokell.io
Dependent types in Haskell, Part 3
0 0
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..
on Apr 25
From serokell.io
A Guide to Typed Lambda Calculus
0 0
In this piece, we focus on introducing types to lambda calculus. Typed lambda calculus extends the untyped lambda calculus by introducing a type system. It's important to note that, unlike untyped lambda calculus, there are multiple typed lambda calculi, each differentiated by the specific...
on Mar 23
From serokell.io
Rust in Production: Interview with FOSSA
0 0
In this interview from our Rust in Production series, we speak with Jessica Black, a senior software engineer at FOSSA, a developer-native open source management platform.
on Mar 1
From serokell.io
Why Dependent Haskell is the Future of Software Development
0 0
Are dependent types the future of software development? Read more about our work on Dependent Haskell in this blog post.
on Feb 12
From serokell.io
Top programming languages for cybersecurity | Serokell
0 0
Work in cybersecurity: check this list of languages for cybersecurity to support your growth as a professional programmer.
on Feb 10
From serokell.io
Open source software (OSS) development guide | Serokell
0 0
Looking for an effective way to organize and manage an OSS project? Check out our guide to understand the risks, learn about necessary licensing types, and follow our step-by-step plan. This will help you create your own open-source solution and attract a community.
on Jan 23
From serokell.io
Haskell in Production: Chordify
0 0
In this edition of our “[Haskell in Production](https://serokell.io/blog/haskell-in-production)” series we interview Jeroen Bransen from Chordify, an online platform, which turns any music or song into chords. Jeroen has been working at Chordify since 2016. We discussed how Chordify ensures the...
on Jan 1
From serokell.io
Word2Vec: Explanation and Examples
0 0
In this article, we explore word2vec (short for "word to vector"), a word embedding technology widely used in ML. Read on to learn more.
on Dec 25
From serokell.io
0 0
Today there are several Python IDEs that you can use, both commercial and open-source ones. The only problem is to choose the right one. In this article, we will discuss the top Python IDEs, as well as the factors to consider when choosing the best IDE for your needs.
on Dec 24
From serokell.io
0 0
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..
on Dec 22
From serokell.io
History of the Haskell Programming Language
0 0
Haskell is a language with more than 30 years of history. If you want to learn how an academic language evolved to become one of the main FP languages, read this post.
on Nov 10, 2023
From serokell.io
Rust development: What moved Rust into top 15 programming languages?
0 0
Discover the pros and cons of Rust and see whether Rust should be the next programming language to learn.
on Oct 6, 2023