u/joehillenin r/haskell • Recommends
Hole-Driven Development in Haskell by Raichoo at EnthusiastiCon
#haskell#typedholes#type-drivendevelopment
1.8K subscribers • 1 video on Hallway
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.What people say. Recommended as an interesting look at Haskell's hole-driven programming and type-directed development.
u/joehillenin r/haskell • Recommends
u/zxyzyxzin r/rust • Recommends
On “How far is Rust lagging Zig regarding const eval?”