Hexirp
Hexirp
私は「どのようにして私がモナドを誤解してきたか」という記事を執筆していたのですが、私自身がどんな誤解をしていたのかを既に記憶していないことに気が付いて執筆を諦めました。ここで行いたかった試みは、「モナドは箱・コンテナである」の節のように、不正確な理解について、どんなことを根拠としているのかと、どこが間違っているのかを、具体的に分析することです。 このような記事の場合は、複数人が自分の経験を持ち寄れば、有用な記事になるのではないかと思い付いたので、ここに投げておきます。 ## 書きかけの内容 ```markdown 抽象的な概念を理解することは難しいです。そのため、イメージというものが頻繁に用いられます。イメージは、悪く言えば誤解ですが、しかし、それだけではありません。 イメージは、身近なものを使って抽象的なものを例えるものです。どうしても概念を理解できなくて学習が止まってしまうような時には、イメージが歩みを進める助けになります。しかし、イメージは本当の概念を表すものではありません。遠くまで進んだ時にイメージを捨てることが出来ないと、細部において本当の概念とイメージがずれていることに戸惑うことになったりします。さらに、イメージを使って理解したという霧が晴れるかのような体験を得たがために、イメージを頑固に信じ込んでしまうこともあり、そうなると、他の概念も、それを解釈する上手なイメージがないか探して、それを使って理解しようとするようになります。そして、イメージは難しい概念を身の回りの事柄で例えるものであるが故に、本来は繋ぎ合わせるべきではない概念を、概念 A は柱であると、概念 B は床であると、概念 C は屋根であると、イメージを通して無理に繋ぎ合わせることが可能になってしまい、歪な家を組み上げてしまうようになります（この歪な家というのもイメージですね）。こうなると、大量の不正確なイメージと、天才的なイメージを使って難しい概念を単純に解き明かしたという自負が重なって、誤解を解くことは困難になります。 イメージは、あくまでも学習を進めるために必要なだけであることを意識しながら、モナドを誤解で理解していきましょう。 ## モナドは箱・コンテナである Maybe モナドや Either モナドやリストモナドや Identity モナドなどを知った時に、こう思いませんでしたでしょうか？ 私も同じことを考えました。 しかし、このイメージは Reader モナドや State モナドを知った時に崩れます。 Reader モナドは、関数であり、箱とは捉えられません。もしかしたら、関数もコンテナだと主張する人もいるかもしれませんし、そして、それは或る視点では正しいのですが、それでも...
**Where there is a problem:** https://github.com/jaspervdj/hakyll/blob/1abdeee743d65d96c6f469213ca6e7ea823340a7/lib/Hakyll/Web/Feed.hs#L44-L58 **Problem:** ``` C:\(private info)\hakyll\lib\Hakyll\Web\Feed.hs:46:18: error: ? Exception when trying to run compile-time code: C:\(private info)\hakyll\data/templates/rss.xml: openBinaryFile: does not exist (No such file or directory)...