What is it like to work on GHC, the state-of-the-art open source Haskell compiler? Read this post to learn what features Vladislav implemented in 2019 and what he has to say about the challenges of contributing to GHC.
To showcase the companies that use Haskell in industry, we have decided to start an interview series that explores the practical aspects of using Haskell for a software project: real benefits, libraries/extensions that people use, and also the disadvantages.
In the first part, we introduced the reader to basic modal logic. In this part of the introduction to the modal logic, we observe use cases and take a look at connections of modal logic with topology, foundations of mathematics, and computer science.