[過去ﾛｸﾞ] 関数型プログラミング言語Haskell Part16 (978ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
193: 2011/10/21(金)00:10 AAS
でも それ、１から連続する数字のリストだから正解なだけで
あまりいい回答ではないと思ったかな。fibbuzzとかはやってるけど
関数型言語の普通の作り方すれば、最後のリストを[1..100]と
違うのだけの違いだから新鮮にも見えなかったよ。抽象化が得意な言語
とそうでないものでのさがあるんだなということかな。
prnFizzBuzz = mapM_ putStrLn.FizzBuzz
FizzBuzz n 。。。パターンマッチ
で
prnFizzBuzz [1..100] とか prnFizzBuzz fibSeq とかでおしまいだろ？
194(2): 2011/10/21(金)00:14 AAS
for文などでかけと言われたらかけるけど、関数型の記述に比べれば
泥臭くって、抽象化ができないよね。関数オブジェクトなどを使って
抽象化させて作るんだったら、初級っぽくないだろうし。
195: 2011/10/21(金)07:52 AAS
mplusを使ってfizzbuzzを書こうとすると現行のMonadPlusの駄目な部分がわかるかも
196(1): 186 2011/10/21(金)08:04 AAS
>>190
＞>>186
＞Richard Bird先生の本を読むのがいいかもしれない。
情報有難う！
Research paperを幾つか、ざっと読んでみた。
まだよく理解出来ない所も多いけど、Haskellって面白い。
197(1): 2011/10/21(金)08:52 AAS
>>194
細かい抽象化は全体からみれば効果がないだろうよ
198(1): 2011/10/21(金)09:48 AAS
>>196
鳥先生に興味が出てきたら早速ピアソンのサイトへ行ってAlgebra of Programmingを手に入れるんだ
199: 2011/10/21(金)10:38 AAS
>>197
何を優先してるかで違うのは当然だが、抽象化のセンスを見るのにも
いいとは思うがな。ボイラープレイトを取り除くにしても、この手の単純な
抽象化が出来なければ難しく感じるだろう。
余談だが、この辺の抽象化のセンスってLispのマクロを作るセンスにも通じ
てる印象がある。マクロで関数を作成するにしてもマクロを作成するにして
もボイラープレイと除去と同じセンス必要なので。
200: 2011/10/21(金)11:19 AAS
>>192のアイデアを水平合成とみて>>186のに適用するとこんな感じ？
type Magma a = a -> a -> a
class MonadZero m where
mzero :: m a
class MonadZero m => MonadOr m where
mor :: Magma (m a)
class MonadZero m => MonadPlus m where
mplus :: Magma (m a)
instance MonadZero [] where
mzero = []
instance MonadOr [] where
mor xs = if null xs then id else const xs
instance MonadPlus [] where
mplus = (++)
fizz = cycle $ replicate 2 mzero `mplus` return "Fizz"
buzz = cycle $ replicate 4 mzero `mplus` return "Buzz"
fizzbuzz = zipWith mplus fizz buzz
main = print $ zipWith mor fizzbuzz $ map show [1..100]
listモナドの和を論理和(つまりMaybeモナドの和)、数値和の二通りに見ることで数値和で作ったfizzbuzzのパターンと数字のパターンを論理和で合成する・・・と
Listを信号としてみれば、もろor回路による信号の合成だよな。始まる場所が変わることに対してはdrop等で開始位置をずらしてつまり信号のdelay回路か
SignalArrowを使った抽象化でもいけそうに見えるな
それはさておき垂直合成、つまりモナド変換子を使うのはどうなるんだろうか
FizzT (FuzzT Identity Int) [String]みたいな型になればそれっぽいんだけど
201(3): 2011/10/21(金)12:37 AAS
>>194
で、いざHaskellでEnumeratorとモナド使ったfor記法が定義されたら
嬉々として使うんだろ？
202: 2011/10/21(金)12:43 AAS
>>201
いらないよ。ループ系ですらほとんど使わないのに。
203: 2011/10/21(金)12:50 AAS
>>201
それってfoldlとどう違うの？
204: 2011/10/21(金)14:40 AAS
>>201
そんな書き込みして何が楽しいの？
205: 2011/10/21(金)17:53 AAS
>>189
思考が言語を作ったが
今や言語が思考を制限するのですね
206: 2011/10/21(金)18:00 AAS
自然言語では当たり前の話だが、言語＝思考なんだよ。
207: 2011/10/21(金)18:07 AAS
自然言語ですら異論ありまくりだよ
208: 2011/10/21(金)18:27 AAS
たとえばMatzあたりがよく引き合いに出すが、そんなに支持されてる仮説じゃない
あと、エキスパートの思考は言語化できないことが多い
209: 2011/10/21(金)19:45 AAS
エスパーの思考に見えた
210(1): 2011/10/21(金)21:08 AAS
明日筑波でHaskellな話してくるよ！
211: 2011/10/21(金)21:33 AAS
まだハスプラ更新されない
毎回のように延期するんならもうちょっと余裕を持ってスケジュール宣言しとけよ
212: 2011/10/21(金)21:47 AAS
ドラクエみたいなモンだよ
スケジュール通りに発売されたドラクエなんて、逆に心配だろ？
213: 2011/10/21(金)22:00 AAS
確かに長々と書いたC++のコードが一発でコンパイル通った時くらい眉唾だな
214(1): 2011/10/21(金)22:25 AAS
>>198
URLぷりーず。
ピアソン?
215: 2011/10/21(金)23:43 AAS
>>210
Matz王国へ乗り込むんだな。
216: 2011/10/21(金)23:54 AAS
>>214
つ外部ﾘﾝｸ[asp]:www.pearsoned.co.uk
217: 2011/10/22(土)16:35 AAS
Winでgtk2hs使えるようにするのって大変っぽい？
linuxだとcabalをapt-getで入れて、gtk-buildingToolsをcabalで入れれば良いだけみたいなんだけど、Winのgtk2hsインストール手順が別になってて複雑っぽい。。。
218(3): 2011/10/22(土)16:47 AAS
最新の Haskell Platform を入れているのなら、以下の手順でインストールできる
1. 外部ﾘﾝｸ[php]:www.gtk.org へ行き、
All-in-one bundles のバージョン 2.16 をダウンロード（2.22 ではダメ）
2. All-in-one bundles を展開してホワイトスペースが無いパスに置き、
All-in-one bundles の \bin ディレクトリへのパスを環境変数 %PATH% に追加する
3. GHC インストールフォルダ内の mingw/bin ディレクトリへのパスも
環境変数 %PATH% に追加する
4. cabal install gtk2hs-buildtools
次いで cabal install gtk
最新の Haskell Platform にある GHC のバージョンより
高いバージョンの GHC を入れていたり、別の環境だったりした場合、
どうするかは知らん
219: 2011/10/22(土)17:18 AAS
>>218
ありがとう
やってみます
220(1): 2011/10/22(土)17:20 AAS
filter 関数とか、いいかげん型クラスの関数にして、
ライブラリの構造を整理してほしいな
221: 2011/10/22(土)17:54 AAS
>>218
失敗したみたいなんですが、cドライブ直下だとダメとか、ありますでしょうか？
222(1): 2011/10/22(土)18:02 AAS
今更気付きましたが、Win7のx64環境です
だからダメと言う事は在るのでしょうか？
ghcにあわせてwin32版を落として設定して失敗してます
上下前次1-新書関写板覧索設栞歴
あと 756 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.017s