
18: Matthias Pall Gissurarson & Jimmy Koppel
The Haskell Interlude
00:00
Haskell Language Server - Is Hector Open Third?
Hector is a fourth generation tool, which solves the exact same problem as Huven Plus. For many benchmarks, Hector is able to enumerate all well-type terms of that type faster than Huven Plus and find a single one. The least two benchmarks that Hector solved in under three seconds were Huven Plus timed out after over 300 seconds. Can every Haskell programmer use it now? So there's an ECTA plugin that's available, and it's actually being integrated into HLS, the Haskell language server.
Transcript
Play full episode