เกี่ยวกับตอนนี้
Vlad works at Serokell to develop the Glasgow Haskell Compiler, he is a former member of the Haskell Steering Committee and the current implementer of Dependent Haskell.
In this conversation we talk about the development process of the GHC, he explains with detail how’s the decision process of the community to modify the language through the Haskell Steering Committee. And we get pretty technical discussing the GHC internals, he basically gives us a class of how things looks like and how can a newcomer start hacking the GHC today.
And of course, we go into details of the theory and implementation of Dependent Haskell!
LinksSerokell Serokell on X Vlad on X Dependent Haskell Roadmap
All contributions to the show are greatly appreciated!
- Patreon
- Ko-Fi (one-off)
- BTC : bc1qsqccnk0f02tue6jkch72v0z990r2rwv6mdgu9y5f5jgdu9ux69yq6slfy2
ภาษาอังกฤษ
สหรัฐอเมริกา
สำเนาบทสนทนา 🔗
Are you the producer of this podcast?
Add a podcast transcript
Need Audio-to-Text?
Transcribe with Listen411 in Just 60 Seconds
ตอนอื่นๆ ใน PODCAST นี้
Mike Sperber is the CEO of Active Group, a company designed for Counseling, Development and Training in functional programming. He is a co-organizer of Bob Konf and FunArch, the Co-founder of the leading german blog on functional programming. Member of the Editorial Board of the JFP. Part of the R6…
Lennart Augustsson has spent the last four decades quietly — and sometimes mischievously — shaping the way we think about code.
He co-authored Lazy ML in the early 80s, wrote A Compiler for LML back in 1984, and was behind HBC, the first publicly available Haskell compiler.
If you've used Haskell…
Derek Dreyer is a professor at the Max Planck Institute, in 2024 he was awarded the ACM Fellowship, in 2017 he got the ACM Sigplan Robin Milner Young Researcher Award. And has participated or lead greatly influential work, such as the RustBelt Project and Iris.
In this episode Derek shares his exp…
Francille Zhuang is an undergrad at Purdue University and has been doing research with Benjamin Delaware and Patrick Lafontaine. In this episode we talk about her early research experiences on Property Based Testing, and we go through all the necessary information for applying for graduate school i…
Philip Wadler is a well known, celebrated and recognized researcher in the field especially for his unique ability to explain complex ideas in a simple and elegant way. He got his Bachelor in 1977 at Stanford, his Masters in 1979 and his PhD in 1984 both at CMU. In 2023, he was awarded the distingu…
ข้อสงวนสิทธิ์: พอดแคสต์และอาร์ตเวิร์คที่ฝังอยู่ในหน้านี้มาจาก Pedro Abreu ซึ่งเป็นทรัพย์สินของเจ้าของและไม่มีส่วนเกี่ยวข้องหรือรับรองโดย Listen Notes, Inc.
