Why don't I encounter more type errors when programming in Clojure?

FromThe Eric Normand Podcast

Start listening View podcast show

Why don't I encounter more type errors when programming in Clojure?

FromThe Eric Normand Podcast

ratings:

Length:

7 minutes

Released:

May 15, 2023

Format:

Podcast episode

Description

I give another reason why I don't encounter so many type errors in Clojure.

Released:

May 15, 2023

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 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
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 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
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
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
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
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
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
My big beef with refactoring: I love refactoring. It’s therapeutic. It helps productivity. But refactoring is not enough to write good software. We can’t just write it so it works then clean it up. In this episode, I explain why. by The Eric Normand Podcast
20 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
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
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
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
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
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
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
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
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
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
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
The #3 most important idea in Computer Science by The Eric Normand Podcast
6 min listen
Is Smalltalk a Functional language? Is Lisp Object-Oriented?: Alan Kay says there are only 2 Object Oriented languages that he knows of: Smalltalk and Lisp. The deeper I go into the history of Smalltalk, the more functional Smalltalk looks. by The Eric Normand Podcast
6 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
Does functional programming have an answer for everything?: Some might say that functional programming has the answers to solve the problems of concurrent, parallel, and distributed systems. But is that true? We explore what FP has to offer. by The Eric Normand Podcast
4 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 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
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
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 #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
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

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
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
Why domain modeling?: We explore why focusing on the domain model can improve your software quality. by The Eric Normand Podcast
6 min listen

Discover this podcast and so much more

Why don't I encounter more type errors when programming in Clojure?

Why don't I encounter more type errors when programming in Clojure?

Description

Titles in the series (100)

More Episodes from The Eric Normand Podcast