Skip to content
0:00 / 0:00

#haskell#typedholes#type-drivendevelopment

Hole-Driven Development in Haskell by Raichoo at EnthusiastiCon

Wikimedia Deutschland

1.8K subscribers • 1 video on Hallway

YouTube
  • Recommended by 2 people: 2 in engineering communities.
  • A classic. People kept recommending it from 2015 to 2025.
  • Presented by Raichoo

Intermediate. Assumes working knowledge.

1.8K views11 years ago2 recommendations

Programming languagesHaskellLanguage design and type systemsFunctional programming

Raichoo explains how to use typed holes in Haskell to let the compiler guide the development of programs.

Original talk title: “There is a hole in the program, dear Liza, dear Liza - “Hole-Driven Development in Haskell” Working with Haskell is more like playing Lego said Raichoo and tries to narrow down a complicated topic passionately in this talk. About Source Code Berlin: Berlin has become a magnet for new ideas. Source Code Berlin looks into creativity and innovation in fields related to open source technology. It also looks at places within Berlin, how hubs for such projects evolved into such success stories. sourcecode.berlin/ About EnthusiastiCon EnthusiastiCon 2015 was a conference for the programming community. Over two days of short presentations, participants talked about what excites them about programming – the strange, the wonderful, and the clever solutions to unusual problems. Wonderful people joined Wikimedia Deutschland to share their enthusiasm with or listened to what makes fellow programmers beam with joy about the programming craft. EnthusiastiCon 2015 took place from June 19th-21st 2015 at Wikimedia Deutschland, Tempelhofer Ufer 23-24, 10963 Berlin.

Why it's here

2 people recommend this

What people say. Recommended as an interesting look at Haskell's hole-driven programming and type-directed development.

u/joehillenin r/haskell • Recommends

Hole-Driven Development in Haskell by Raichoo at EnthusiastiCon

u/zxyzyxzin r/rust • Recommends

On “How far is Rust lagging Zig regarding const eval?”

Now wait until you learn about Haskell's hole driven programming. Or dependent types.