uDiary

◆ [Haskell] Monadic Parser Example

https://github.com/unnohideyuki/monadic_parser_sample

Alex と Haskell Happy で monadic parser をつくってみる演習は、予定していたものを一応つくれた。

ex2 から ex4 まで、それぞれ自分なりに得るものはあったので、もう少しコードをきれいにするのといっしょに、ポイントを書き留める作業はしたい。

ex4 は、まじめに Haskell の文法を解析するのではなく、レイアウト規則を実現するための最低限の grammar を記述したので、"-};" がコメントの最後と認識されなかったりするが、今回は、これでいいことにする。

◆ [Haskell][Tiger] Modern Compiler Implementation in ML

https://github.com/unnohideyuki/Tiger-in-Haskell

Tiger Book を Haskell でやる遊びは、６章まで来た。

Tiger Book でも、６章あたりのコードは、ML の破壊的代入を活用したコードになっているので、Haskell で書くにあたっては、状態を明に引き回す必要がある。

chap6/Semant.hs にある transExp, transDec は level と temp を受け渡しするように改造して、改造後も chap5 と同じ型検査結果となるところまで確認。

• chap5 では評価が遅延されて検出されなかったエラーが chap6 では検出になったものあり
• chap5 で fmap でリストを巡っていた箇所を、モナド処理にするために foldl にしてしまって、リストを逆順にしてしまう失敗をした。そこはfoldr にしたが、正格版 foldr' でよかったかも。
• 改造時には、まず型宣言を目標の形に書き換えてから、すこしずつ変えていくのがよかった。型推論すてき。
• 最近 LAMY の万年筆をつかうようになって、勉強ノート書くのが楽しくなった。

など。

あとは、TL.allocLocal やら TL.newLevel を適切に呼んでやればいい。（それができる状態にはなった）

◆ tDiary アップデート

tDiary 2.2.1 + Ruby 1.8.7 だったのを、tDiary 4.0.4 + Ruby 2.1.2-p95 にアップデートした。

一挙にやったら文字化けしたので、tDiary 3.0.1 をはさんで、データ移行した。

これから、markdown 記法のやつ入れよう。

ん？　いま、Insecure operation - encode!って出たな。

よくわからないけど、security がらみっぽいので、tdiary.conf で @secure = false となっていたのを、true にしてみた。

なんとなく、余計に厳しくなって、ダメそうなんだが…。

いけた。

◆ github-markdown 0.6.5 いれた

@tDiary に教えてもらったやつ。

おお、@tDiary って書いたら、twitter アカウントへのリンクにもなるんだ。