UUAG で遊んでて見つけた。勿論明示的に宣言すればいくつの tuple でも show できます。 Hugs> show (1, 2, 3, 4, 5) "(1,2,3,4,5)" Hugs> show (1, 2, 3, 4, 5, 6) ERROR - Cannot infer instance *** Instance : Show (f,e,d,c,b,a) *** Expression : show…

Haskell の data 宣言って、infix constructor も作れるのか。知らんかった。 data Expr = V | Expr :+: Expr | Expr :-: Expr deriving Show main = print $ V :+: V --> V :+: V

久しぶりに programming ネタ。必要に迫られてλ算法 (+α) の interpreter を作ってるんですが、それの pretty-print で、えらいてこずったんですよ。Pretty-print と言っても括弧 を可能な限り少なく入れて出力するだけです。Indent とかしません。もっと 具…

の案内が来ました。すぐそこなので、参加しに行ってきます。興味がある方は、是非下記の詳細 page から申し込んでください。案内 email には「弊社社員より推薦された方にお送りしております」とあって、推薦するような人に心当たりが無いんですが、送ってく…