The Haskell Interlude cover image

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

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app