はてなブックマーク

パーサコンビネータなんかでよく使う、 some と many という関数があります。それぞれ引数を１回以上/０回以上実行して結果のリストを返す関数で、これの単純な定義は some v = (:) <$> v <*> many v many v = some v <|> pure [] となります。 some は v : (many v) 、 many は some v または [] を返すイメージです。 パーサコンビネータでは、例えば英数字１文字以上の文字列をパースしたいとき some alphaNum と書いたりします。 面白いのは、一見とても自明に思えるこの定義は、遅延評価がないと無限ループしてしまう点です。 本当は v が失敗したら some v 自体が失敗してほしいところが、v が失敗するか否かに関わらず many v が実行されてしまいます。正格評価の気持ちで考えるとあたりまえで

CoqのGallinaでは2つのコンストラクタC1, C2のある型Tの式vについて、 if v then t1 else t2 が match v with | C1 ... => t1 | C2 ... => t2 end にdesugarされる。 なんだかよくわからないけどかっこいい！！！Haskellでもこれやりたい！！！ やりました。 RebindableSyntaxとGHC.Generics RebindableSyntaxを有効化すると、 リテラルやif式、do式などのセマンティクスを独自に定義することができる。 例えば、if e1 then e2 else e3はifThenElse e1 e2 e3に変換される。ifThenElseを定義すれば、if式の動作を自分の好きなように書き換えられる！ GHC.Genericsを使うと、データ型について総称的なプログラミングが行える

（2017-3-11更新）RoswellでCommon Lisp環境をセットアップする - ギークもどきの日記帳 Roswellとは (ざっくりと) Common Lispの処理系やQuicklispのインストール、処理系ごとのオプションの違いの吸収などを行うすごい便利なツール。 Common Lisperなら使って損はない。 インストール 参照Wiki Home · roswell/roswell Wiki · GitHub Arch Linux AURに登録されているので、yaourtでインストールできる。 $ yaourt -S roswell Homebrew $ brew install roswell Windows Home · roswell/roswell Wiki · GitHub 使っているOSのbitに合わせて、32bitならRoswell-i686.zip、64b

takoeight0821.hatenablog.jp 書き直しました。