Viewing profile — alexandersechin

[dead]

In this article, we’ll explore Canton, including its architecture, its raison d’être, its recommended smart contract language, Daml, and a quick-start guide to writing your first D…

[flagged]

[flagged]

[flagged]

At Serokell, we believe that Haskell still has a lot of room to grow. The language already has one of the most expressive type systems in practical use. It gives programmers algebr…

In this episode, Vlad discusses his work on the Glasgow Haskell Compiler and the implementation of Dependent Haskell. He explains how changes to Haskell are proposed and evaluated …

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, whe…

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 …

Rust and Haskell don’t shy away from powerful features. As a result, both languages have steep learning curves when compared with other languages. Trying to learn Rust or Haskell c…

This interview explores JetBrains’ strategy for supporting the Rust Foundation and collaborating around shared tooling like rust-analyzer, the rationale behind launching RustRover,…