3 ms·
I'll respond to you here. > Just notice how function means something completely different in programming and math Try telling Haskell that ;) > The first thi
by quarterto 12y ago
I'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.