はてなブックマーク

■ [Haskell] 設定ファイルのパースをTemplate Haskellで キーと値からなる設定ファイルをパースするとします。設定ファイルはこんな感じです。 name=Test value=5 マップなどで値を持つという方法もありますが、ちゃんと型付けするために専用の型を用意することにします。そうするとパースするコードはこんな感じでしょうか。 import Control.Monad import Data.Maybe data Config = Config { name :: !String, value :: !Int } deriving Show parse :: String -> Config parse s = let values = catMaybes $ map parseLine $ lines s in Config (fromMaybe "" $ look

■ ダイクストラとかA*とか 単純な迷路の最短経路を見つけるのに、ダイクストラ法とA*だとどのように異なってくるのかわかりやすく見てみたかったので、JavaScriptで実装してみました。 迷路 セルをクリックするとそのセルを通過できなくなります。もう一回クリックすると元に戻ります。スタートやゴールの位置を変更するには、[Set start]や[Set goal]ボタンをクリックしてからセルをクリックします。[Run]をクリックすると経路を探します。 探す過程で、現在のセルの状態とパスの長さを表示するようにしてあって、一ステップずつゆっくり進むようになっています。 一番上はダイクストラ法、二番目がA*で、三番目はA*なのですがヒューリスティックに指定されたゴールまでの距離が等しい場合にはゴールに近いセルから試行するようにしてあります。ちなみに、A*でのセルからゴールまでのヒューリスティック

■ [Haskell] Type Familiesを使って型レベルで階乗を実装してみる Type Familiesを使って型レベルで階乗を実装してみます。基本の考え方としては、dataで定義する型が型レベルの値で、type familyで定義する型属が型レベルの関数になります。 まずは、数の定義から。EmptyDataDecls拡張を使います。 {-# LANGUAGE TypeFamilies, EmptyDataDecls, UndecidableInstances, ScopedTypeVariables #-} data Zero data Succ a 後で楽なようにいくつかの数も定義しておきます。 type One = Succ Zero type Two = Succ One type Three = Succ Two type Four = Succ Three type

■ [Haskell] Type Families Data Familiesは、型パラメータに依って実装を変えたいときに使えます。C++のテンプレートでの特殊化みたいなものでしょうか*1。 {-# LANGUAGE TypeFamilies #-} import qualified Data.Sequence as Seq data family Vector a -- BoolのVectorはリストで表現 data instance Vector Bool = BoolVector [Bool] -- IntのVectorはSeqで表現 data instance Vector Int = IntVector (Seq.Seq Int) -- 関数はクラスにする必要があります class VectorElem a where add :: a -> Vector a -> Vector

■ [Haskell] The Typeclassopediaを訳しました The Monad.ReaderのIssue 13に掲載されたThe Typeclassopediaという記事が、Functor, Monad, Monoid, Applicative, Foldable, Traversable, Arrowといったような型クラスについて良くまとまっていて、そのあたりを知りたい時の取っ掛かりになりそうだったので翻訳してみました。 作者のBrent Yorgeyさんからも許可がいただけたので公開します。翻訳に慣れていないので変な日本語（特に専門用語の日本語訳はかなり怪しい）があったり、そもそも間違っていたりするかもしれませんので、何か見つけたらコメントを頂けると助かります。 ■ [Haskell] The Typeclassopedia by Brent Yorgey <first

■ [Q3] アドレス帳のアドレスの扱い方を整理 RFC2822では、test..test@example.orgのように「.」が二個以上連続したり、「.」で始まったり終わったりするようなアドレスは、"test..test"@example.orgのように""でくくることになっています*1。 QMAIL3では、""でくくっていない場合でもパースできるようにしてありますが、フォーマットするときには""でくくるようになっています。ただし、この処理をアドレス帳に入力されたメールアドレスに対しては行っていませんでした。このため、アドレス帳に登録するときに自分で"test..test"@example.orgのように入力しておかないと、メールアドレスからアドレス帳を引くときにエントリを見つけることができませんでした。しかし、"test..test"@example.orgと入力しておくと、アドレスの

■ [Q3] @Messagesの仕様をちょっと変更 @Messagesがバックグラウンドスレッドから（つまり自動振り分けから）呼び出された場合に、デッドロックを回避するために、コンテキストアカウント以外のアカウントのメッセージを取得できないようにしました。 ■ mod_rewriteで置き換えた文字列をエスケープする mod_rewriteで以下のようなルールを定義してパスをクエリパラメータに置き換えたとします。 RewriteRule ^(.*)$ test.cgi?value=$1 [L] ここで、http://example.com/Test%2BTestにアクセスするとCGI側からvalueの正しい値が取れず、「Test Test」になってしまいます。これは、mod_rewriteがマッチさせる前にURLを「Test+Test」にデコードするためで、この結果$1には「Test+T

■ [C++] GetProcAddressの戻り値をキャストしなくて済むようにする GetProcAddressで戻り値をキャストするのが面倒くさいので少し考えてみた こんな感じでどうでしょう。 struct ProcAddress { ProcAddress(HMODULE module, LPCSTR name) : p_(0) { p_ = ::GetProcAddress(module, name); } template<class T> operator T() const { return reinterpret_cast<T>(p_); } FARPROC p_; }; こうやって使います。 HMODULE module = 0; typedef void (__stdcall *Func)(); Func f = ProcAddress(module, "test");

■ JavaScript Hijacking なんだか色々書きすぎて要点が分かりにくくなっていますが、要するに、 Cookieでセッション管理をしている データをHTTPサーバからJSONで返している 場合に、悪意のあるサイトが、 Objectのコンストラクタをフックする scriptタグを使って上記のデータをJSONで返しているURLを指定する ようなHTMLを使うと、悪意のあるサイトのスクリプトが、返したデータにアクセスできてしまう*1ということでしょうか。 対策としては、 CSRF対策と同様にセッションキーなどを一緒にPOSTしてサーバ側でチェックする 返すJSONをコメントアウトしたり、前にwhile(true);のようなコードを付け、正規のクライアントは返された文字列からその部分を取り除いてからevalする が有効と。 で、prototype.jsなどのクライアントサイドのフレー

■ [SVN] Subversion w/ DAV over HTTPS on woody 今はsvnserve over SSHで使っているのですが、以前から試してみようと思っていたDAVを使った設定をしてみました。目標は、DAVを使ってHTTPS上で使えるようにすることです。 SubversionをDAVで使うための設定方法は、subversion 1.0.0 on woodyが参考になります。 まず、apache2とmod_dav_svnをインストールします。/etc/apt/sources.listに以下を追加します。 deb http://www.backports.org/debian woody subversion そしてapt-getします。 # apt-get install libapache2-svn apache2は、apache2-mpm-perchildが入る

■ [Haskell] Haskell mode for xyzzy 以前導入しようとしたときには、xyzzy使いならば必ず見たことがあるであろう「名前が衝突するのでexportできません」というエラーメッセージで導入できませんでした。 あまりこのあたりのことがわかっていないのでいい加減なのですが、.xyzzyやsiteinit.lを評価する時点では、現在のパッケージはuserで、editorパッケージが(use-package)されているような雰囲気がします。ということは、 (push '("\\.hs$" . hs-mode) *auto-mode-alist*) (autoload 'hs-mode "hs-mode" t) だと、userパッケージにhs-modeというシンボルを定義した挙句、hs-mode.lがロードされるときにeditorパッケージ内でhs-modeというシンボ

■ Cygwin sshd Cygwinでsshdを動かそうとしたのですが、サービスとして起動しようとするとどうしてもエラーになって動作しませんでした。色々と調べてみてもダメだし、Cygwinを再インストールしてもダメ。スタンドアロンで動かすことは出来たのにサービスにしようとするとアウトです。 で、やっと動くようになったのですが、結論としては/がuserでmountされていたのが原因でした。昔からずっと使っているので、レジストリに昔のマウントの設定が残っていたために、/や/usr/bin、/usr/libをuserでマウントするようになっていました。これだと、サービスとして動作するときに、SYSTEMアカウントがパスを見つけられないわけですね。 というわけで、レジストリエディタで、HKEY_CURRENT_USER\Software\Cygnus Solutionsと、HKEY_LOCAL