ဤပေါ့ဒ်ကတ်စ် အကြောင်း 🔗
Listen to regular interviews with the Haskell community. The podcast covers news, libraries, and whatever other topics we wander onto with our guests.
အကြိမ်ရေကို အပ်ဒိတ်လုပ်ပါ။:
every 83 days
ပျမ်းမျှအသံအရှည်:
62 minutes
အင်္ဂလိပ်
အမေရိကန်ပြည်ထောင်စု
14 ဖြစ်စဉ်များ
Aug. 26, 2013ကတည်းက
episodic
ပြီးခဲ့သည့် အပိုင်း 🔗
00:29 What are dependent type systems?
03:38 applying dependent types to industry
07:30 writing dependently typed programs in Haskell today
09:07 GADTs (Generalized Algebraic Data Types)
11:01 the future of dependent types in GHC
13:40 teaching dependent types
18:03 learning d…
ပြီးခဲ့သည့် အပိုင်းများကို ရှာဖွေပါ
The Haskell Cast ၏ ယခင်အပိုင်းများကို ရှာဖွေပါ
ပြီးခဲ့သည့် အပိုင်းများ 🔗
00:44 using Haskell, Nix, and Emacs for integrated offline development
08:48 building environments for particular dependencies with Nix
09:58 what Emacs and GHC have in common
12:58 developing with typed holes
14:43 compiling to categories
20:35 learning to love mathematics
22…
Neil Mitchell shares with us his enthusiasm for building development tools. We hear the story of how he built Hoogle in order to learn Haskell, why he created the Shake build system and what he hopes to accomplish with it, and how he uses hlint in his own development work. We discuss Haskell IDEs (…
Austin Seipp joins us to discuss Haskell security and infrastructure. We talk about how Haskell security differs from C (and where it doesn’t) and some coming changes to Cabal security. Then we discuss Cryptol: a Haskell-inspired language for implementing cryptographic algorithms in a way that more…
Bryan O’Sullivan shares his experience helping make developers more efficient, both inside of Facebook as Director of Developer Efficiency and with his various Haskell libraries, some of which you probably know and use already: aeson, attoparsec, criterion, statistics, and text (to name a few). We …
Conal Elliott, inventor of Functional Reactive Programming, tells us about the birth of FRP as well as other stories from his 30+ years of functional programming experience. He shares what he considers the fundamentals of FRP (behaviors and events) and how they work in a model with continuous time.…
Ollie Charles, author of 24 Days of Hackage (and a number of Haskell libraries), gives us his perspectives on Haskell libraries and how they relate to Perl’s CPAN. He shares how he began his transition from Perl to Haskell while working for MusicBrainz and how he came to work full-time on Haskell a…
Chris Done, creator of Fay, Try Haskell, and Structured Haskell Mode, chats with us about web development in Haskell. We start with compiling Haskell to JavaScript via Fay, Haste, and ghcjs. We then discuss SQL and the alternatives available. Finally, we speak briefly about shell scripting and Hask…
Gabriel Gonzalez and Michael Snoyman join us to discuss their solutions to the problems with lazy IO. Gabriel’s pipes library focuses on equational reasoning while Michael’s conduit library promises deterministic resource handling. Gabriel and Michael have already debated the merits and disadvantag…
Brent Yorgey explains the motivation and purpose of his Diagrams library and how it relates to other programmatic graphics systems like TikZ. He then shares his motivation for writing the Typeclassopedia and his thoughts on how much category theory Haskell programmers need to know. He also shares s…
မသက်ဆိုင်ကြောင်းရှင်းလင်းချက်: ဤစာမျက်နှာပေါ်တွင် ထည့်သွင်းထားသော ပေါ့တ်ကာစ်နှင့် အနုပညာလက်ရာများသည် ၎င်း၏ပိုင်ရှင်၏ပိုင်ဆိုင်မှုဖြစ်သည့် http://www.haskellcast.com မှဖြစ်ပြီး Listen Notes, Inc နှင့် ဆက်နွှယ်ခြင်း သို့မဟုတ် ထောက်ခံထားခြင်းမရှိပါ။
PODCAST ရှာဖွေရေးအင်ဂျင်
3,825,391ပေါ့တ်ကာစ်များနှင့်195,885,949အပိုင်းများကို လူများ၊ နေရာများ သို့မဟုတ် အကြောင်းအရာများအလိုက် ရှာဖွေရန် ကျွန်ုပ်တို့၏ဝဘ်ဆိုက်ကို အသုံးပြုနိုင်ပါသည်။
If I have seen further than others, it is by listening to podcasts and standing upon the shoulders of
giants.
‐ Isaac "Llamacorn" Newton
ပြီးခဲ့သည့် အပိုင်းများကို ရှာဖွေပါ
The Haskell Cast ၏ ယခင်အပိုင်းများကို ရှာဖွေပါ
ဤပေါ့ဒ်ကတ်စ်ကို တောင်းဆိုပါ
Why to claim podcasts?
If you are a podcaster, the best way to manage your podcasts on Listen Notes is by claiming your Listen Notes
podcast pages.
It is a great, free way to engage the podcast community and increase the visibility of your podcasts.
After claiming your Listen Notes podcast pages, you will be able to:
✓
Manually refresh the RSS feed to sync up
✓
Get a verified badge (
✓
) alongside with your podcast name on Listen Notes
✓
Post အမျိုးအစားခွဲ ကြော်ငြာများ for sponsorship,
guests, co-hosts,
cross-promotion...
✓
Respond to listener comments on Listen Notes
✓
Use speech-to-text techniques to transcribe your show and
edit transcripts
✓
Improve the presence of your podcasts, e.g., self-service
ပေါ့ဒ်ကတ်စ်ဖန်တီးသူ အင်တာဗျူး...
✓
If you share your Listen Notes page and at-mention @ListenNotes
on X (formerly Twitter),
ကျွန်ုပ်တို့၏ တရားဝင် X (ယခင် Twitter) အကောင့် will retweet to promote
your show to our followers.
Coming soon:
◯ Self-service promotion on Listen Notes
◯ Track your podcast stats on Listen
Notes, e.g., listens, page
views...
◯ Manage episodes
ပြင်ဆင်ပါ
ပေါ့ဒ်ကတ်စ် ဒေတာဘေ့စ်ကို နောက်ဆုံးပေါ်အချိန်နှင့်တပြေးညီဖြစ်စေရန် ကူညီပေးသည့်အတွက် ကျေးဇူးတင်ပါသည်။
