subtoot Show more
rust programmers: err i dont know about this "?" thing, its kind of confusing
haskell programmers: yeah i just use the "f <$> arg1 <*> arg2" idiom for applicatives, its perfectly clear and understandable to me
Republished from: https://twitter.com/hourlyFox/status/1128816092149899264
#Haskell Show more
I was actually able to use this trick to impress one of my favorite professors, an analytic number theorist who usually could care less about PL. I used AD to write numerical solvers for some simple problems in variational mechanics, and showed how the ST trick statically prevented confused differentials.
#Haskell Show more
It's actually insane how cool the ST trick is (forall s. ST s a preventing state threads from escaping.) It's also used in AD to prevent differentials of different variables from interacting. In general, it seems like you can use it any time you want items generated from two different "origins" to not interact and prevent it at *compile time*!
I've had the opportunity to see researchers and systems integrators (let's call them programmers lol) work together and create some amazingly effective systems doing things that nobody thought were possible.
I'm thinking of all this because I think this spectrum, between mechanic and mechanical engineer, between maker and theoretician, is also present between programmers and computer scientists.
And that's a clue to why people ask computer science questions on programming interviews.
Welcome to your niu world ! We are a cute and loving international community Ｏ(≧▽≦)Ｏ !
We are a moderated instance, that aren't supporting harassment nor hateful speech. But we aren't a "safe" space, we won't prevent you to interact with instances that aren't respecting our rules.
"Be conservative in what you send and liberal in what you receive." - Netiquette
The main language used here is English, but for most of us this isn't our main language, so it's a great place to learn!