A Software Engineer’s Adventures in Learning Mathematics

Re:A Software Engineer’s Adventures in Learning Mathematics by eric_bullington on Wednesday February 04, 2015 @08:35AM (#8996688)

> The range of problems I could tackle as a programmer was limited by math. It turns out this was partly true.

Would you mind expanding on this? I've often thought about going back to school for a math degree, or at least for the core degree courses.

Did functional programming, particularly in a pure language like Haskell, become easier to reason about once you had studied Category Theory in depth?

[ Parent | on HN ]

Re:A Software Engineer’s Adventures in Learning Mathematics by croyd on Wednesday February 04, 2015 @02:32PM (#8999094)

There's no dependency between learning functional programming, including Haskell, and category theory. I say this as someone who is reading a CT book (Conceptual Mathematics) after being first exposed to the topic by learning Haskell.

[ Parent | on HN ]

Re:A Software Engineer’s Adventures in Learning Mathematics by eli_gottlieb on Wednesday February 04, 2015 @09:46AM (#8997031)

You can actually go the other way around, from functional programming to mathematics: http://homepages.cwi.nl/~jve/HR/

[ Parent | on HN ]

Re:A Software Engineer’s Adventures in Learning Mathematics by jeffreyrogers on Wednesday February 04, 2015 @10:17AM (#8997228)

I've seen that book a number of times before and always thought about reading it. Do you recommend it?

[ Parent | on HN ]

Re:A Software Engineer’s Adventures in Learning Mathematics by stanleee on Wednesday February 04, 2015 @01:36PM (#8998687)

I think it's a great book and a great introduction to discrete mathematics, specifically the topics typically taught to CS undergrads.

[ Parent | on HN ]