3 ms·
My reply to the same nitpick (but other guy, you're not alone!): https://news.ycombinator.com/item?id=8238504 https://news.ycombinator.com/item?id=8238504
by kaoD 12y ago
My reply to the same nitpick (but other guy, you're not alone!): https://news.ycombinator.com/item?id=8238504 https://news.ycombinator.com/item?id=8238504
- quarterto 12y agoI'll respond to you here. > Just notice how function means something completely different in programming and math Try telling Haskell that ;) > The first thing I think when reading "isomorphic" is "same shape" There are actual, mathematical isomorphisms extant in Computer Science with applications to programming. The Curry-Howard correspondence gives rise to logic languages (Coq, Agda, Idris), where the programs are proofs.
- kaoD 12y ago> Try telling Haskell that ;) That's funny because Haskell has monads, which was firstly a philosophical term but has three different meanings in math and another one in music theory (which is just math too). You can argue Haskell's monads are monads (in the category theory sense), but I'd argue in Haskell they mean "a way to express types of sequential computation" (they're one specific case of monads). You know what these have in common? They all allude to "mono", which is an actual word in Greek. Just like iso and morph.