http://stricter.org/other/diary/latest はてなアンテナで取得された更新情報を元に作成した、「日記 - stricter.org」(http://stricter.org/other/diary/latest)のRSSです。配布元: http://www.kinet.or.jp/kits/hatena-rss/ 2010-08-29T11:21:40+09:00 http://screenshot.hatena.ne.jp/images/80x60/d/0/4/1/f/f31e2c821c6bb8acdc2b3f769f4cb5c618d.jpg http://stricter.org/other/diary/latest http://stricter.org/other/diary/latest#datetime20100829112140 2010-08-29T11:21:40+09:00 Permalink | コメント(3) | トラックバック(0) http://stricter.org/other/diary/latest#datetime20100826053622 2010-08-26T05:36:22+09:00 Permalink | コメント(1) | トラックバック(0) http://stricter.org/other/diary/latest#datetime20100826001408 2010-08-26T00:14:08+09:00 2010-08-25<br />Haskell に欲しいリスト<br />Programming, Haskell<br />こういうのが欲しい。<br />data ListC c a = Empty | Cons a (c (ListC c a))<br />で、例えば、<br />Cons 1 $ Identity Empty :: ListC Identity Int<br />というような形で普通のリストが表現できたり、<br />Cons 1 $ Nothing :: ListC M http://stricter.org/other/diary/latest#datetime20100812081650 2010-08-12T08:16:50+09:00 2010-08-12<br />Cocoa Emacs のフォント設定が良く分からない<br />Emacs<br />最近 Vim 派から Emacs 派に改宗しました。とりあえず ddskk を改造して▽などのターミナルで表示がおかしくなる記号を排除してみたり、そこそこ順調な気がしています。<br />http://gist.github.com/516772<br />それで http://stricter.org/other/diary/latest#datetime20100811215319 2010-08-11T21:53:19+09:00 glob<br />Programming, Haskell<br />{-# LANGUAGE FlexibleContexts #-}<br />module Main where<br />import Data.Char<br />import Control.Applicative<br />import Text.Parsec hiding (many, optional, (<|>))<br />import System.FilePath<br />type Matcher a = [a] -> [[a]]<br />match :: Matcher a -&