Dependent Haskell – Vladislav Zavialov
alexandersec
·
2026-06-15
·
via HN's home page
 | |
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 through the Haskell Steering Committee, gives a practical overview of GHC internals, and shares advice for newcomers who want to start contributing to the compiler. The conversation also goes deeper into the theory and implementation challenges behind bringing dependent types to Haskell. |
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。
