blog
blog copied to clipboard
haskell-jp
Official blog of Haskell-jp.
Slackでの https://haskell.jp/slack-log/html/C4M4TT8JJ/64.html#message-1577159731.008800 あたりの議論から: @as_capabl > なるほど、この辺ふまえて2019年時点で、普通のレコード型を定義する場合のベストプラクティス、みたいな奴をだれかがまとめると良いかもしれませんね
やっていることに対してアーキテクチャが複雑すぎ、可用性やセキュリティ上の懸念があるうえコメントもノイズになる(#205 )。WebExtensionとして実装できないか？
私は「どのようにして私がモナドを誤解してきたか」という記事を執筆していたのですが、私自身がどんな誤解をしていたのかを既に記憶していないことに気が付いて執筆を諦めました。ここで行いたかった試みは、「モナドは箱・コンテナである」の節のように、不正確な理解について、どんなことを根拠としているのかと、どこが間違っているのかを、具体的に分析することです。 このような記事の場合は、複数人が自分の経験を持ち寄れば、有用な記事になるのではないかと思い付いたので、ここに投げておきます。 ## 書きかけの内容 ```markdown 抽象的な概念を理解することは難しいです。そのため、イメージというものが頻繁に用いられます。イメージは、悪く言えば誤解ですが、しかし、それだけではありません。 イメージは、身近なものを使って抽象的なものを例えるものです。どうしても概念を理解できなくて学習が止まってしまうような時には、イメージが歩みを進める助けになります。しかし、イメージは本当の概念を表すものではありません。遠くまで進んだ時にイメージを捨てることが出来ないと、細部において本当の概念とイメージがずれていることに戸惑うことになったりします。さらに、イメージを使って理解したという霧が晴れるかのような体験を得たがために、イメージを頑固に信じ込んでしまうこともあり、そうなると、他の概念も、それを解釈する上手なイメージがないか探して、それを使って理解しようとするようになります。そして、イメージは難しい概念を身の回りの事柄で例えるものであるが故に、本来は繋ぎ合わせるべきではない概念を、概念 A は柱であると、概念 B は床であると、概念 C は屋根であると、イメージを通して無理に繋ぎ合わせることが可能になってしまい、歪な家を組み上げてしまうようになります（この歪な家というのもイメージですね）。こうなると、大量の不正確なイメージと、天才的なイメージを使って難しい概念を単純に解き明かしたという自負が重なって、誤解を解くことは困難になります。 イメージは、あくまでも学習を進めるために必要なだけであることを意識しながら、モナドを誤解で理解していきましょう。 ## モナドは箱・コンテナである Maybe モナドや Either モナドやリストモナドや Identity モナドなどを知った時に、こう思いませんでしたでしょうか？ 私も同じことを考えました。 しかし、このイメージは Reader モナドや State モナドを知った時に崩れます。 Reader モナドは、関数であり、箱とは捉えられません。もしかしたら、関数もコンテナだと主張する人もいるかもしれませんし、そして、それは或る視点では正しいのですが、それでも...
そのため、latest で指定してたリンクがいくつか404になっている。 ざっと確認した感じ、言語拡張のところがダメみたいです。 - 旧: https://downloads.haskell.org/ghc/8.10.4/docs/html/users_guide/glasgow_exts.html - 新: https://downloads.haskell.org/ghc/9.0.1/docs/html/users_guide/exts.html 言語拡張に関する記事は結構多いので、できればリンクを直す（GHCのバージョンを指定 or 9.0.1 以降のパスに変更）方が良いかと。
https://github.com/haskell-jp/blog/pull/200 によってGHCと依存パッケージのバージョンを挙げた結果、Pandocをビルドする際にメモリーが足りなくなってしまった。 https://github.com/haskell-jp/blog/pull/200#issuecomment-743762764 によると、少なくともCircleCIの無償版（4GB）ではビルドは難しそうなので、無償版で7GBを提供してくれるGitHub Actionsに移行した方がよさそう
ずいぶん古いバージョンを利用していたので、現状の最新 LTS にしちゃおうかなと思います。 主な変更箇所は - https://hackage.haskell.org/package/pandoc-types-1.20/docs/Text-Pandoc-Definition.html で利用している文字列型が `String` から `Text` に変わったことに関する修正 - https://hackage.haskell.org/package/hakyll-4.13.4.1/docs/Hakyll-Web-Template-List.html#v:sortRecentFirst が `MonadFail` をとるようになったことに関する修正 - CircleCI の GHC のバージョンを lts-16 のものにする（GHC 8.8.4） 特に最初のやつが影響でかくて。 というのも、`TextLang` という型を定義して `"あいueお"` を `[Japanese...
 エラー出てますね（CSS いじってるときに気付いた）。 ``` button-embed.js:64 GET https://buttons.reddit.com/button_info.json?jsonp=buttonEmbed.parseSubmission&url=https%3A%2F%2Fhaskell.jp%2Fblog%2Fposts%2F2020%2Frevenge-of-hourly-antenna.html net::ERR_ABORTED 404 loadSubmission @ button-embed.js:64 init @ button-embed.js:93 (anonymous) @ button-embed.js:102 ```
フリーなライセンスで使用できる[EmojiOne](https://www.emojione.com/)を導入して、 `:smiley:` を 😃 に変換できるようにしたい。