2008-09-10から1日間の記事一覧
-- 相変わらずParse Monadをぴゃぴゃっと書いてる module Parser where import Data.Char import Control.Monad data Result val rem = Parsed val rem | NoParse deriving Show data Parser a = Parser (String -> Result a String) ext_parser :: Parser a…
http://lambda-the-ultimate.org/node/2981 Polymorphic Algebraic Data Type Reconstruction多相代数型再構築??(直訳でもピンと来ない)