scolobb-slack
2020-5-16 17:38:59

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


scolobb-slack
2020-5-16 17:40:03

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.”


scolobb-slack
2020-5-16 17:42:05

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:


soegaard2
2020-5-16 18:02:41

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


scolobb-slack
2020-5-16 18:07:29

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


spdegabrielle
2020-5-16 18:08:35

quora is a garbage fire.


scolobb-slack
2020-5-16 18:10:20

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!


spdegabrielle
2020-5-16 18:17:02

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?


samdphillips
2020-5-16 18:24:57

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


popa.bogdanp
2020-5-16 18:25:53

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


popa.bogdanp
2020-5-16 18:26:06

(cheating, I know)


popa.bogdanp
2020-5-16 18:26:14

(on macOS)


samdphillips
2020-5-16 18:28:20

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


samdphillips
2020-5-16 18:28:50

I also fell down a rabbit hole of phonetic dictionaries


wswzk864864
2020-5-17 01:43:33

@wswzk864864 has joined the channel


jcoo092
2020-5-17 02:43:54

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
2020-5-17 06:34:51

@yz489 has joined the channel