Viewing profile — brandonspark

but still along the same lines as "safer". the stresses are different, "safer" has the stress as "SAY-fer" and "secure" has the stress as "sih-KYOOR". the latter sounds more simila…

missed opportunity for "less is secure"

I see. This is indeed the in-depth breakdown I was looking for, thank you.

I was hoping this article would be a little more concrete, but it seems that it largely is talking about the takeaways about functional programming in a philosophical, effort-in vs…

Context: I posted my functional programming lectures to HackerNews some time ago (this thread: https://news.ycombinator.com/item?id=38351195 ) and finally got around to writing a b…

"Opengrep"? But `grep` is already free...

thank you!

There's no reason this couldn't be done. Indeed, in OCaml (which I am more familiar with), you could easily define: ```ocaml type 'a nonempty = Single of 'a | Cons of 'a * 'a nonem…

This one makes sense to me, since lists are way more canonically used than arrays in functional languages. I rarely find myself constructing array literals -- I'm far more likely t…

Haha, maybe. I'm not looking to earn any money from this, though. Time is the bigger constraint in my life at the moment.

If you get to around lecture 9, a classic example I always tell people to start with is a calculator! For instance, here's the SML code for it: ``` datatype exp = Num of int | Plus…

This is Haskell-specific, it sounds like. I agree, the IO monad is really quite inconvenient sometimes. I work in OCaml, which is also a functional language, but prints can be adde…

(but I have thought of developing my own exercises independently to go with the lectures, to post on my website. This is generally a lot of work, though, so this might take some ti…

Unfortunately, it does not. These lectures are "mine", in the sense that I developed all of them myself, but the homeworks and lab exercises are the combined efforts of generations…

There's a few things which go into this (hi, I'm the instructor!). One such reason is historical. Standard ML is a research language, and a significant amount of work on it was don…

I'd love to post the lectures recordings online -- that remains to be seen, though, whether that's something the university might permit. Thank you for the kind words, though.

Book suggestions are always so difficult to recommend. I've been asked this question many times, but honestly, it's hard for me, because I'm really not much of a (text)book learner…

Yes, indeed.

I'll preface that, since I haven't actually taken any of these courses, I lack the full nuance to be able to make as faithful of a judgement as someone who actually attended these …

Yes, unfortunately homework and labs aren't something we can release, due to concerns over academic integrity (I'm the instructor). I wrote the slides with the intention of them wo…