Haskell

3 readers

1 users here now

**The Haskell programming language community.** Daily news and info about all things Haskell related: practical stuff, theory, types, libraries, jobs, patches, releases, events and conferences and more... ### Links - Get Started with Haskell

founded 1 year ago

Type Theory Forall Podcast: David Christiansen (www.typetheoryforall.com)

submitted 5 months ago by jaror@kbin.social to c/haskell@kbin.social

0 comments fedilink hide all child comments

In this episode we talk with David Christiansen, he wrote the books Functional Programming in Lean and the Little Typer.

He has also worked as the Executive Director of the Haskell Foundation, at Galois and did his PhD developing a bunch of cool stuff for Idris.

David is a super upbeat person and I feel that we could spend hundreds of hours talking about Functional Programming Writing and Dependent Types, and we still wouldn’t run out of topics!

no comments (yet)

sorted by: hot top controversial new old

there doesn't seem to be anything here