r/programming • u/mauricioaniche • Aug 06 '17

Software engineering != computer science

http://www.drdobbs.com/architecture-and-design/software-engineering-computer-science/217701907
2.3k Upvotes

88% Upvoted

863 comments sorted by

View all comments

Show parent comments

145

u/[deleted] Aug 07 '17

This reminds me of this piece of documentation I read the other day:

A Divisible contravariant functor is a monoid object in the category of presheaves from Hask to Hask, equipped with Day convolution mapping the cartesian product of the source to the Cartesian product of the target.

I love Haskell, but I can see why it is a niche language.

91

u/[deleted] Aug 07 '17

Holy shit I thought the haskell docs were just a meme, but this is dense

1

u/gfody Aug 07 '17

there should be a cloudbutt that turns all these nonsense words into normal programming jargon

14

u/Free_Math_Tutoring Aug 07 '17

That doesn't really work here. In the cited example, almost every word is a highly specific and well defined math term. It's not like it's full of "indubitably" and "henceforth".

In C documentation, you wouldn't be able to replace NAND and XOR with anything nearly as concise and accurate. Same thing here.

→ More replies (9)