Serokell outlines its multi-year contributions to the Haskell ecosystem, covering GHC compiler work (300+ commits), implemented language extensions (StandaloneKindSignatures, TypeAbstractions, RequiredTypeArguments, LexicalNegation, ExplicitNamespaces, and more), 15+ accepted GHC proposals, parser architecture improvements, and community tools like Hackage Search and the Haskell Certification program. A central theme is advancing Dependent Haskell — making types depend on values — through incremental, concrete engineering steps rather than a single large change. The work focuses on making Haskell's type and kind systems more regular, explicit, and unified with the term-level language.
Table of contents
SummaryDependent Haskell roadmapHackage SearchHaskell CertificationContributions to GHCStandalone kind signaturesType abstractionsRequired type argumentsStarIsType and NoStarIsTypeCUSKs and NoCUSKsLexical negationNamespace-specified importsList and tuple punsImprovements to TypeOperatorsType syntax at the term levelParser architectureChar literals and NatDependency analysis for declarations and instancesConsistent quantification rulesGHC proposalsConclusion1.7K Impressions