Programming
How Serokell Contributes to the Future of Haskell
Over the past years, Serokell has worked on several parts of the Haskell ecosystem: GHC development, language proposals, Dependent Haskell, developer tooling, and education. In this article, we’ll go through the main contributions and explain why they matter.
.png)
.png)
Upstream posts
Type Theory Forall: Dependent Types
In the new episode of the Type Theory Forall podcast, hosted by Pedro da Costa Abreu Júnior, our GHC Team Lead, Vladislav Zavialov, discusses his work on the Glasgow Haskell Compiler and the impleme…
.jpg)
.jpg)
Serokell’s Work on GHC: Dependent Types, Part 5
This article continues the fine tradition of Serokell's GHC team sharing their progress on bringing dependent types to Haskell. A lot has happened since the last report, and there is plenty to cover.
In this edition, Vladislav Zavialov presents three major contributions and a host of smaller improvements that push Dependent Haskell closer to becoming a practical reality.
The Hidden Perils of MonadBaseControl
MonadBaseControl
is notoriously tricky to use correctly. It’s really easy to misuse and
end up introducing subtle unexpected behaviour or downright bugs, even
in the hands of the more experienced de…
.png)
Haskell in Production: Scrive
In our Haskell in Production series, we interview developers and technical leaders from companies that use Haskell for real-world tasks. We cover benefits, downsides, common pitfalls, and tips for b…
Rust is Not a Functional Language
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.
TON Smart Contract Development Tutorial
The TON blockchain has emerged as a robust platform offering scalability, speed, and security. Businesses are increasingly adopting it for the development of decentralized applications (dApps). To take advantage of its full potential, understanding TON's smart contracts is essential. This article is an introduction to TON smart contract development, where we guide you through the essential steps, tools, and best practices needed to get started.
.png)
Editor’s pick
.jpg)
Serokell’s Work on GHC: Dependent Types, Part 4
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 Borzenkov describe their recent contributions.
.png)
Upstream posts
Scalability and Interoperability in Blockchain
The main goal of blockchain development today is achieving near-instant cryptocurrency transaction speeds. For that, a blockchain must be scalable, meaning capable of handling a high volume of transactions without compromising security or decentralization. Another important aspect is blockchain interoperability—the ability of different blockchain networks to communicate, share data, and interact with one another, providing users with secure cross-blockchain functionalities.
.png)
Trends in Data Analytics in 2024
The global big data and business analytics market size reached $198.08 billion in 2020 and is expected to triple by 2030. This fast growth shows that it’s crucial for businesses to adopt data analytics strategies to gain advantage in competitive markets. In this article, we take a look at the data analytics trends in 2024 that you need to incorporate into your business strategy to maintain an edge.
A Guide to the TON Blockchain
The TON Blockchain is becoming increasingly popular among businesses looking to create decentralized applications (dApps) across various industries. Serokell has hands-on expertise with the platform. In 2019, we won the first prize at the TON competition for smart contract development, where we designed multi-signature wallets and synchronous and asynchronous two-party payment channels.
How to Develop a Blockchain App
Blockchain has been transforming various industries, enabling companies to significantly enhance security, reduce risks, increase transparency, and automate numerous business processes. In this blog post, we provide a detailed overview of blockchain applications and offer advice on how to start building one. We cover the fundamentals of this technology and some of its most interesting use cases.
Top 12 Real-World Business Use Cases for Rust
Rust has seen increasing adoption by both big tech companies and startups in recent years. In this blog post, we will examine 12 prominent business applications of Rust in the real world, from Disney to the Falcon 9 launch. Back in 2020, we wrote about the major market players which used Rust in their projects, including Dropbox, Coursera, Figma, Microsoft, and others. Since then, this programming language has gained more popularity, so it’s time to explore more success stories.
Best Tech Conferences and Events 2024. Part 2
In our previous post, we covered the major tech conferences of the first half of 2024. In this post, we have put together the most interesting IT conferences and events happening from July to December this year. For your convenience, we have divided them into several sections, with events appearing in chronological order within each section.