Layered design in functional programming

FromThe Eric Normand Podcast

Start listening View podcast show

Layered design in functional programming

FromThe Eric Normand Podcast

ratings:

Length:

7 minutes

Released:

Oct 4, 2018

Format:

Podcast episode

Description

For audio, video, and text transcripts: https://lispcast.com/layered-design-in-functional-programming/

Released:

Oct 4, 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

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
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
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
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
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
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
The #1 Most Important idea in Computer Science: The idea of the Universal Turing Machine is incredibly important. But does your language support both properties? by The Eric Normand Podcast
13 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
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
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
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
Sources of complexity in software: There are two sources of complexity in software: the complexity inherent in the domain (essential complexity) and the complexity we add as programmers due to the platform or due to bad programming practices (accidental complexity). by The Eric Normand Podcast
14 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 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
What does it mean to compose in functional programming?: We talk a lot about composition, but what does it mean? Each domain (action, calculation, data) has its own way to compose. In this quick episode, I explain each one. by The Eric Normand Podcast
8 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
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
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
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
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
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
Why is Functional Programming more expressive?: I explore the idea that Functional Programming is more expressive than Procedural Programming (and why it is) using a metaphor of a pizza master. by The Eric Normand Podcast
6 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
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
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
Focus on composition first: Where should we start when we are designing out data structures–especially the data that we expect to last a long time. The answer is in the composition operations. by The Eric Normand Podcast
16 min listen
What is callback hell?: JavaScript programmers talk a lot about callback hell. In this episode, we look at the phenomenon from a functional programming perspective. by The Eric Normand Podcast
8 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
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

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
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
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
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
What's the bundle analysis story in Remix?: Dago asked this on 2023-03-15 by The Call Kent Podcast
5 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
The Real E2E RAG Stack // Sam Bean // #217 by MLOps.community
70 min listen
Open Source and Fast Decision Making // Rob Hirschfeld // MLOps Podcast #164 by MLOps.community
60 min listen
Hasty Treat - Desktop Apps + New Tech We Love: In this Hasty Treat, Scott and Wes talk about the hottest new tech they love! Linode - Sponsor Whether you’re working on a personal project or managing enterprise infrastructure, you deserve simple, affordable, and accessible cloud computing... by Syntax - Tasty Web Development Treats
33 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
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
95: Rustler Precompiled with Philip Sampaio: Philip Sampaio explains the Rustler Precompiled project and how its easier to use Rust libraries for NIFs in Elixir. We discuss what it means for internal company projects, libraries and much more! by Thinking Elixir Podcast
39 min listen
Hands-on serving models using KFserving // Theofilos Papapanagiotou // Data Science Architect at Prosus // MLOps Meetup #40 by MLOps.community
58 min listen
#046 On Device Automation with Taha Yusuf (a.k.a. NetAutomator), Part 2: In this episode, we welcome back Taha, a.k.a NetAutomator, to unravel the often-misunderstood concept of onbox programmability and how it can transform your network device into a multi-purpose tool within your data center. If you have Cisco IOS-XE, IOS-XR, or NX-OS devices, chances are you can use it to run Python scripts, bash scripts, and event managers directly on the device. What does it mean for your environment? That is what our conversation is about. Don't miss this fascinating conversation! Connect with Taha on LinkedIn: https://www.linkedin.com/in/taha-yusuf/ Follow Taha on Twitter: https://twitter.com/NetAutomator Containers in Cisco IOS-XE, IOS-XR, and NX-OS: Orchestration and Operation, https://www.ciscopress.com/store/containers-in-cisco-ios-xe-ios-xr-and-nx-os-orchestration-9780135782972. Container Lab: https://containerlab.dev/ --- Stay in Touch with Us — Subscribe on YouTube: https://www.yout by Network Automation Nerds Podcast
40 min listen
Find Out About The Technology Behind The Latest PFAD In Analytical Database Development: Building a database engine requires a substantial amount of engineering effort and time investment. Over the decades of research and development into building these software systems there are a number of common components that are shared across implementations. When Paul Dix decided to re-write the InfluxDB engine he found the Apache Arrow ecosystem ready and waiting with useful building blocks to accelerate the process. In this episode he explains how he used the combination of Apache Arrow, Flight, Datafusion, and Parquet to lay the foundation of the newest version of his time-series database. by Data Engineering Podcast
56 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
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
Compiling and bundling JavaScript with Michele Riva: We talk to Michele Riva, Senior Software Architect for Nearform, about his recent BeJS conference talk, "Compiling and bundling JavaScript," including why it's difficult and how to make it painless. by PodRocket - A web development podcast from LogRocket
29 min listen
#93 - The Technical CTO + Readying for IPO feat. Allan Leinwand // CTO @ Webflow (#93): Leveraging Your Tech Knowledge as CTO: Staying Hands-On and Readying for IPO by alphalist.CTO Podcast - For CTOs and Technical Leaders
53 min listen
How IaC is Changing Cloud Security for the Better - Tony Karam - ESW #297: Infrastructure-as-code (IaC) allows for quick and consistent configuration and deployment of infrastructure components because it’s defined through code. It also enables repeatable deployments across environments. IaC is seeing significant attention... by Security Weekly Podcast Network (Video)
37 min listen
How IaC is Changing Cloud Security for the Better - Tony Karam - ESW #297: Infrastructure-as-code (IaC) allows for quick and consistent configuration and deployment of infrastructure components because it’s defined through code. It also enables repeatable deployments across environments. IaC is seeing significant attention... by Enterprise Security Weekly (Video)
37 min listen
Video for the Web 2020 and Beyond: In this episode of Syntax, Scott and Wes talk about the future of video for the web! Sanity - Sponsor is a real-time headless CMS with a fully customizable Content Studio built in React. Get a Sanity powered site up and running in minutes... by Syntax - Tasty Web Development Treats
53 min listen
Old Patterns powering modern tech leading to same old performance problems with Taras Tsugrii: Have you ever thought about reorganizing data allocation based on production telemetry data? Have you ever thought about shifting compiler budgets to parts of your code that is heavily executed based on profiling information captured from your real... by PurePerformance
59 min listen
2.5 Admins 59: Megaphone in the Middle: Why RISC-V looks promising for the future, how the web switched to HTTPS by default, an interesting DoS method, and how mitigating ssh attacks has changed over the years. Plugs RISC-V: The New Architecture on the Block Support us on patreon News/Di... by 2.5 Admins
30 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
#07 - Tech stack: Rust, TypeScript, Edge Worker, and Cloudflare by TOPP - The Open Podcast Podcast
14 min listen
Hasty Treat - Spicy Takeout - PHP Is Good and We’re Just Re-Creating It: In this Hasty Treat, Scott and Wes talk about how much modern web development has taken from PHP! Freshbooks - Sponsor Get a 30 day free trial of Freshbooks at and put SYNTAX in the “How did you hear about us?” section. LogRocket -... by Syntax - Tasty Web Development Treats
22 min listen
Infrastructure as Code with Rob Hirschfeld: Infrastructure as code is a concept that has delighted software engineers, dev ops, and engineering management across the board. It’s neither fun nor efficient to configure the infrastructure and environments software teams require. by Cloud Engineering Archives - Software Engineering Daily
48 min listen
Treating Prompt Engineering More Like Code // Maxime Beauchemin // MLOps Podcast #167 by MLOps.community
74 min listen
291: Userflow: Bootstrapping a No Code SaaS to 7 Figures with Esben Friis-Jensen: Esben Friis-Jensen is the co-founder of Userflow, a no-code platform for building onboarding guides and product... by The SaaS Podcast - SaaS, Startups, Growth Hacking & Entrepreneurship
50 min listen

Discover this podcast and so much more

Layered design in functional programming

Layered design in functional programming

Description

Titles in the series (100)

More Episodes from The Eric Normand Podcast

Related podcast episodes