ဤအပိုင်းအကြောင်း
In this episode, we focus on a particular part of Haskell: teaching it. To help us, we are joined by Jamie Willis who is a Teaching Fellow at Imperial College London. The episode explores the benefits of live coding, and why Haskell is the best language for teaching programming.
အင်္ဂလိပ်
အမေရိကန်ပြည်ထောင်စု
ကူးယူချက် 🔗
Are you the producer of this podcast?
Add a podcast transcript
Need Audio-to-Text?
Transcribe with Listen411 in Just 60 Seconds
ပြီးခဲ့သည့် အပိုင်းများကို ရှာဖွေပါ
The Haskell Interlude ၏ ယခင်အပိုင်းများကို ရှာဖွေပါ
ဤ PODCAST တွင် အခြားသော အပိုင်းများ
Welcome to the Haskell Interlude. Today, Matti and Mike talk toJeffrey Young. Jeff has had a long history of working with Haskell andon ghc itself. We talk about what makes Haskell so compelling, thegood and bad of highly optimized code and the beauty ofwell-modularized code, how to get into compil…
Franz Thoma is Principal Consultant at TNG Technology Consulting, and an organizer of MuniHac. Franz sees functional programming and Haskell as a tool for thinking about software, even if the project is not written in Haskell. We had a far-reaching conversation about the differences between functio…
We are joined by Kathrin Stark, a professor at Heriot-Watt University in Edinburgh. Kathrin works on program verification with proof assistants, so her focus is not exactly on Haskell, but on topics dear to Haskellers' hearts such as interactive theorem provers, writing correct programs, and t…
Peter is a professor at the University of Freiburg, and he was doing functional programming right when Haskell got started. So naturally we asked him about the early days of Haskell, and how from the start Peter pushed the envelope on what you could do with the type system and specifically with the…
မသက်ဆိုင်ကြောင်းရှင်းလင်းချက်: ဤစာမျက်နှာပေါ်တွင် ထည့်သွင်းထားသော ပေါ့တ်ကာစ်နှင့် အနုပညာလက်ရာများသည် ၎င်း၏ပိုင်ရှင်၏ပိုင်ဆိုင်မှုဖြစ်သည့် Haskell Podcast မှဖြစ်ပြီး Listen Notes, Inc နှင့် ဆက်နွှယ်ခြင်း သို့မဟုတ် ထောက်ခံထားခြင်းမရှိပါ။
ပြင်ဆင်ပါ
ပေါ့ဒ်ကတ်စ် ဒေတာဘေ့စ်ကို နောက်ဆုံးပေါ်အချိန်နှင့်တပြေးညီဖြစ်စေရန် ကူညီပေးသည့်အတွက် ကျေးဇူးတင်ပါသည်။
