|
VikingofRock posted:Speaking of interesting math-y books, can anyone recommend a good book on category theory? I've been meaning to read up on it more. I haven't looked too deeply at either of them, but I hear good things about Conceptual Mathematics and Category Theory for the Sciences.
|
# ¿ May 20, 2015 00:29 |
|
|
# ¿ Apr 28, 2024 10:57 |
|
There's an inherent difficulty in learning Haskell as an imperative programmer, but it's made much worse by the documentation that's out there.
|
# ¿ Jun 19, 2015 08:17 |
|
Free OCaml course
|
# ¿ Oct 6, 2015 14:29 |
|
Speaking of functional languages for web development, there's a (very early) OCaml to Javascript compiler that might be interesting.
|
# ¿ Jan 17, 2016 19:07 |
|
I want to try selling functional reactive programming to some people who are vaguely aware of functional programming in general, but not too clear on the specifics. I could give them chapter 1 of Blackheath & Jones, but is there any other good introduction that's worth sending along?
|
# ¿ Apr 21, 2016 00:27 |
|
There's an Idris book whose first chapter is available online. It's worth a read if you're interested in what sort of examples Edwin Brady chose to illustrate the power of dependent types, but you won't get a lot of detail.
|
# ¿ Dec 2, 2016 05:34 |
|
|
# ¿ Apr 28, 2024 10:57 |
|
I've been asked to give a talk introducing Haskell and functional programming to a group of fairly experienced C++ developers. I can go through a pretty standard introduction covering the various languages out there, the way expressions are evaluated model, the idea of formal semantics, and the major language features, but I'm wondering if there's anything that's specifically helpful for people whose primary experience is a with a low-level stateful imperative language. I've found the Haskell Tutorial for C Programmers and I'm going to read through that, but I'd really appreciate anything else that might be helpful.
|
# ¿ Feb 5, 2017 00:38 |