brandonspark

7 ms·

1.
by brandonspark 1y ago
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 similar (and rhy
2.
by brandonspark 1y ago
missed opportunity for "less is secure"
3.
Reviewer First Pull Requests(5xx.engineer)
2 points by brandonspark 1y ago|0 comments
4.
by brandonspark 1y ago
I see. This is indeed the in-depth breakdown I was looking for, thank you.
5.
by brandonspark 1y ago
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 value-out kind of way. This is valuable, but for people unf
6.
My journey to teaching computer science, functionally(brandonspark.github.io)
8 points by brandonspark 2y ago|1 comments
7.
by brandonspark 2y ago
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 blog post about my experience teaching functi
8.
by brandonspark 2y ago
"Opengrep"? But `grep` is already free...
9.
by brandonspark 2y ago
thank you!
10.
by brandonspark 2y ago
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 nonempty ``` This would be the type
11.
by brandonspark 2y ago
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 to simply convert from a list. Though, I agree the semic
12.
Securing CodeQL queries using Semgrep(semgrep.dev)
11 points by brandonspark 2y ago|2 comments
13.
From SML to OCaml(brandonspark.github.io)
5 points by brandonspark 3y ago|0 comments
14.
by brandonspark 3y ago
Haha, maybe. I'm not looking to earn any money from this, though. Time is the bigger constraint in my life at the moment.
15.
by brandonspark 3y ago
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 of exp * exp | Minus of exp * exp | Tim
16.
by brandonspark 3y ago
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 added in single lines. I address this point in Lecture 19 (Imper
17.
by brandonspark 3y ago
(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 time, depending on how much people would benefit from it.)
18.
by brandonspark 3y ago
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 of TAs and instructors from the past. It wouldn&#
19.
by brandonspark 3y ago
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 done by professors at Carnegie Mellon, who developed
20.
15-150: Principles of Functional Programming(brandonspark.github.io)
448 points by brandonspark 3y ago|126 comments
21.
by brandonspark 3y ago
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.
22.
by brandonspark 3y ago
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. I know Structure and Interpretation of Comp
23.
by brandonspark 3y ago
Yes, indeed.
24.
by brandonspark 3y ago
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 universities. That being said, I've certainly
25.
by brandonspark 3y ago
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 working as standalone notes, though, and as a kind o
26.
by brandonspark 3y ago
This is precisely how I teach it. I couldn't have phrased it better myself.
27.
by brandonspark 3y ago
The lectures for CMU's Principles of Functional Programming course are actually online for free! http://www.cs.cmu.edu/~15150/lect.html