- 関数型プログラミング言語Haskell Part28 [転載禁止]©2ch.net
564 ：デフォルトの名無しさん[sage]：2015/06/13(土) 17:04:10.62 ID:oBvXXQ5V - >>562 見たけど、確かに意味不明だ。訳の問題かと思ったが、原文も似たようなもんだな……。
強いて言えば原文の"categorical theories"が和訳では勝手に「圏論(categorical theory)」になってたり、
"not computationally isomorphic"のnotが訳し漏れで「計算上は同型」になってたりと訳の問題も大きくて、
原文のほうは好意的に解釈すればまだ理解可能だけど。
| - 関数型プログラミング言語Haskell Part28 [転載禁止]©2ch.net
565 ：564[sage]：2015/06/13(土) 17:09:54.96 ID:oBvXXQ5V - （原文も「好意的に解釈すれば理解可能」なだけで、
For a long time, people believed that only categorical theories were useful for programming
云々は聞いたこともないので違う並行宇宙の話としか思えないｗ）
|
|