
I’m somewhat frustrated that category theory is so often associated with functional programming, when these two are two completely orthogonal worlds which just happen to (sometimes) work well together

This article says “functional programming is hard because category theory is difficult”. To me, it sounds like “object-oriented programming is hard because designing good GUIs is difficult.”

It’s not the article’s fault clearly: the two domains got associated due to cultural and historical reasons. In this sense, I kind of agree with the Quora article: the language used to talk about functional programming is inappropriate :slightly_smiling_face:

The “nick name” (or is it semi-official) for certain methods of category theory is “Abstract Nonsense”. Telling. https://en.wikipedia.org/wiki/Abstract_nonsense

I used to be into category theory for quite some time, as an enthusiast rather than as a specialist, and I can confirm that this “abstract nonsense” thing is kind of true :smile: It does shape your thinking in a interesting way though, no regrets on my side #confession

quora is a garbage fire.

Oh, I’m not into such kinds of sites, so I always approach them with a presumption of innocence :slightly_smiling_face: Thanks for telling me!

just posted this on discord by @samdphillips : > Four lines to make your computer talk (on Windows): #lang racket/base
(require ffi/com)
(define voice
(com-create-instance "SAPI.SPVoice"))
(com-invoke voice "Speak" "hello world")
I wonder if MacOS or linux are as simple?

Also on racket-users and /r/Racket now.

(require racket/system)
(parameterize ([current-input-port (open-input-string "hi")])
(system "say"))

(cheating, I know)

(on macOS)

Yeah that’s somewhat how I worked out on Linux because the flite API was as dead simple as the cli.

I also fell down a rabbit hole of phonetic dictionaries

@wswzk864864 has joined the channel

Well, the first thing you need to ask when someone says “functional programming” is: “What do you mean by functional programming?” :stuck_out_tongue:
I’m still yet to come up with a good definition myself.
Either way, I have a very low opinion of the top answer…

@yz489 has joined the channel