[2024-11-20 08:05:34 UTC] New release [ci skip]

Author: github-actions

podcast/57/index.html

@@ -332,7 +332,7 @@ <h2 class="text-2xl font-normal">Transcript</h2>
 <p><em>AL (0:03:19)</em>: Oh, okay. Yeah. That was my first declarative language as well.</p>
 <p><em>GK (0:03:23)</em>: I really remember like the first exercise was that we had to define a tree data structure. And by then, I knew Modula-2, I knew a little of assembly, and I had no idea how to do that in Pascal. And then I was really frustrated. I asked a friend, and he showed me basically this one line, and I thought, yeah, well, that’s basically what I need to do, but that’s not an implementation because I was thinking about what you had to do, what has to happen in memory to define a tree. And I think that was a really wake up, that it’s possible to program without describing in detail what has to happen at the machine level. I mean, that was really well before Haskell yet. </p>
 <p>Then we moved to Berlin. So, I also started basically studying, continued my studies in Berlin. And I worked as a basically teaching assistant there for first-year course, and that was in functional programming, but that was in Miranda, at least the first few years. And then when Gofer basically became a thing, we switched to Haskell. So, I mainly did some programming with programming assignments there, but I didn’t do a lot of programming, Haskell programming for applications for myself.</p>
-<p><em>AL (0:04:55)</em>: Yeah, perhaps we should remind our audience with slightly less experience a little bit about what Miranda and Gaffer actually are, because I could imagine that many Haskellers these days don’t actually know. So, I mean, I guess, do you want to say yourself or –</p>
+<p><em>AL (0:04:55)</em>: Yeah, perhaps we should remind our audience with slightly less experience a little bit about what Miranda and Gofer actually are, because I could imagine that many Haskellers these days don’t actually know. So, I mean, I guess, do you want to say yourself or –</p>
 <p><em>GK (0:05:14)</em>: Yeah. So, I’m not completely familiar with the history of Miranda, but it was basically, I think, a predecessor of Haskell and had already a lot of Haskell features. Like not all the type system features, of course, that Haskell is now, but the core Haskell.</p>
 <p><em>AL (0:05:33)</em>: Yeah, it looks quite like Haskell, right? Even like syntactically already. And it’s a lazy, strongly typed functional language.</p>
 <p><em>JB (0:05:43)</em>: How did it do IO? Did it already have the IO monad, or is it something that –</p>