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 interview developers from Verity – a company that provides integrated solutions for modern asset management.
In this article, we interview Jay, the mastermind behind Impure Pics. We talk about his approach to creating fun things, thoughts about what the Haskell community needs right now, and what could be the future of functional programming.
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 article of our Haskell in Production series, we interview José Pedro Magalhães from Standard Chartered – a multinational bank that has over 6 million lines of code written in their own dialect of Haskell.
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.
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.