درباره این اپیزود
I sit down with Don Syme, the creator of F#! We chat about language design, the "sweet spot" of type system expressivity, and how A.I. will affect the future of software development.
Topics covered:
- The origin story of F#
- Why types, data modeling, and functions beats type-level wizardry
- The Object-Oriented tidal wave of the 90s
- Designing programming languages for the real world
- The case against type classes, and why simpler systems often win in real engineering.
- How task-oriented AI workflows are reshaping developer productivity.
- Why writing good constraints and guardrails may become as important as writing good code.
- Will programming languages still matter?
- Continuous AI for teams
- Natural language as a programming model
انگلیسی
ایالات متحده آمریکا
رونوشت 🔗
Are you the producer of this podcast?
Add a podcast transcript
Need Audio-to-Text?
Transcribe with Listen411 in Just 60 Seconds
جستجوی اپیزودهای گذشته
اپیزودهای قبلی Func Prog Podcast را جستجو کن.
قسمت های دیگر در این پادکست
In this mind-bending episode I do a deep dive into the world of programming language design and type systems with Aram Hăvărneanu.
We cover a lot of things, including:
The difference between Curry- and Church-style type systems
How types can be used to represent meaning
Set-theoretic types
The lim…
In this episode I chat with Eric Torreborre about all things Unison! Topics covered include:
What makes Unison different from other programming languages
Why putting your source code in a database instead of files might be a good idea
How Unison lets you avoid serialization boilerplate
Why Unison d…
In this episode I chat with Fernando Borretti, creator of the Austral programming language. We cover a bunch of different topics, such as:
What makes Austral different from other systems programming languages
Linear types and how they can be used for efficient resource management
How to create your…
Sashan Govender is a senior developer with more than 20 years in the industry; in this episode we talk about F#, a language that combines functional programming with productivity, power and pragmatism.
Topics covered:
What really matters when it comes to delivering software
The advantages of typed…
Hécate is a Haskell engineer and prolific contributor to the Haskell ecosystem—in this episode we talk about using Haskell in production, effect systems and how empathy can help you build better software.
Topics covered:
Effect systems
Effectful
Input validation using validation-selective
Archery
H…
سلب مسئولیت: پادکست و آثار هنری تعبیه شده در این صفحه متعلق به Christoffer Ekeroth است که متعلق به صاحب آن است و به Listen Notes، Inc وابسته یا تایید نشده است.
ویرایش
از کمک شما برای بروز نگهداشتن پایگاهدادههای پادکست سپاسگزاریم
