zehnpaard https://blog.hatena.ne.jp/zehnpaard/ Arantium Maestum https://zehnpaard.hatenablog.com/ Haskell Thinking Functionally with Haskell Type関連で混乱してきたので、ちょっと一旦第２章に戻ってメモをまとめていく。 "In Haskell every well-formed expression has, by definition, a well-formed type. Each well-formed expression has, by definition, a value." まず、式には型と値がある。Pythonのような言語では「値がまずあって、その値に型がある」と考えるのが自然だが、Haskellでは式の評価もまず「式の型を調べ、正しく型が定まっていれば次に値を評価する」という流れになる。だから上記の引用でも別… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fzehnpaard.hatenablog.com%2Fentry%2F2018%2F03%2F10%2F205914" title="Thinking Functionally with Haskell: 第２章再読 TypeとType Classメモ - Arantium Maestum" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2018-03-10 20:59:14 rich https://zehnpaard.hatenablog.com/entry/2018/03/10/205914 1.0 100%