Haskell: DevTools and Generic Hoogle
–
· Japan, 〒101-0041 Tokyo, Chiyoda City, Kanda Sudachō, 2-chōme−3−12 12 KANDA
Recent advancements in Haskell development tools focus on enhancing runtime analysis, debugging, and profiling, with particular emphasis on GHC improvements. Additionally, the presentation covers the creation of TypeSearch, a language-independent, type-directed API search engine based on the Curry-Howard correspondence, which aids in code synthesis for various typed programming languages.
Learn More ↗