Is functional programming declarative?

FromThe Eric Normand Podcast

Start listening View podcast show

Is functional programming declarative?

FromThe Eric Normand Podcast

ratings:

Length:

16 minutes

Released:

Sep 6, 2018

Format:

Podcast episode

Description

For audio, video, and text transcripts: https://lispcast.com/is-functional-programming-declarative/

Released:

Sep 6, 2018

Format:

Podcast episode

Titles in the series (100)

An off-the-cuff stream of Functional Programming ideas, skills, patterns, and news from Functional Programming expert Eric Normand of LispCast. Formerly known as Thoughts on Functional Programming.

Skip carousel

What is the business value of Clojure?: Is there some reason a business would choose Clojure over other languages? Let’s find out! by The Eric Normand Podcast
14 min listen
Divide and conquer algorithms: The divide and conquer pattern is a widely used functional programming pattern. It lets you turn potentially hard problems into trivial problems and then recombine the answers. by The Eric Normand Podcast
12 min listen
A Theory of Functional Programming 0001: OK. I’m trying this out. I’m writing a book. I’m going to move. I’m writing a book. I think I’m going to call it, A Theory of Functional Programming.” Let me explain. Here is the reasoning. That’s bad lighting hold on. I’ll explain what I’m doing and I’ll by The Eric Normand Podcast
36 min listen
A Theory of Functional Programming 0002: All right. I am talking about, “A Theory of Functional Programming,” which is a book that I’m working on, and this is actually me working on it right now. I am going to talk about the topic, and hopefully, the transcript will turn into my book. I talked a by The Eric Normand Podcast
37 min listen
A Theory of Functional Programming 0003: All right, this is my attempt at writing a book. If you haven’t joined me before, my name is Eric Normand. I’m writing a book called “A Theory of Functional Programming.” The industry needs a good definition of functional programming. No one has provided by The Eric Normand Podcast
30 min listen
A Theory of Functional Programming 0004: Today, we’re going to be talking actions. Now, as counter-intuitive as it may be, functional programming has more to say about actions than it does about data and calculations. At least, more interesting stuff to say. by The Eric Normand Podcast
37 min listen
A Theory of Functional Programming 0006: What I want to talk about is this issue of what is an action and what is a calculation in terms of timeliness, because we know that deep down in the computer, everything is an action. Every operation depends on what is that particular locations in memory by The Eric Normand Podcast
20 min listen
What Clojure needs to grow — a boring web framework and boring data science: I think a lot about what Clojure needs. Is there something that is sort of the bottleneck for growth? People talk about different things as their hypotheses for what would make it grow. I think that what Clojure needs — I’ll talk about my hypotheses — I t by The Eric Normand Podcast
20 min listen
Build an interface around data: Clojure programmers often complain about data structures getting unwieldy and hard to understand. How can we prevent this? by The Eric Normand Podcast
15 min listen
A cool Functional Programming pattern. Do you know what to call it?: I use this pattern all the time when I’m programming, and I don’t know if it has a name. It involves lifting a value into a new space, solving a problem with it, then lowering it back down. by The Eric Normand Podcast
19 min listen
Bottom up vs Top Down Programming: I think the real trick to all of that is always think about the data as being forever. One thing that we often do when we’re programming is we want things to be a little bit more concrete. by The Eric Normand Podcast
12 min listen
Why do we need a Theory of Functional Programming?: Though I have gotten good reception for the theory in general, a few people have asked me why we need a theory. More people have told me I’m complicating Functional Programming, which should be a simple idea. by The Eric Normand Podcast
11 min listen
What does it mean for Actions to be first-class?: In Functional Programming, everything needs to be first class? But what does that mean? And why is it important? I discuss the idea of composing Actions and Calculations dynamically. by The Eric Normand Podcast
20 min listen
The magical leverage of languages: If I write a straightforward solution to a problem in Clojure, it might take me a thousand lines of code to solve it. To handle all the corner cases and everything, I got a thousand lines of code. However, if I take this other approach where it’s much mor by The Eric Normand Podcast
13 min listen
What is Immutability?: Functional Programmers will talk about immutable values. What do they mean? How can you write software where none of the values change? by The Eric Normand Podcast
12 min listen
Can you do Functional Programming in any language?: Can you do functional programming in any language? Is it possible to do functional programming in C, in Java, in assembly, in Ruby, or do you need a functional language? What is a functional language anyway? by The Eric Normand Podcast
19 min listen
Algebraic Properties and Composition: In school, we learn about a few algebraic properties. These apply very well in functional programming because their expression is so simple, their definitions are so simple and they really focus on how things compose. by The Eric Normand Podcast
10 min listen
A Theory of Functional Programming 0005: There are different patterns that we use as functional programmers to reduce the possible states so that it becomes easier to reason about. I think that this is something that we should talk about a little bit more, because it’s actually something that is by The Eric Normand Podcast
19 min listen
What does it mean for programs to be built using “whole values”?: John Hughes, FP researcher extraordinaire, says Whole Values is one of the principles of Functional Programming. But what does he mean? We explore this important concept. by The Eric Normand Podcast
23 min listen
What a Clojure Web Framework might look like: One of the questions that came up a couple times was what is a Web framework? What does that even mean? I don’t want to get into philosophical discussion about what a framework is. Is it a library or framework or any of those kinds of questions. I’ll tell by The Eric Normand Podcast
22 min listen
Why are actions hard to test by definition?: Functional programming divides the world into actions, calculations, and data. Actions are hard to test by definition, and we explore why. by The Eric Normand Podcast
11 min listen
Programming is a pop culture and what we should do about it: I want to talk about how programming is a pop culture. It’s true, programming is a pop culture. There are big trends, fads, new frameworks coming out all the time. It’s all about attention and getting mind share and people watching your media about what f by The Eric Normand Podcast
14 min listen
Why are corner cases the devil? ?: Corner cases make for complex code. They multiply with each other. And as they multiply, they reduce the effectiveness of each new line of code. by The Eric Normand Podcast
9 min listen
What will increase your programming productivity the most?: Lisps have traditionally been highly interactive. This allowed AI researchers and language developers to iterate quickly and learn about what works and what doesn’t. How can you tap into this in your workflow? by The Eric Normand Podcast
11 min listen
Focus on the data first: What should we design first to make sure our software will last without having to constantly rework our code? We should focus on the data first because it is the most timeless. by The Eric Normand Podcast
13 min listen
Is FP just programming with pure functions?: As I develop and expound this theory, it may seem to be too complicated. Isn’t functional programming just programming with pure functions? Why make this more complicated than that? We talk about my reasons and my goals for the theory. by The Eric Normand Podcast
11 min listen
How variants can reduce complexity: If we don’t limit it, complexity will get out of hand. One way to limit complexity is by collapsing the number of possible states down to a few known states that we know how to handle. by The Eric Normand Podcast
16 min listen
The #2 most important idea in Computer Science: In my opinion, the #2 most important idea is something that came directly out of computing. But I’m not so sure. Do you know? Let me know, too! by The Eric Normand Podcast
7 min listen
Should we waste memory?: We have so much memory now, compared to the 1970s, that it often seems like we have memory to burn. I misspoke in a previous episode where I made it seem like I’m in favor of wasting memory. But what did I mean instead? by The Eric Normand Podcast
15 min listen
Build your Core Abstraction: With limited development time, where should you focus your efforts? You should build something timeless at the center of you application to create a strong foundation to build on top of. I call that you Core Abstraction. by The Eric Normand Podcast
13 min listen

More Episodes from The Eric Normand Podcast

Skip carousel

All about the stratified design lens by The Eric Normand Podcast
12 min listen
All about the time lens by The Eric Normand Podcast
11 min listen
All about the volatility lens by The Eric Normand Podcast
18 min listen
All about the architecture lens by The Eric Normand Podcast
24 min listen
All about the executable specification lens by The Eric Normand Podcast
15 min listen
All about the composition lens by The Eric Normand Podcast
14 min listen
All about the operation lens by The Eric Normand Podcast
20 min listen
Data lens by The Eric Normand Podcast
23 min listen
All about the domain lens by The Eric Normand Podcast
20 min listen
How does executable specifications compare with other modeling paradigms? by The Eric Normand Podcast
23 min listen
What is the title of my new book? by The Eric Normand Podcast
7 min listen
What are the domain modeling lenses? by The Eric Normand Podcast
21 min listen
How is domain modeling evolving these days? by The Eric Normand Podcast
20 min listen
Why don't I encounter more type errors when programming in Clojure? by The Eric Normand Podcast
7 min listen
What is the "reify to an interpreter" refactoring? by The Eric Normand Podcast
7 min listen
How to teach an essential skill in domain modeling? by The Eric Normand Podcast
12 min listen
What is an isomorphism? by The Eric Normand Podcast
5 min listen
Applying domain modeling to an existing data structure by The Eric Normand Podcast
10 min listen
What is the commutative property? by The Eric Normand Podcast
6 min listen
Why is the associative property important? by The Eric Normand Podcast
13 min listen
What is the process for coming up with a good conceptual model? by The Eric Normand Podcast
15 min listen
What is the closure property?: I discuss the closure property, which creates operations that can be nested. It's one thing that makes an API feel like a DSL. by The Eric Normand Podcast
8 min listen
All about level three, algebraic modeling: What do I mean by algebra? And how do we get from level 0 to level 3? by The Eric Normand Podcast
13 min listen
Why do we need to model time?: All sophisticated models need to include time. We discuss two main ways to do that. by The Eric Normand Podcast
11 min listen
How do you make a function total?: It is easier to reason about total functions. And you can make any pure function total using three techniques! by The Eric Normand Podcast
12 min listen
What is a mutation function?: Mutation functions let you represent changing state over time. They are easily reified, used as reducing functions, and can operate on nested data. by The Eric Normand Podcast
6 min listen
What is Signature-Driven Development?: Signature-Driven Development means starting with function signatures before you implement them. I also discuss why we implement the hardest function first. by The Eric Normand Podcast
11 min listen
What's the problem with using arrays for pizza toppings? by The Eric Normand Podcast
7 min listen
Is deferring decisions about our domain a good idea?: I wonder when to deal with business rules. Do they belong in the domain layer? by The Eric Normand Podcast
6 min listen
Can domain modeling be taught?: I answer a listener's questions about whether domain modeling is a skill that can be taught. by The Eric Normand Podcast
9 min listen

Related podcast episodes

Skip carousel

SAP Devtoberfest A Beginner's Guide to the ABAP RESTful Application Programming Model: We are super excited to announce that Devtoberfest returns this year running from October 1st - 31st 2022. It's a celebration for SAP developers and an excellent way to get ready for SAP TechEd. by SAP Developers
52 min listen
SAP Devtoberfest Developer Extensibility and Business Events with RAP on SAP S/4HANA Cloud: We are super excited to announce that Devtoberfest returns this year running from October 1st - 31st 2022. It's a celebration for SAP developers and an excellent way to get ready for SAP TechEd. by SAP Developers
63 min listen
ISC StormCast for Monday, September 19th 2016: Cisco IKEv1 Advisory; 64Bit Conversion Woes; Intercepting OS X Passwords; by SANS Internet Stormcenter Daily Cyber Security Podcast (Stormcast)
7 min listen
Episode 449 - Java Jakarta EE Applications: Reza Rahman, a Principal Program Manager for Java on Azure talks to us about the work his team has done to enable customers using legacy Java frameworks to easily migrate to Azure in a variety of ways. Media file: https://azpodcast.blob.core.windows.net/episodes/Episode449.mp3 YouTube: https://youtu.be/OqjDtcT6c9E Resources: https://speakerdeck.com/reza_rahman/why-jakarta-ee-developers-are-first-class-citizens-on-azure https://learn.microsoft.com/en-us/azure/developer/java/ee/ https://aka.ms/migration-survey   Other updates: Public preview: Call automation capabilities for Azure Communication Services | Azure updates | Microsoft Azure   Improve speech-to-text accuracy with Azure Custom Speech https://azure.microsoft.com/en-us/blog/improve-speechtotext-accuracy-with-azure-custom-speech/   Microsoft and Isovalent partner to bring next generation eBPF dataplane for cloud-native applications in Azure https://azure.microso by The Azure Podcast
20 min listen
Open Source and Fast Decision Making // Rob Hirschfeld // MLOps Podcast #164 by MLOps.community
60 min listen
VoiceCraft: Zero-Shot Speech Editing and Text-to-Speech in the Wild: We introduce VoiceCraft, a token infilling neural codec language model, that achieves state-of-the-art performance on both speech editing and zero-shot text-to-speech (TTS) on audiobooks, internet videos, and podcasts. VoiceCraft employs a Transforme... by Papers Read on AI
39 min listen
170: Thinking Elixir News: ElixirConf 2023 keynote videos released, BEAM web security guide, a new Bun integration library for Phoenix, a LangChain library for Elixir projects, general OpenSource community happenings, and more! by Thinking Elixir Podcast
20 min listen
Save 50+ Hours a Week in Podcast Production with Descript: In this episode, I’m teaching you how to use Descript, my favourite features (like text-based editing, AI show note generator, and creating podcast social media quotes and clips). we'll explore the power and efficiency of Descript, a game-changing... by As It Relates to Podcasting
8 min listen
Airplane.dev with Ravi Parikh: Ravi Parikh, Co-Founder of Airplane and Heap, joins us to talk about Airplane.dev -- a developer platform for quickly building internal tools and automating internal workflows and processes. If you're an engineer and you find yourself constantly running the same SQL query over and over again, or the same script or on-call runbook, Airplane wants to make it really easy to take that one off script or SQL query or whatever eng only operation that you're bottlenecked on and turn that into a robust reusable internal app that anybody in your company can use. by PodRocket - A web development podcast from LogRocket
30 min listen
56: Fly-ing Elixir Close to Users with Kurt Mackey: We talk with Kurt Mackey, founder at Fly.io, about what makes the Fly platform unique and why hosting Elixir applications there makes a lot of sense. They started out looking to make a better CDN for developers and this pushed them to try deploying Ful... by Thinking Elixir Podcast
60 min listen
The Real E2E RAG Stack // Sam Bean // #217 by MLOps.community
70 min listen
How to Be a Network Engineer in a Programmable Age with DevNet's Hank Preston: In this episode of the Cisco Learning Network Pod… by The Cisco Learning Network
17 min listen
111: Deploying a PR for Review: Deploying a PR to a temporary server sounds like a great way to iterate faster! Jason Axelson shares how he did that on Render.com. We cover benefits to the team, workflow, testing, doing it on Fly.io and more! by Thinking Elixir Podcast
41 min listen
How Hera is an Enabler of MLOps Integrations // Flaviu Vadan // Coffee Sessions #115 by MLOps.community
42 min listen
Treating Prompt Engineering More Like Code // Maxime Beauchemin // MLOps Podcast #167 by MLOps.community
74 min listen
DOP 8: How To Escape The Continuous Delivery Rat Race: #8: You understand the impact that feature flags have on continuous delivery. However, have you thought about how refactoring should also be a part of your day to day life? Refactoring by Martin Fowler DevOps Paradox by Viktor Farcic: The DevOps 2.6... by DevOps Paradox
29 min listen
Evan Bacon - Expo by devtools.fm: Developer Tools, Open Source, Software Development
79 min listen
José Valim - Elixir, Erlang, Phoenix, Livebook by devtools.fm: Developer Tools, Open Source, Software Development
78 min listen
756 Is PYTHON The FUTURE Of Programming? (With Rafeh Qazi From Clever Programmer) - Simple Programmer Podcast by Simple Programmer Podcast
54 min listen
#80 - Sarah Polan // Field CTO @ Hashicorp: Platform Engineering 101: Why you need it and how to do it by alphalist.CTO Podcast - For CTOs and Technical Leaders
44 min listen
Starting an OWASP Project (That's Not a List!) - Grant Ongers - ASW #272: We can't talk about OWASP without talking about lists, but we go beyond the lists to talk about a product security framework. Grant shares his insights on what makes lists work (and not work). More importantly, he shares the work he's doing to... by Application Security Weekly (Video)
38 min listen
Starting an OWASP Project (That's Not a List!) - Grant Ongers - ASW #272: We can't talk about OWASP without talking about lists, but we go beyond the lists to talk about a product security framework. Grant shares his insights on what makes lists work (and not work). More importantly, he shares the work he's doing to... by Security Weekly Podcast Network (Video)
38 min listen
061 Serverless Performance, Monitoring and Best Practices from Fender: Serverless comes with its own set of best practices, quirks and benefits when it comes to monitoring and performance engineering. In this episode we have Michael Garski, Director of Platform Engineering at Fender Musical Instruments (... by PurePerformance
55 min listen
Building a Scanner and a Community with Zed Attack Proxy - Simon Bennetts - ASW #254: Zed Attack Proxy is an essential tool for web app pentesting. The project just recently moved from OWASP to the Secure Software Project. Hear about the challenges of running an OSS security project, why Simon got involved in the first place, and why... by Security Weekly Podcast Network (Audio)
73 min listen
89: Reducing the Friction in Your Flow: We talk about the business value and personal happiness received when reducing the friction in our applications. It starts with the application design and LiveView plays a big role! by Thinking Elixir Podcast
49 min listen
SAP Devtoberfest Dealing with Legacy Code and Transactional Consistency in RAP: We are super excited to announce that Devtoberfest returns this year running from October 1st - 31st 2022. It's a celebration for SAP developers and an excellent way to get ready for SAP TechEd. by SAP Developers
63 min listen
? pSEC Dept. PSA - Dr. Rickelodeon Velveetus ? by PodCube™
9 min listen
S01 EP116 How to enable onboard graphics on a gaming PC for multiple monitor support: Today I will teach gaming PC users how to enable the onboard graphics so their additional PC HDMI and VGA ports will work to support multiple monitors. --- Send in a voice message: https://anchor.fm/tpoe/message Support this podcast:... by The World Of Games with YoCarWrecked
7 min listen
Memory Safety, Re-Writing Software, and OSS Supply Chains - Omkhar Arasaratnam - PSW #820: Omkhar Arasaratnam is the General Manager of the Open Source Software Foundation (OpenSSF) and appears on the show to discuss memory safety, why re-writing software isn't always the best option, open-source software supply chains, and more! Segment... by Security Weekly Podcast Network (Video)
52 min listen
Broadening What We Call AppSec - Christien Rioux - ASW #179: There's an understandable focus on "shift left" in modern DevOps and appsec discussions. So what does it take to broaden what we call appsec into something effective for modern apps, whether they're on the web, mobile, or cloud? We'll talk about... by Security Weekly Podcast Network (Video)
37 min listen

Discover this podcast and so much more

Is functional programming declarative?

Is functional programming declarative?

Description

Titles in the series (100)

More Episodes from The Eric Normand Podcast

Related podcast episodes