Re: リストの途中まで処理したい場合 - 管理人(deko_pon) 

2009/03/09 (Mon) 23:00:13

例外の箇所へのコメントありがとうございます。
私は正格評価好き派で
ほとんどSeqを使ったことがないので上記コードの理解するのに結構時間かかってしまいました

とりあえず思ったのは
「回数が定まっているループを途中で抜けたい」っていう欲求が
Lazyな世界ではそこまでないというか
勝手に必要なとこだけ計算されるし
「必要なところまでループする」って感じですね。
breakやらを必要としない理由が何となくですが納得出来ました。

whileにyieldが出てくる構文なんて知らないぞ、と思って調べたら
Sequence Expressionっていうやつなんですね、これは知らなかった
　・参考
http://blogs.msdn.com/dsyme/archive/2007/09/22/some-details-on-f-computation-expressions-aka-monadic-or-workflow-syntax.aspx
そもそもyieldはあまり理解してなかったんですが
これっていわゆるコルーチンですよね。
schemeのambみたいなのも頑張ったら書けるのかな

ところで、このBBSは勝手にソースコードをfold_leftしてしまう><ので
頂いたコードを少し整理して#light "off"で書き直してみました。
let take_find p (inp: seq<_>) =
seq {use e = inp.GetEnumerator() in
while e.MoveNext() && (p e.Current) do
yield e.Current;
done;
yield e.Current
} in
[1;2;0;4;5]
|> take_find ((<>)0)
|> print_any;;

最後に、このケースなら、こんな感じでお茶を濁してしまうかも
　let take_till p a lst = Seq.append (Seq.take_while p lst) [a];;
　take_till ((<>)0) 0 [1;2;0;4;5];;

Re: リストの途中まで処理したい場合 - いげ太

2009/03/12 (Thu) 10:56:53

僕の版の take_find と、deko_pon さんの版の take_find とで、以下のケースについてテストしてみるとおもしろいですよ。

-- 空のリストを渡した場合
-- すべてのリスト要素が条件に合致“しない”場合（deko_pon さん版のは条件式が逆になるので、「合致“する”場合」と言うべきかな）
-- print などの副作用を含むリストを渡した場合

僕は Seq.take_while のライブラリ ソースをもとに take_find を作ったのですが、なぜそういうコードになっているのか、このテストを行うことで理解できると思います。

Re: リストの途中まで処理したい場合 - 管理人(deko_pon) 

2009/03/13 (Fri) 00:09:58

テストしてみましたが、
自分が作ったやつは空リストが返ってくる時はエラーが出てしまいますね

Unchecked.defaultofがわからなかったので調べてみたところ
　・C#の世界では、参照にはnullが代入可
　・F#の世界では、そうなっていない箇所もある(リスト、タプルなど)
　→この違いを吸収するもの
　参考
　http://blogs.msdn.com/dsyme/archive/2008/05/02/full-release-notes-for-f-1-9-4.aspx
自分はこんな所まで考えたことが無かったのですが
それが上記コードの違いになったみたいです。難しい・・

テストケース
(自分が作った方はtake_find2に改名)
take_find ((<>)0) [] |> print_any;;
seq []
take_find2 ((=)0) [] |> print_any;;
Error: Enumeration already finished.

take_find ((<>)0) [0;0;0] |> print_any;;
seq [0; 0; 0]
take_find2 ((=)0) [0;0;0] |> print_any;;
Error: Enumeration already finished.

副作用
take_find ((=)0) [1;2;3;(printfn "%d" 4;4);5;(printfn "%d" 6;6);7] |> print_any;;
let g:unit->int=let a = ref 10 in fun b -> a:=!a-1;printfn "%d" !a;!a;;
take_find ((=)0) [g();g();g();0;g()] |> print_any;;

Re: リストの途中まで処理したい場合 - いげ太

2009/03/13 (Fri) 10:46:46

> print などの副作用を含むリストを渡した場合
あーっと、すいません。ここはリスト（list）じゃなくてシークエンス（seq）と言わないといけないところでした。

let xs = seq { for n in 0..9 -> printf "%d " n; n };;
take_find ((=) 3) xs;;
// 0 1 2 3 val it : seq<int> = seq [0; 1; 2; 3]
take_find2 ((<>) 3) xs;;
// 0 0 1 1 2 2 3 3 val it : seq<int> = seq [0; 1; 2; 3]


> Unchecked.defaultof
C# でいうところの default キーワードですね。その名の通りですが、型パラメタとして指定された型のゼロ初期化値を返すものですね。

（ご参考）
http://msdn.microsoft.com/ja-jp/library/xwth0h0d(VS.80).aspx
http://lorgonblog.spaces.live.com/Blog/cns!701679AD17B6D310!725.entry

Re: リストの途中まで処理したい場合 - 管理人(deko_pon) 

2009/03/14 (Sat) 11:15:32

>C#でいうところのdefaultキーワード
あっ、C#だって参照型ばかりじゃないですもんね。なるほど。

シーケンスの動作のほうは、何故こうなるかやっと理解出来ました。
自分の作ったほうでは、e.Currentが2回評価されてしまうからですね。
リストを渡した場合は、
リスト->シーケンスへの変換の段階(がきっとあって)で
副作用が終わるため、同じ結果に見えてしまっていたと。
これは、自分には盲点でした。
副作用のある式の評価って怖いですね・・

Re: 「例外」について - 管理人(deko_pon) 

2009/02/19 (Thu) 22:34:44

おわ、ApplicationExceptionクラスの箇所に確かに書いてますね、やってしまった・・ご指摘感謝です。
これ、.Net2.0からってことは・・.Netのプログラム経験があまりないのがばれてしまいます(笑
また、記事については後日修正したいと思います。

それと、例外の使い方については、少なくとももう一つは書く予定でいて、そのうちの一つはProgramming in OCamlに載っていたちょっと例外っぽくない使い方についてです。(忘れっぽいのでもう忘れたのですが・・また調べる予定)

failwithf
ご紹介、ありがとうございます。
実は、記事を書く際に調べたのでこれの存在は知っていた(Expert F# p85)のですが、例外の記事の量が結構多くなってしまっていたのと、入門レベルのサイトということでとりあえず2個だけに絞って載せました。
こういうのって悩ましくて、記事全体の量が増えれば重要な所は相対的に量が少なくなるので・・。
他にもraise End_of_fileなどいくつか載ってたので、Appendixに分離してみようかなと思います。

ところで、お世話になっているので、もしよろしければ、いげ太さんのブログへリンク張っても良いでしょうか？

Re: 「例外」について - いげ太

2009/02/20 (Fri) 21:36:26

> failwithf
なるほど。あえて書かなかったと。網羅的に書くのはリファレンスの役目で、入門サイトとしては取捨選択して提示することが肝要、ですね。

> ブログへリンク
どうぞです。リンクフリーですー。

Re: 「例外」について - 管理人(deko_pon) 

2009/02/22 (Sun) 20:14:33

ありがとうございます。
先ほど修正&リンクさせて頂きました。
今後ともよろしくお願いします。

Re: こんにちは - 管理人(deko_pon) 

2009/02/17 (Tue) 01:15:58

net-kさん、はじめまして。

すみません、今さきほど書き込みに気づいて、お返事が遅くなりました。

お褒めいただきありがとうございます。ホームページにきてもらって、しかもこうして反響があると作った自分としては嬉しい限りです。
ほんと、ちょっとずつ作っていた甲斐がありました（＾＾）

情報の分類については、今になって見直してみると、直したいところが色々あるのですが(特に前半あたり)、今の基本的な方向としてはとりあえず追加&文法事項の網羅を目指しています。

>機会がありましたら、F#関連のことで交流させていただきたいです。　よろしくお願いします
こちらこそ、是非よろしくお願いします。

Re: はじめまして - 管理人(deko_pon)

2009/02/07 (Sat) 19:10:34

いげ太さん、はじめまして。

記事についてのご指摘ありがとうございます。
elifについてですが、この構文初めて知りました。
BBSとあわせて、該当記事は後ほど修正したいと思います。

構文定義を確認したところ、1.9.4と1.9.6で変更されているみたいですね
1.9.4
expr :=
| if expr then expr else expr -- conditional
| if expr then expr -- conditional statement
1.9.6
expr :=
| if expr then expr [elif expr then expr]* [else expr] -- conditional expression

ただ、アンインストールしてしまったので確認してないのですが
バージョン1.9.4でもlexyacc.htmlにはサンプルがのっているので
おそらく昔からelifはあったのだろうと推測します。


ところで、F#のブログ書かれているいげ太さんですよね？
毎回新しい発見があって、文も楽しいので
よく記事を読ませてもらってます。
こうして利用してもらえるととても作った甲斐があります。
マイペースなサイトですが、よろしくお願いいたします。

Re: はじめまして - いげ太 

2009/02/09 (Mon) 00:41:24

「F# の」というわけでもないのですが、最近はほぼそればっかりですね、僕のブログ。いっぺんにいろいろやる器用さがないというか（＾＾；

いきなりのお願いにも迅速にご対応いただき、ありがとうございます。またちょくちょくのぞかせてもらいますので、その節はよろしくです。応援してます！