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. Summary The highlights of this report are: Visible forall in GADTs Namespace-specified imports Type instances in kind checking After that, […]