"use do notation as little as possible".... I'm not sure I would agree with that. There's no good reason to avoid it, and it almost always makes monadic operations easier to write and reason about
Great video as always! Just a piece of constructive criticism: Use bigger font. It will be much easier to read on smaller screens like those of laptops.
What font are you using Iosevka nerd font (what i'm using) makes the arrows look so ugly so your font would be nicer Also wondering what that color scheme is, and what terminal are you using?
Fira code retina (i think). I set most of this up years ago. I change my dot files at about the same rate apple changes their design language, which isn't that often
I do apologise. I think the font gets bigger as I go along from tutorial 8ish. But it's still a problem. I don't really know how to know if my font is too small! Feel free to advise!
@@jameshobson6965 Oh that’s easy, if the area you’re actually typing in is one sixteenth of your screen, your video is gonna end up being fifteen sixteenths a dark gray background. Essentially, zoom in until what you type tends to run to the edge of the screen, and it will take the whole screen of the video.
I did computer science and philosophy at university. The computer science was mostly theoretical so maths heavy, but not in a maths degree sense. I did mostly logic and philosophy of language in the other part of my degree which was also quite mathsy. So more than most but less than a maths major?
@@jameshobson6965 I am pure math Msc, doing FP for a living now. Could you recommend something? I was reading some of "Functional pearls" recently but I am not fluent in FP from the "ArXiv" perspective ;)
Hmmm. I would recommend looking into recursion patterns. The motivating paper is 'Functional Programming with Bananas Lenses Envelopes and Barbed Wire' and then try to get your head around the haskell library (it's beautifully mad). Its a really good leg up into FP papers
It is a good tutorial, but there is too much time spent on "ummmm... so... for example.... ummmm", You could easily cut 30%-50% of the time with some editing.
13:56
"It's called pointless programming". Nearly fell off my chair there, close enough I guess :D
😂 its technically called "point free programming" but no one calls it that because the alternative is so much better
Pretty good. I liked it very much. Thanks
Glad you liked it!
"use do notation as little as possible".... I'm not sure I would agree with that. There's no good reason to avoid it, and it almost always makes monadic operations easier to write and reason about
Great video as always! Just a piece of constructive criticism: Use bigger font. It will be much easier to read on smaller screens like those of laptops.
What font are you using Iosevka nerd font (what i'm using) makes the arrows look so ugly so your font would be nicer
Also wondering what that color scheme is, and what terminal are you using?
Fira code retina (i think). I set most of this up years ago. I change my dot files at about the same rate apple changes their design language, which isn't that often
it's very difficult to see.
I do apologise. I think the font gets bigger as I go along from tutorial 8ish. But it's still a problem. I don't really know how to know if my font is too small! Feel free to advise!
@@jameshobson6965 Oh that’s easy, if the area you’re actually typing in is one sixteenth of your screen, your video is gonna end up being fifteen sixteenths a dark gray background. Essentially, zoom in until what you type tends to run to the edge of the screen, and it will take the whole screen of the video.
Out of curiosity, how much of a math(s) background do you have?
I did computer science and philosophy at university. The computer science was mostly theoretical so maths heavy, but not in a maths degree sense. I did mostly logic and philosophy of language in the other part of my degree which was also quite mathsy. So more than most but less than a maths major?
@@jameshobson6965, oh, cool! I'm studying math now, and Haskell is super interesting from that perspective. Thanks for the videos!
No problem. If you want to read up on bigger links between functional programming and maths, I can recommend a few things?
@@jameshobson6965 I am pure math Msc, doing FP for a living now. Could you recommend something? I was reading some of "Functional pearls" recently but I am not fluent in FP from the "ArXiv" perspective ;)
Hmmm. I would recommend looking into recursion patterns. The motivating paper is 'Functional Programming with Bananas Lenses Envelopes and Barbed Wire' and then try to get your head around the haskell library (it's beautifully mad). Its a really good leg up into FP papers
It is a good tutorial, but there is too much time spent on "ummmm... so... for example.... ummmm", You could easily cut 30%-50% of the time with some editing.
When YT starts paying me, I’ll start editing videos…
Can you redo these videos with a bigger font?