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