Haskell: DevTools and Generic Hoogle

Join us for an exciting evening of Haskell discussions in Tokyo! We're thrilled to welcome Luite Stegeman and Farhad D. Mehta as speakers.

Talks (English):

The Missing Haskell DevTools
Luite Stegeman

Haskell has a reputation for "if it compiles, it runs... but it probably still has a space leak." The tools for investigating the runtime behaviour of Haskell programs have always been spartan compared to what's available in environments like .NET, the JVM, or JavaScript.

In this talk we'll look at how Haskell actually works under the hood, compiled code and bytecode, and how this affects the tooling for debugging and profiling. We'll then see what the GHC developers have been doing recently to close the gap. Finally, we'll look at a new tool that brings several runtime-analysis capabilities together under one roof.

Hoogle for the Hungry Masses!
Farhad D. Mehta

I would like to introduce myself and talk about some of the work that I have been doing with my team and students in the area of bringing the rigour and elegance of functional programming (FP) and its related areas such as logic and type theory nearer to a larger group of people.

Hoogle is a type-based search engine for Haskell APIs. You give it an approximate type signature, and it will give you all library functions that match this type. Developers who get used to it miss something similar when switching to other programming languages. But non-Haskellers deserve good things too! In this talk, I will introduce and demonstrate TypeSearch, a way to perform type-directed API search that can potentially be used for almost any typed programming language. I will also lift the hood to touch on how this problem was solved in an elegant and language-independent way using inspiration from the Curry-Howard correspondence, and how solving this problem in a more general setting also gives us code synthesis for free.

Attribution: Hoogle is the work of Niel Mitchell. TypeSearch is joint work with Marc Etter.

I will end the talk with some other projects that I am currently working on.

Location:
Hosted by Imiron
12Kanda Building (2nd Floor Communal Area), Kanda, Tokyo.
(Please use the outside stairs to access the second floor.)

What to Expect:

• Meeting with fellow Haskell enthusiasts.
• Learn about Haskell's linear types from an expert.
• A welcoming environment for all skill levels.

Join us for an evening of learning, discussion, and community building!
Space is limited, so please RSVP to secure your spot.