Tech Talk: God's Programming Language - Philip Wadler on Haskell

CoRecursive: Coding Stories

Player FM - Internet Radio Done Right

79 subscribers

اضافه شده در five سال پیش

محتوای ارائه شده توسط Adam Gordon Bell - Software Developer. تمام محتوای پادکست شامل قسمت‌ها، گرافیک‌ها و توضیحات پادکست مستقیماً توسط Adam Gordon Bell - Software Developer یا شریک پلتفرم پادکست آن‌ها آپلود و ارائه می‌شوند. اگر فکر می‌کنید شخصی بدون اجازه شما از اثر دارای حق نسخه‌برداری شما استفاده می‌کند، می‌توانید روندی که در اینجا شرح داده شده است را دنبال کنید.https://fa.player.fm/legal

Accidental CEO Podcast

1
72: If You Want to Grow—Stop Fixing the Wrong Problem 16:32

25 روز پیش16:32

پخش در آینده

لیست ها

پسندیدن

دوست داشته شد

16:32

You’re busy—but are you actually growing? In this episode, Nata Salvatori exposes a trap that’s costing service providers time, money, and sanity: chasing busywork that feels productive but doesn’t move the needle. She walks through a clear, five-step growth path—from clarifying your offer, validating through real sales, delivering sustainably, building repeatable systems, to scaling confidently. You’ll learn: How to spot and ditch “fake work” Why clarity beats complexity every time How to use real feedback to validate your offers Delivery tips that prevent burnout System creation that enables scaling How to honor your current phase of growth 📌 Ready to stop spinning your wheels and make real moves? Map your phase, pick your next action, and don’t be afraid to ask for help: 👉 accidentalceo.co/coaching Support the show…

۷ سال پیش 1:00:53

MP3•خانه قسمت

Tech Talks are in-depth technical discussions.

Today I talk to Professor Philip Wadler, a very accomplished programming language researcher. Phil walks us through a principle that has guided his career. That principle is that typed lambda calculus is not invented but a discovery of a deep truth. It is something connected to the mathematical underpinning of the universe itself.

It follows from this that functional programming languages are therefore more correct or more deeply justified and fundamental than other languages. I am probably stating things in a stronger fashion than Phil is comfortable with, but I like fp, so I can be a little hyperbolic.

While explaining this principle, that has guided his career, Phil takes us through the history of computer science. We start with Turing and Alonzo Church. Eventually we get to what the movie Independence Day got wrong and what language a theoretical creator deity would program in.

Show notes:

talk
paper

Web page for this episode

CoRecursive On Twitter

CoRecursive On Itunes

105 قسمت

#News #Tech News #Functionalprogramming #Haskell #Scala #Adam Gordon Bell - Software Developer #Podcasting Education #Code #TypeScript