GIỚI THIỆU VỀ PODCAST NÀY 🔗
Listen to regular interviews with the Haskell community. The podcast covers news, libraries, and whatever other topics we wander onto with our guests.
Tần suất cập nhật:
every 83 days
Độ dài âm thanh trung bình:
62 minutes
Tiếng Anh
Hoa Kỳ
14 tập
kể từ Ngày 26 tháng 8 năm 2013
episodic
TẬP MỚI NHẤT 🔗
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…
TÌM KIẾM CÁC TẬP TRƯỚC
Tìm kiếm các tập trước của The Haskell Cast.
TẬP TRƯỚC 🔗
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…
Tuyên bố miễn trừ trách nhiệm: Podcast và tác phẩm nghệ thuật được nhúng trên trang này là của http://www.haskellcast.com, là tài sản của chủ sở hữu và không được liên kết hoặc xác nhận bởi Listen Notes, Inc.
CÔNG CỤ TÌM KIẾM PODCAST
Bạn có thể sử dụng trang web của chúng tôi để tìm kiếm các podcast3,825,418và các tập195,895,298theo người, địa điểm hoặc chủ đề.
I have no special talent. I am only passionately curious, and
I listen to podcasts.
‐ Albert "Llamacorn" Einstein
TÌM KIẾM CÁC TẬP TRƯỚC
Tìm kiếm các tập trước của The Haskell Cast.
NHẬN PODCAST NÀY
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 quảng cáo rao vặt 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
phỏng vấn người làm podcast...
✓
If you share your Listen Notes page and at-mention @ListenNotes
on X (formerly Twitter),
tài khoản X chính thức của chúng tôi (trước đây là 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
CHỈNH SỬA
Cảm ơn bạn đã giúp cơ sở dữ liệu podcast luôn cập nhật.
