読者です 読者をやめる 読者になる 読者になる

純粋関数的 Haskell I/O プログラミング

HaskellはIOモナドを使えるので 626809">命令的Haskellプログラミングが可能になっているのだが,その代償としてプログラム全体の型は自明なIO ()に潰れてしまう.プログラム全体の型が潰れないような仕組みを考えたのが ell.org/package/oi">oiパッケージ.…

命令的 Haskell プログラミング

めいっぱい imperative に書いてやったぜ :p やってることはそれほど自明ではないのに、main :: IO () って型には何の情報もないなぁ。IO () なんて自明な型に潰れやがって。。。 module Main where import Control.Concurrent import System.Environment ma…

Purely Functional Lazy I/O についてまだ考えている

HaskellのI/O方式は以下のように変化している. Dialogue Handle-based Monadic I/O Iteratee-based (Monadic) I/O 1.から2.へはImperative functional Programmingを 2.から3.へはIncremental multi-level input processing and collection enumerationを読…

darcs pull が遅い件

darcs pullが遅すぎて作業にならなくなった.なんとなくではあるが, 時間的に古いパッチ列の間に時間的に新しいパッチ(基本的にconflictを解消するためのパッチ)をはさむ. darcs unread というのがパフォーマンスに悪影響を与えている気がする.とりあえ…

darcsリポジトリの最適化方法を教えて君

いままで比較的小規模のプロジェクトでしかdarcsを使っていなかったので,そのパフォーマンスはそれほど気にならなかった.最近,あるプロジェクトから,1年以上前にフォークしたプロジェクトに関わるようになって,darcsのパフォーマンスがすこし気になっ…

xmonad

毎年恒例(だったかな)三日坊主の初日 gnome+xmonadという日和見気味の環境から単独xmonadという漢の環境(ほんとか?)へ移行をもくろむ. インストールメモ(以下のメモは私個人の環境に依存しています.) 準備 各種ライブラリ,ヘッダファイルのインス…

Purely Functional Lazy IO

ほんもののプログラマや浮世プログラマ(Real World Programmer)には評判の悪い「純粋に関数的で怠惰な入出力」ですが,私のような浮世離れの怠惰プログラマにはこの上なく魅力的に見えます.リソースも実行順序も考えない世界に逃避するための仕組みをつく…

この記事はHaskell Advent Calendar 2011のために書かれたものです.

関数型言語について議論するときの用語集(未完)

プログラミング言語やプログラミングパラダイムについて議論するとき,用語の定義を共有しないと議論が噛み合わなくなります.それで以下に私が日頃関数型言語について議論したり考えたりするときに暗黙で使っている定義(ここでは厳密なものではなく,この…

BuzzFib

ナイーブ.ちょっと書き換えた.FibBuzzだとおもったら、BuzzFibというらしい。 module Main where import Data.List import System.Environment buzzfib :: [String] buzzfib = "FibBuzz" : unfoldr phi (1,1,1,tail $ cycle $ take 5 $"Buzz":repeat "") w…

tailDropWhile

複数行からなるテキストデータを処理するとき,行末の空白を除去したいときがある. rmTailSpaces :: String -> String rmTailSpaces = unlines . map chop . lines 1行分の文字列を末尾の空白を取り除いた文字列に変換する関数chopの実装を考えてみよう.素…

Haskellerのための命令プログラミング用語講座

本記事が読者として想定しているのは純粋非正格静的型付けプログラミングしかできない純粋培養ハスケラ(Haskeller)のみなさんです.だれがなんといおうとマイノリティである純粋培養ハスケラは,だれがなんといおうとマジョリティであるシャー(C er),プ…

とある使い捨てコード

module Main where main :: IO () main = interact ruby ruby :: String -> String ruby "" = "" ruby s = case break ('('==) s of (_,[]) -> s (xs,_:ys) -> "<ruby><rb>"++xs++"</rb><rp>(</rp><rt>" ++ case break (')'==) ys of (_,[]) -> error $ "invalid input: "++s (ys',_:zs) </rt></ruby>…

R(n)の列挙

冪集合 - Life Goes Onに美しいコード。リスト内包表記の使い方も素敵。

1to100penさんのヒントにより書いたもの

data List = Nil | List ::: List を使った. Python 読めないので,Pythonの解と同じかどうかは良くわからない. data List = Nil | List ::: List r :: Int -> List r 0 = Nil r n = powerset (r (n-1)) powerset :: List -> List powerset Nil = Nil ::: …

R(n)列挙

て日々(6月1日)にあった問題.すこし考えたんだけど綺麗には書けず.ぐちゃぐちゃ.Natクラスのメソッドにしたり,禁断の unsafeCoerce を使ってしまった.R(5)はちょっと長すぎるのでR(3)とR(4)を表示. ghci> pprR three "{0,{0},{{0}},{0,{0}}}" ghci> pp…

プログラムの書き方を忘れる

4月はコードを書かなかった.すっかりコードの書き方を忘れてる.orz

自然数対の整列列挙

であるようなが与えられとき,を満す自然数対をで変換したときの大きさの順にならべたリストを生成するプログラムを書け [id:route150:20110501#1304207462]に綺麗な解が.それをすこしアレンジして写経した. enumerate :: (Integral a, Ord b) => ((a,a) -…

ライフハック本を買ってしまう

いわゆるライフハック本というのを買ってしまう. 「それ前に読んだろ?」 「どんなことが書いてあったか忘れたから」 「忘れるようなハックが役に立つのか?」 「役に立つかもしれないことが書いてあったと思うんだよな」 何か問題があるという不安はまちが…

Type Family (型族)

型族って何?と聞かれたんだけど上手く説明できない.どんなときに便利なの?と聞かれたんだけどそれはHaskell WiKi読めってことで. で,まぁ無益なプログラムなら,以下のような型だけがあって実体のない(上手い表現を思いつかない)プログラムの例を書け…

割り算を使わない篩

割り算は使ってないけど,sieve のやっている比較が試し割に相当している?(変更)名前を整理 module Prime (primes,primes') where import Data.List primes :: [Integer] primes = concat primes' primes' :: [[Integer]] primes' = [2]:[3]:map fst (itera…

MacBook Air 11インチ欲しい!

両替問題(末尾再帰版)

硬貨の種類を順に増やすというボトムアップを行うシンプルなもの. module CountChange where type Amount = Int type Coins = [Int] jpy :: Coins jpy = [1,5,10,50,100,500,1000,2000,5000,10000] cc :: Coins -> Amount -> Integer cc cs a = foldl f (1:…

ディレクトリ階層を平たくする

私のワーキングディレクトリは ~/work/2010/12/30/ のように日付による階層になっている. 過去1ヶ月とか過去1年のファイルを一覧したいことがあるので,階層を平たくするスクリプトをでっちあげた. module Main where import Control.Applicative import D…

「再帰のこころ」「反復のこころ」そして「メモ化」少々

「n個の対応する括弧のパターン」(http://d.hatena.ne.jp/ymotongpoo/20101209/1291879286)についてあれこれを徒然に考えてみました. 再帰で考える まずはパターン数を数えることにしましょう.この手の問題はまずは再帰で考えるのが基本です.m個のカッ…

この記事はHaskell Advent Calendar jp 2010のために書いたものです.

HIMA' のための Darcs 資料

HIMA' のための Git 資料 - あどけない話にならって. 用意すべきもの: darcs Haskell漢なら,cabalコマンドを使ってインストール.簡単に手にいれるなら,コンパイル済みバイナリが http://wiki.darcs.net/Binaries あたりを探ればあります. ビジュアライ…

おすすめされた本など イヴの七人の娘たち (ヴィレッジブックス N サ 1-1)作者: ブライアン・サイクス,大野晶子出版社/メーカー: ウイーヴ発売日: 2006/11メディア: 文庫 クリック: 1回この商品を含むブログ (2件) を見るアダムの呪い (ヴィレッジブックス)…

括弧ゴルフ

本当にLispはカッコが多い? - 八発白中 Haskellは基本的には常に括弧なしでいけそうだねぇ. import System.Environment main = mapM_ putStrLn . map ppr . f . read . g =<< getArgs f n = take n $ s zip fs $ enumFrom 1 g args = if null args then "1…

途中脱出のある反復計算

そのまえに もとネタは[id:Dekosuke:20100810]「breakのあるfor文をHaskellで書きなおす」という記事です.この記事に対して,直感的に[id:nobsun:20100118]の双方向畳み込みfoldで汎用的に表現できる」と思って,コメントを付けました.ところが,その後が…

Haskell≠現場言語って?

(元ネタはSoftwareDesign誌の9月号掲載の小飼弾さんのコラムです)Haskellは儂にとっては現場言語だけどなにか? catごとき(というとcatに失礼だよなぁ),スクリプトを書くというのがすでに現場思考じゃないと思うけどなぁ.cat相当の機能を使いたければcatコ…

ニコリ「スリザーリンク」名品100選

ペンパの中で最も好きなもののひとつ.作家のコメントがとてもおもしろい.パズルに「難易度」という指標のほかに,「解き味」という理屈としてはすこし不思議な感覚があることが良く判る. ニコリ「スリザーリンク」名品100選作者: ニコリ出版社/メーカー: …

「変数の初期化」「変数の再代入禁止」

プログラミング言語のHaskellを説明するとき,説明の相手がCプログラマであれば,その人が知っているであろう概念を使って説明する方がわかりやすい.と考える心情はわからないわけではない. Haskellでは変数の初期化は一度しかできない Haskellでは変数は…

関数プログラミングの楽しみ

"The Fun of Programming" を翻訳しました.来週,出ます. 関数プログラミングの楽しみ作者: Jeremy Gibbons and Oege de Moor,山下伸夫出版社/メーカー: オーム社発売日: 2010/06/23メディア: 単行本(ソフトカバー)購入: 3人 …

行列

L'eclat des jours(2010-05-28)命令プログラマにとっては行列は2次元配列なので,インデックスを使って要素にアクセスしようとするのは自然です.Haskellのように行列をリストのリストで表現すると,何だかアクセスが面倒な気がするのもうなずけます.(!!)を…

発表資料

Haskellers Meeting 2010 Spring で発表したスライドを以下のように公開しました。 もう1つの外界との対話の表現 Another Expression for Interaction with Outside World プログラムコードについてはSanta Claus problem - HaHaHa!をどうぞ

Santa Claus problem

{-# LANGUAGE TypeOperators #-} import Data.List import Data.Pseudo (Pseudo, (:->),randomDelayList,merger,probe,embedPseudo) data Colleague = Elf Int | Reindeer Int deriving (Eq,Show) elf :: Int -> [Colleague] -> [Colleague] elf n (x:xs) = …

CLTT

読むかなぁ Categorical Logic and Type Theory, Volume 141 (Studies in Logic and the Foundations of Mathematics)作者: B. Jacobs出版社/メーカー: Elsevier Science発売日: 2001/07/01メディア: ハードカバー購入: 2人 クリック: 86回この商品を含むブ…

Arrowのインスタンス

関数の型構成子とKleisliトリプル以外にArrowのインスタンスで一般的なものって?

命令語訳抜きで関数型語を教えられるか

和訳抜きで英語は教えられるかを読んでふと思った。

ファイナンスのための確率解析

ファイナンスのための確率解析〈1〉二項モデルによる資産価格評価作者: S.E.シュリーヴ,Steven E. Shreve,長山いづみ出版社/メーカー: シュプリンガーフェアラーク東京発売日: 2006/07メディア: 単行本 クリック: 7回この商品を含むブログ (6件) を見るファ…

Scansnap & 裁断機

読んでみようかな.

Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics)作者: Morten Heine Sørensen M.Sc Ph.D,Pawel Urzyczyn prof. dr hab.出版社/メーカー: Elsevier Science発売日: 2006/09/28メディア: ハード…

プログラミングClojure

Clojure の j は java の jプログラミングClojure作者: Stuart Halloway,川合史朗出版社/メーカー: オーム社発売日: 2010/01/26メディア: 単行本(ソフトカバー)購入: 10人 クリック: 338回この商品を含むブログ (72件) を見る

忘却の整理学

ふと買いました。忘却の整理学作者: 外山滋比古出版社/メーカー: 筑摩書房発売日: 2009/12/12メディア: 単行本購入: 3人 クリック: 15回この商品を含むブログ (30件) を見る整理学という言葉を定着させたのは同じ著者の『思考の整理学』かも?思考の整理学 (…

プレゼンテーションZen

テクニックを学ぶという意識で「読む」というより,写真集のように「見て」楽しむのがよい.プレゼンテーションzen作者: Garr Reynolds,ガー・レイノルズ,熊谷小百合出版社/メーカー: ピアソン桐原発売日: 2009/09/04メディア: 単行本(ソフトカバー)購入: …

古代文字練習帳

甲骨文字や金文文字の書き方を練習するという,なんとも,まぁ変な本.こんなの何の役にも立たないのに.売れてるのかなぁ.といいつつフラフラと買ってしまった.妙に魅力的.古代文字練習帳作者: 文字文化研究所出版社/メーカー: 筑摩書房発売日: 2008/07…

双方向畳み込み

双方向の畳み込みというのを考えてみた. a ┏━━┓ a' ┏━━┓ ┏━━┓ a'' → ┃ ┃ → ┃ ┃ → … → ┃ ┃ → ← ┃ ┃ ← ┃ ┃ ← … ← ┃ ┃ ← c''┗━━┛ c' ┗━━┛ ┗━━┛ cコードは fold :: ((a,c) -> b -> (a,c)) -> (a,c) -> [b] -> (a,c) fold f (a,c) (x:xs) = (a'',c'') where (a''…

2010

http://parametron.blogspot.com/2010/01/2010.html リスト内包表記の練習みたいなコード module Main where import Data.Char import Data.Function import Data.List import System.Environment data Term = Val Char | App Char Term Term ops4 :: [Char]…

ソート

inspired by http://d.hatena.ne.jp/yamamucho/20100110/1263082701 import Data.List --挿入ソート ins :: Ord a => [a] -> [a] ins = foldl f [] where f s x = case span (x>) s of (t,u) -> t++x:u --選択ソート sel :: Ord a => [a] -> [a] sel = rever…