Many fixes

Author: igrep

preprocessed-site/posts/2019/unicode-show.md

@@ -10,15 +10,15 @@ tags: 日本語
 ...
 ---
 
-# ℹ️この記事は
+# ℹ️この記事は🎄
 
 この記事は、[Haskell Advent Calendar 2019](https://qiita.com/advent-calendar/2019/haskell) 22日目の記事です。  
-例年どおりタイプセーフプリキュア！の話をするつもりでしたが、ネタが実装できなかったのでunicode-showの話をします[^precure]。  
+例年どおりタイプセーフプリキュア！の話をするつもりでしたが、ネタが実装できなかったので[unicode-show](http://hackage.haskell.org/package/unicode-show)の話をします[^precure]。  
 まぁ、こちらの方がみなさんにとっては有益でしょうし🙃
 
 [^precure]: 例年どおりですとプリキュアAdvent Calendarと同時投稿をしている予定でしたが、例年参加者が減っていたこともあり、今年はプリキュアAdvent Calendarはなくなってしまいました😞
 
-# 🇯🇵日本語（などの）話者がHaskellを始めるとあるある
+# 日本語（などの）話者がHaskellを始めるとあるある
 
 GHCiに日本語を入力したり...
 
@@ -42,23 +42,24 @@ ghci> putStrLn (iimashita "ハスケル")
 今、"\12495\12473\12465\12523"って言いました！？
 ```
 
-日本語の大半が変な文字列に変わってしまいました😥。
+すると、日本語の大半が変な文字列に変わってしまいました😥。
 
-へ...、変な文字列じゃないし！エスケープシーケンスに変換しただけだから！
+へ... 変な文字列じゃないし！エスケープシーケンスに変換しただけだから！
 
 これは、Haskell標準における`show`関数の残念な仕様です。  
 `show`関数に文字列を渡すと、ダブルクォートで囲った上で、ASCII範囲外の文字列や、ASCIIの非表示文字などをエスケープシーケンスに変換して返します。  
 これは、`show`関数をデバッグで使用した際、指定した文字列にどんな文字が含まれているか、簡単にわかるようにするための仕様です。  
-文字の文字コードを表示すれば、例えばNULL文字や制御文字にゼロ幅文字、特殊なスペースなど、視認しにくいおかしな文字が含まれていても、一目でわかるのです。
+文字の文字コードを表示すれば、NULL文字や制御文字、ゼロ幅文字、特殊なスペースなど、視認しにくいおかしな文字が含まれていても、一目でわかるのです。
 
 しかしこれは日本語話者である我々にとって、少なくとも日本語の文字に関しては「余計なお世話」です。  
 NULL文字やASCIIの制御文字といった本来画面に表示することがない文字列ならともかく、ASCII範囲外の文字列すべてをエスケープしてしまうのはやり過ぎでしょう。  
 現代はUnicodeがあるおかげで、日本語に限らずともASCII範囲外の文字を扱うのは当たり前になりましたから。
 
-# unicode-showを使おう
+# 🌐unicode-showを使おう
 
 そこで便利なのが[unicode-show](http://hackage.haskell.org/package/unicode-show)です。  
-unicode-showの`ushow`関数は、`show`がエスケープシーケンスに変換した日本語などの文字列を元の文字列に戻してくれるのです。
+unicode-showの`ushow`関数は、`show`がエスケープシーケンスに変換した日本語などの文字列を、元の文字列に戻してくれます。  
+なので、新しい型クラスを定義する必要もなく、そのまま`Show`型クラスのインスタンスを再利用できるのです。
 
 早速先ほどの`show`を使った例に適用してみましょう。
 
@@ -121,22 +122,23 @@ import qualified Text.Show.Unicode
 
 <https://github.com/haskell-jp/unicode-show>
 
-といっても、メンテナーの名前や`LICENSE`ファイルを書き換えて最新版をアップロードして以降特に何もしていなかったのですが<small>（バグはあるけど直すのも難しそうだし、概ね使えるし）</small>、なんと先日、Pull requestが来ました！
+といっても、メンテナーの名前や`LICENSE`ファイルを書き換えて最新版をアップロードして以降特に何もしていなかったのですが<small>（[バグはあるけど直すのも難しそう](https://github.com/nushio3/unicode-show/issues/2)だし、概ね使えるし）</small>、なんと先日、Pull requestが来ました！
 
 [Do not show values eagerly by Kaiepi · Pull Request #4 · haskell-jp/unicode-show](https://github.com/haskell-jp/unicode-show/pull/4)
 
-この修正前のunicode-showは、文字列全体を評価してからエスケープシーケンスを元に戻す、という挙動だったため、長い文字列を与えた場合や無限の長さの文字列を与えた場合に、なかなか<small>（あるいは永遠に）</small>結果が返ってこないという問題がありました。
+この修正を適用する前のunicode-showは、文字列全体を評価してからエスケープシーケンスを元に戻す、という挙動だったため、長い文字列を与えた場合や無限の長さの文字列を与えた場合に、なかなか<small>（あるいは永遠に）</small>結果が返ってこないという問題がありました。
 
 ```haskell
 ghci> uprint (repeat "ああああ！")
--- Ctrl + C を押すまで結果が返ってこない
+-- 何も表示されず、Ctrl + C を押すまで処理が返らない
 ```
 
 修正後はちゃんと遅延評価を利用することで、無限の長さの文字列でも少しずつ変換することができます。
 
 ```haskell
 ghci> uprint (repeat "ああああ！")
 ["ああああ！","ああああ！", ... "ああああ！","ああInterrupted.
+-- Ctrl + Cを押すまで出力し続ける
 ```
 
 今日記事にした一番の理由はこの話をするためです。