08/11/02 02:53:01
nilは空のリスト。
nullはListストラクチャーの、リストを受け取りnilかどうかをboolで返す関数。
603:デフォルトの名無しさん
08/11/02 03:21:30
nullp
604:デフォルトの名無しさん
08/11/02 03:35:53
>>599
ウケ狙いなら、残念。もう一ひねりホシイ。
605:デフォルトの名無しさん
08/11/02 07:43:26
ウケ狙いならって･･･
他に何があるというのか小１時間(ry
606:デフォルトの名無しさん
08/11/04 06:30:51
独学でＳＭＬの本を使いながら関数言語を学んでいるのですが、上手くできない問題があり困っています。
replicate(4);
と打つと、
val it = [1,2,2,3,3,3,4,4,4,4] : int list
といった感じに１を一つ，２を二つ、３を三つ、４を四つといったリストを
出力されるＳＭＬのリカーシブメソッドを書きたいのですが、上手く行きません。分かる方教えていただけると助かります。
607:デフォルトの名無しさん
08/11/04 07:09:08
うまくいかなかったやつを載せてみてよ。
608:デフォルトの名無しさん
08/11/04 08:14:40
>>606
リカーシブメソッドっていうのが何を差してるのか分からないけど、
入力: 自然数n
出力: 要素が全てnで長さnのリスト
とするサブ関数使えばいいんじゃない？
609:デフォルトの名無しさん
08/11/04 08:21:09
n
[1,2,3,...,n]
[1,22,333,...,n,n,n,n,]
の二行目から三行目で>>608使えばいいな。
610:デフォルトの名無しさん
08/11/04 09:16:29
recursive
再帰だな。
611:608
08/11/04 09:29:59
とりあえず作ってみた。
>>609のやりかたとは違います。
↓にあっぷしてみたので、ご参考までに。
URLﾘﾝｸ(www2.uploda.org)
(パスは sml です)
入力は自然数(0以上)を仮定しています。
612:デフォルトの名無しさん
08/11/04 12:47:57
あー、答えちゃったの？どう読んでも宿題なんだから、自分で考えさせてあげなきゃ。
613:608
08/11/04 18:17:23
>>612
やっぱそうだよねぇ。
「独学で」なんて書いてるから、
にっちもさっちも行かなくなったと思っちゃったんだよね。
やっぱ、寝ないとだめだな。
614:デフォルトの名無しさん
08/11/04 23:34:42
>>612>>613
良く寝て頭を休めろ。
615:デフォルトの名無しさん
08/11/05 00:11:55
SMLならメソッドじゃなくてファンクションだろ、とどうでもいい突っ込み。
再帰関数はn-1番目からn番目を導出する定義をそのまま書くのがコツ。
もう>>606は見てないだろうけど。
616:デフォルトの名無しさん
08/11/05 00:43:05
宿題でも独学でもどっちでもいいのでは。
617:デフォルトの名無しさん
08/11/05 00:55:48
URLﾘﾝｸ(xy.yu.to)
始終荒れまくりの海外サーバ絵チャだ
一人の神プログラマーが強すぎてマクロ荒しが全く太刀打ちできてない。
荒しプログラマーは全員退散！！
誰か倒してくれｗｗｗｗｗｗ
618:デフォルトの名無しさん
08/11/05 01:15:09
>>611
わざわざお答え頂ありがとうございます。
一応こちらもパターンマッチングでない、if - elseの方法で出来ました。ネストしたループのfunctionの前にletが抜けていただけでした。
参考になりました。
619:デフォルトの名無しさん
08/11/05 04:09:40
>>618
こういう課題は論理型の方がすっきりした定義になるね。
620:デフォルトの名無しさん
08/11/09 12:02:17
すんません教えてください。
(int -> int -> int) -> int
という関数の定義例が分かりません。
(int -> int) -> int -> int なら
たとえば
let func = fun f x -> (f 2) * x;;
でいいことが分かるのですが、
(int -> int -> int) -> int
だとわからなくなります。
『二つのintを引数とし、intを返す関数』を一つの引数としてとり
intを返す関数というふうに理解してます。
コードはどのように考えればよいんでしょうか？
621:デフォルトの名無しさん
08/11/09 12:48:12
なんでもいいけど
let func f = (f 1 2) + 3;;
622:デフォルトの名無しさん
08/11/09 14:05:34
>>621
ありがとうございます。
理解しました。