On this page
type theory
Explore " type theory" with insightful episodes like "José Valim, Guillaume Duboc, and Giuseppe Castagna on the Future of Types in Elixir", "Mind and the Philosophy of Medicine with David Corfield", "FAR OUT #135 ~ What is Your Restorative Niche?", "Language design with Leo White" and "68: Opaque Result Types" from podcasts like ""Elixir Wizards", "Living Philosophy", "FAR OUT: Adventures in Returning Home", "Signals and Threads" and "Swift Unwrapped"" and more!
Episodes (6)
Mind and the Philosophy of Medicine with David Corfield
Medicine involves more than science and evidence-based experiments. In today’s health climate—where there seems to be a conflict of interest between health care, on the one hand, and pharmaceutical companies and the privatization of medicine, the other hand—it is easy to overlook a more holistic approach that understands how illness is causally linked to both the mind and body. David Corfield (University of Kent, UK) is Associate Professor of Philosophy, with special interests in the philosophies of mathematics, science, logic, medicine, history, and psychoanalysis. He discusses the importance of the role of the mind in medicine, and more generally, how a well-rounded approach to academic research and investigation provides a much more balanced and informed perspective.
Living Philosophy is brought to you by Philosophy2u.com.
Host:
Dr Todd Mei
Sponsors:
Philosophy2u.com
Hillary Hutchinson, Career and Change Coach at Transitioning Your Life
Hermeneutics in Real Life
Geoffrey Moore, author of The Infinite Staircase
Links Related to this Episode:
David Corfield (Wikipedia | University of Kent)
Twitter (@DavidCorfield8)
Why Do People Get Ill? by Corfield and Leader (Amazon)
Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy (Oxford University Press)
Darian Leader (Psychoanalyst)
Thomas Kuhn (SEP)
Imre Lakatos (SEP)
Alasdair MacIntyre (Wikipedia)
Albert Lautman (Wikipedia)
R. G. Collingwood (SEP)
John Ruskin (Wikipedia)
Lacanian Psycholanalysis (Wikipedia)
Vienna Circle (SEP)
Type Theory (SEP)
Idiographic vs. Nomothetic Analysis (Wikipedia)
Music: Earth and the Moon, by Ketsa
Logo Art: Angela Silva, Dattura Studios
Living Philosophy is brought to you by Philosophy2u.com.
FAR OUT #135 ~ What is Your Restorative Niche?
Photo taken by Alasdair in the Caucasus mountains in Georgia (the country).
Listen and explore:
- A brief summary of extraversion and introversion
- You are not an ambivert
- The extravert bias in our Western culture and what this means for introverts
- Hiding in the restroom as an introvert during a business conference
- Self-awareness and approaching situations based on your personality preferences
- What is a restorative niche? Why can we all benefit from them?
- Alasdair's and Julie-Roxane's restorative niches at work and home
- Self-care means being a friend to yourself
- Julie-Roxane flashes Alasdair on the podcast
Mentioned on this episode:
- Quiet: The Power of Introverts in a World That Can't Stop Talking by Susan Cain
- Wild Within book club
- Rebecca Solnit
- Bill Plotkin
Connect with us:
- Website: www.thefarout.life
- Email us at info@thefarout.life
- Alasdair @ www.alasdairplambeck.com
Support this podcast:
- Discount link to purchase organic, raw ceremonial-grade cacao locally sourced in Guatemala (a portion of proceeds support this podcast)
- Become a patron at: https://www.patreon.com/thefaroutcouple
- Make one-time donation with PayPal (our account is aplambeck22@gmail.com)
- Leave a review on iTunes!
- Share this episode with a friend! :D
Credits:
- Intro music: "Complicate ya" by Otis McDonald
- Outro music: "Running with wise fools" written & performed by Krackatoa (www.krackatoa.com)
Language design with Leo White
Equal parts science and art, programming language design is very much an unsolved problem. This week, Ron speaks with Leo White, from Jane Street's Tools & Compilers team, about cutting-edge language features, future work happening on OCaml, and Jane Street's relationship with the broader open-source community. The conversation covers everything from the paradox of language popularity, to advanced type system features like modular implicits and dependent types. Listen in, no programming languages PhD required!
You can find the transcript for this episode along with links to things we discussed on our website.
68: Opaque Result Types
- https://forums.swift.org/t/opaque-result-types/15645
- LazyMapCollection: https://cocoacasts.com/what-is-a-lazymapcollection-in-swift
Get in Touch
If you're enjoying the show and want to say thank you, the best way to do that is by leaving us a review on iTunes! It lets us know what you think of the show and helps us climb the charts so other people can find the show.
We've also got a channel set up on Spectrum.chat! If you want to talk about today's episode, ask us a question or just follow the conversation, jump in anytime at: spectrum.chat/specfm/swift-unwrapped
Thank you to Instabug for sponsoring this episode!
Instabug is the simplest yet most comprehensive bug reporting and In-app feedback SDK. JP uses it at Lyft and it's proven to be a critical tool!
Now, Swift Unwrapped listeners will get a free t-shirt when they sign up at https://instabug.com/swift.
64: Never
Never
&absurd()
: https://twitter.com/pteasima/status/978325590397906944- Point Free Episode #9 Algebraic Data Types: Exponents – https://www.pointfree.co/episodes/ep9-algebraic-data-types-exponents
- https://twitter.com/pointfreeco
- https://github.com/apple/swift-evolution/blob/master/proposals/0215-conform-never-to-hashable-and-equatable.md
Get in Touch
If you're enjoying the show and want to say thank you, the best way to do that is by leaving us a review on iTunes! It lets us know what you think of the show and helps us climb the charts so other people can find the show.
We've also got a channel set up on Spectrum.chat! If you want to talk about today's episode, ask us a question or just follow the conversation, jump in anytime at: spectrum.chat/specfm/swift-unwrapped