商品サイズ(高さx奥行x幅):188mm×67mm×83mm カロリー:180kcal 原材料:梅ぼし果肉(和歌山産)、漬けしそ葉 内容量:24粒×10個 しそ葉入り梅干果肉100%をそのままフリーズドライタブレットにしました。
Listのappend (xs @ ys) はxsの各要素を :: で ys に追加していくので、ysの長さと関係なく、xs の長さに比例した時間がかかります。(なお :: は引数に関係なく定数時間で処理が終了します。) ですから、 y :: xs は :: 一回の操作ですみますが、 xs @ [y] は xs の長さに比例した時間がかかります。これが xs @ [y] という式を書いてはいけないといわれる理由です。 ですが、 [1; 2; 3;] @ [4];; というコードが単体である場合は、それ以外にリストの最後に要素を追加する合法(違法な方法があります。後述)な手はありませんから、それで構わないです。 xs @ [y] は避けよと言われるのはライブラリ関数や再帰関数中などで、 xs の長さがいくらでも長くなる可能性がある場合です。たとえば: let rec wrong_append
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く