News for hackers. Stuff that matters.
Re:A monoid is a category, a category is a monad, a monad is... by tikhonj on Sunday April 16, 2017 @03:16PM (#14127033)
I work at Target and we have a weekly class on algebra, category theory and Haskell because people are interested. It's a mix of programmers learning some of the math and mathematicians learning some of the programming :).

It's actually a lot more accessible than it seems at first—these ideas are not complex, just abstract. Thinking at a high level of abstraction is very much a skill which requires specific training, but it's a skill worth training and, when you have it, learning things like this becomes much easier.

The same thing is true of programming, by the way: once you start "thinking like a programmer", it becomes much easier to learn a new programming language or to understand some low-level programming concepts. And thinking like a programmer is, in the grand scale of things, not that different from thinking like a mathematician!

Re:A monoid is a category, a category is a monad, a monad is... by acchow on Sunday April 16, 2017 @04:22PM (#14127326)

  I work at Target and we have a weekly class on algebra, category theory and Haskell because people are interested
Wow, Target sounds like it has a nerdier crowd than Facebook.
Re:A monoid is a category, a category is a monad, a monad is... by pitaj on Sunday April 16, 2017 @06:13PM (#14127859)
This is the most unexpected thing I've ever heard about Target.
Re:A monoid is a category, a category is a monad, a monad is... by snowcrshd on Sunday April 16, 2017 @03:24PM (#14127064)
That sounds awesome!

Is Haskell (or other fp languages) commonly used at Target?

Re:A monoid is a category, a category is a monad, a monad is... by whateveracct on Sunday April 16, 2017 @09:15PM (#14128611)
I don't work there, but my understanding is their supply chain automation/optimization uses Haskell.
Re:A monoid is a category, a category is a monad, a monad is... by zengid on Sunday April 16, 2017 @07:14PM (#14128113)
Is this at the HQ in Minneapolis? I hope to move back to MN someday (to raise the younglings) and you make Target sound awesome!
Re:A monoid is a category, a category is a monad, a monad is... by tikhonj on Monday April 17, 2017 @04:43PM (#14134255)
Currently we're a small team mostly based in Sunnyvale, but we're also partly distributed and have some people in Minneapolis. This has been a bit awkward for the class specifically because teaching people over Hangouts turns out to be hard, but there is certainly some cool work going on in Minneapolis.
Re:A monoid is a category, a category is a monad, a monad is... by mitchty on Tuesday April 18, 2017 @09:15AM (#14138530)
As someone in the Twin Cities, BAH, I was hoping to find more haskellers around. Oh well, I'll keep trying to get more FP stuff in where I work at least.
Re:A monoid is a category, a category is a monad, a monad is... by dllthomas on Monday April 17, 2017 @08:17AM (#14130407)
Nah, it's in the south bay. I've been to some meetups there.