【数学者】Haskellはクソ言語【オナニー】

【数学者】Haskellは� ..

369:初心者A
06/10/24 23:03:51
モジュール・・・機能単位、交換可能な構成部分という意味の英単語(e-wordより)

なるほど。Javaでいうところのクラスみたいな感じか
import文もJavaといっしょだな
モジュール　≒　Javaのパッケージ
定義　　　　　≒　Javaのクラス
関数　　　　　＝　Javaのメソッド

ここで疑問点が発生
下のような2行だけ書いたファイルでもOKのはずだけど
これはなんで module とか where　とか定義名がいらないの？

foo x y = x + y
hoge = 2

370:デフォルトの名無しさん
06/10/24 23:09:22
>>369
>これはなんで module とか where　とか定義名がいらないの？
module ... whereの部分は省略することができて、その場合
module Main(main) where
と書かれているとみなされる。
(main)という括弧書きは、モジュール中の定義のうち、mainだけを外部に公開する、
という意味。括弧書きがないときは、全ての定義が公開される。

371:デフォルトの名無しさん
06/10/24 23:25:53
デフォルトではprivate(不可視)にしてるということか

次2行目
qsort _ [] = []

これは qsort が定義名でいいのかな
_(アンダースコア) は変数名っぽいけどそんなわけないよな
そして、　[ ] （配列)　＝　[ ] (配列)　

？？？
わからない

372:デフォルトの名無しさん
06/10/24 23:39:37
>>371
[]は空リスト。
_は厳密には変数名じゃないけど、そう考えても大して問題はない。
この行では、_がqsortの第一引数、[]が第二引数になっている。

qsort _ [] = []

は、qsortの第二引数が空リストのとき、第一引数に関係なく、結果は空リストである、と読む。
ここで定義しようとしているqsortは、第一引数として比較関数、第二引数としてリストを取り、
ソートされたリストを返す関数だから、この行は、「空リストをどんな比較関数を使ってソートしても結果は空リスト」と
言っていることになる。

373:デフォルトの名無しさん
06/10/25 00:04:32
比較関数っていうのがよくわかんない
Webで探したらこんな文章発見

>でも比較関数って何？って思いますよね。
>比較関数とは2つの引数を持ち、
>引数1が引数2より小さい場合は負の整数、
>同じ場合は0、
>引数1が引数2より大きい場合は正の整数を返します。

うーん・・・
　_　(アンダースコア)がどういう役割なのかな、この場合 _(アンダースコア)以外はダメ？

例えば -(ハイフン)とか、ふつうのアルファベットとか

374:デフォルトの名無しさん
06/10/25 00:20:58
>>373
>比較関数っていうのがよくわかんない
ここでは、引数を二つとって、第一引数が第二引数より「小さい」ときのみTrue、
そうでなければFalseを返す関数の事。
普通の意味での大小関係にしたがってTrue/Falseを返す関数を比較関数として与えれば
qsortは昇順のソートをするし、逆に数値が大きいほど「小さい」と判断する
関数を与えればqsortは降順のソートをする。さらに、例えば引数の絶対値を比べる関数を
渡せば、絶対値が小さい順にソートすることができる。

>　_　(アンダースコア)がどういう役割なのかな、この場合 _(アンダースコア)以外はダメ？
仮引数の名前なので、アルファベットからなる名前を好きにつけても良い。

qsort comparer [] = []

とか。ハイフンは演算子とみなされるのでだめ。

375:デフォルトの名無しさん
06/10/25 02:19:46
お札もえいないのか

376:デフォルトの名無しさん
06/10/25 10:17:13
お礼を期待して2chで書くのは不毛な行為だとｵﾓﾀ。

377:デフォルトの名無しさん
06/10/25 12:05:22
>>375
「お札萌え居ないのか」？
巫女萌えならここに居るが何か。

378:初心者A
06/10/26 02:47:04
昨日はねちゃってたよ
サンクス

また明日とかよろ

379:デフォルトの名無しさん
06/10/26 02:59:00
おれい？

380: ◆XbPqxIJuLU
06/12/02 02:04:39

　　　　　　　 ∩＿＿＿∩
　　　　　　　 | ノ|||,,.ノヽ､,,ヽ
　　　　　　　/　　●　　　● |　　このスレは俺がもらうクマ
　　　　　　 |　　　　( _●_)　ミ　　以後、「AAでHaskellのお勉強」クマ
　　　　　　彡､　,､､|∪|　,,,ノ　　　
　　　　　　/　　　.　ヽノ　ヽ
　　　　　　|　　＿r'ﾟlﾆﾆﾆl]_ _＿＿＿/l　　　
fﾆﾆﾆﾆllﾆﾆ|　＼[ l===ﾆﾆl]}||||||||ll]}ｺl|====iﾆｺ
|l_,,=-'''~　 | ＼...　ヽ'''ニ「_,,,l⌒l｡__｡_]三i三三iＦ
　　　　　　|　〈,,/ヽ__＿）|ll [`ー'

381:デフォルトの名無しさん
06/12/02 02:06:38

　　　　　 ∩∩ ;　とりあえずHelloWorld書いてみるクマ
　　　　　 ;|ノ||`　　　　　　┬-∥
　　　_＿,/●●|　__　　　 | |　∥
　　　|　; |`(_●)/　ミ　　 . Ｙ　∥
　　　|　.彡|∪||､ , .|　　　 |　 ∥
　　/:~￣￣￣￣:/.|　　　　|　 ∥
　 ,|:::::.　　　.......::/>>　　　 /　 ∥
　/.:::::　　.. ...::::::|'(/＼＿／　　∥
../:.:::　　　 .. :.:::/.:/　　　　　／∥＼
/.:::.　　 ....:::..:::/.:/
'￣￣￣￣￣ _/
|_|￣￣￣￣|_|

382:デフォルトの名無しさん
06/12/02 02:09:08

main = putStrLn "Hello, World!"

　　 ∩＿＿＿∩
　　 | ノ　　　　　ヽ
　　/　　●　　　● |　　　こうですか！？わかりません！
　 |　　　　( _●_)　ミ
　彡､　　　|∪|　　､｀＼
/　＿＿　ヽノ　/´>　 )
(＿＿＿）　　　/　(_／
　|　　　　　　 /
　|　　／＼　＼
　|　/　　　 )　 )
　∪　　　（　＼
　　　　　　＼＿)

383:デフォルトの名無しさん
06/12/02 02:10:28

　　できてんじゃねーかよ！
　　　　.,. -─-､　　　　＿＿
　　／. : : : : : : : : :＼　〈〈〈〈　ヽ
　 /.┛┗: : : : : : : : : :ヽ〈⊃　　ﾉ
.　!.::┓┏,-…-…-ミ: ::',　|　　 |　　　　　　　∩＿＿＿∩
　{::: : : : :i '⌒'　 '⌒'i: : ::}ノ　　 !　　　　　　　| ノ --‐'　､_＼
　{:: : : : : |　ｪｪ　ｪｪ |: : :}　　/　　　、　　　/　,_;:;:;ノ､　　● |
.　{ : : : : :|　　　,.　　 |:: :;!　／　, 　　，,･_　 |　　　　( _●_)　ミ
.　ヾ: : :: :i　r‐-ﾆ-┐| ::ﾉ／　　　, ’,∴ ･　¨彡､　　　|∪|　　ミ
　　　ゞイ!　ヽ二ﾞノｲゞ　　　　　､･∵ ’　　／　　　　ヽノ￣ヽ
　　/　＿ `　ｰ一'´￣/　　　　　　　　　／　　　　　　　／＼〉
　　(＿＿＿）　　　　/　　　　　　　　　 /　　　　　　　 /

384:デフォルトの名無しさん
06/12/02 02:25:44
　
　　　　　　　　,.．-─- ､
　　　　　　　／. : : : : : : : : : ＼　　　　　Haskellはmainアクションからはじまるようになっている
　　　　　　　/.: : : : : : : : : : : : : : ヽ
　　　　　　 .,!::: : : :,-…-…-ミ: : : : :', 　　　　決まりごとだから深く考えちゃダメさ
　　　　　　 {:: : : : :i '⌒'　 '⌒' i: : : : :}　　　　　
　　　　　　 {:: : : : |　ｪｪ　ｪｪ　|: : : : :} 　　　　　そうそう、Haskellは大文字と小文字を区別するよ
　　　　　. 　 { : : : :|　　　,.、　 |:: : : :;!　　　　　　
　　　　　　　.ヾ: :: :i　r‐-ﾆ-┐ | : : :ﾉ　　　　　　MainでもMAINでもない、mainじゃないといけない
　　　　　　　　　ゞイ! ヽ二ﾞノｲゞ‐′
　　　　,.､-　￣/ 　入.` ｰ一'´ |` ┬-､　　　　　　クマくん　わかるかい？
　　 /　ヽ.　/ 　　ト-` ､ノ- |　 l　　l　ヽ.
　　/　　　 ∨ 　　　l 　　|!　 | 　｀>　|　　i
　 /　　　　 |｀二^>　ｌ.　　|　 |　＜＿_,|　　|
＿|　　　　 |.|-<　　　＼ i　/　,イ_＿__!／＼
　 .|　　　　　{.|　 ` - ､ ,.---ｧ^!　| 　　 |￣￣￣￣￣￣￣￣￣￣￣l
＿_{ 　　＿__|└―ｰ／　￣´ |ヽ |＿__ﾉ＿＿＿＿＿＿＿＿＿＿＿_|
　　｝／ -=　ヽ__ - 'ヽ　 -‐　,r'ﾞ　　　l　　　　　　　　　　　　　　　　　 |
＿_fﾞ/／￣￣　　　　　＿　-'　　　　 |＿＿＿＿＿ ,. - ￣　＼＿＿__|
　　| |　　- ￣　　　／　　　| 　　 _　|￣￣￣￣／　　　　　　＼　￣|
＿__`＼＿＿　／　　　　＿l -￣　 l＿＿_　／　　　, /　　　　ヽi＿__.|
￣￣￣　　　 |　　　 _ 二 =〒￣　｝￣／　　　　　l |　　　　　　!￣￣|
＿＿＿＿＿__l　　　　　　 -ヾ￣　　l／　　　　　　l|　　　　　 |＿＿_|

385:デフォルトの名無しさん
06/12/02 02:30:34

　　　　　　　　　　　　　　　　　　　　　　＿／-　イ､_
　　簡単クマ　　＿＿　　　　　　　／: : : : : : : : : : : (
　　　　　　　　　〈〈〈〈　ヽ　　　　　/: : : : ::;:;: ;: ;:;: ; : : : ::ゝ
　　　　　　　　　　〈⊃　　}　　　　　{:: : : :ノ　--‐'　､_＼: : ::｝
　　 ∩＿＿＿∩　 |　　 |　　　　　 {:: : :ノ ,_;:;:;ノ､ェｪヾ: :::}　　
　　 | ノ　　　　　ヽ !　　 !　　　、　　ｌ: :ﾉ　／二―-､　|: ::ﾉ
　　/　　●　　　● |　　/　　　，,･_　　|　/／　￣7/ /::ノ
　 |　　　　( _●_)　ミ／　, ’,∴ ･　¨　〉(_二─-┘{／
　彡､　　　|∪|　　／　　､･∵ ’　　／､／/|　￣￣ヽ
/　＿＿　ヽノ　/　　　　　　　　／　　 //　|／／＼〉
(＿＿＿）　　　/　　　　　　　　/　　　 //　　 /＼／

386:デフォルトの名無しさん
06/12/02 02:32:43
　
　　　　　　　　　　　　　　　　　　　　　　　＿／-　イ､_
　　　 ∩＿＿＿∩　　　あぁたたたたたたたたたたたた　／: : : : : : : : : : : (
　　　 | ノ　　　　　ヽ　　　　　　　　　　　　　　　/: : : : ::;:;: ;: ;:;: ; : : : ::ゝ
　　　/　　　　●　　 |　　　　　r‐っ'つ　　_,rﾉ´)　　　　　{:: : : :ノ　--‐'　､_＼: : ::｝
　　　|　　　　　　( _●)　ｰﾆ三､_,Ｅﾉ‐＿r'　　　　　　　　　{:: : :ノ ,_;:;:;ノ､ェｪヾ: :::}
　　彡、　　　　　|∪||　　 r'´)　￣-一ーt_j'´　　　　　、　　　ｌ: :ﾉ　／二―-､　|: ::ﾉ
　　　　ゝ　　　　ヽノ　_三　 'ー'´)　　＿,∩　　　　，,･_　　 |　/／　￣7/ /::ノ
　　　/　　ー-－ニ￣‐ヽ　￣,_)' 一(´,__)　｀! , ’,∴ ･　 ¨　〉(_二─-┘{／
　　　　　　　　　　一 - ―ﾞゝ_,.)　　ニ(__,.)-''l-‐､･∵ ’　　　／､／/|　￣￣ヽ
　　　　　　　　　　　　　　　　　一‐--(＿)　ﾉ`　　　　　　　／　　 //　|／／＼〉
　　　　　　　　　　　　　　　　　　　　　 (__)'　　　　　　　 /　　　 //　　 /＼／
　　　putStrLnってなんだクマ？

387:デフォルトの名無しさん
06/12/02 02:34:04

　　　　　　関数名だボケ！！

　　　　　　 ,.．||-ノ─ソ彡〈〈〈〈　ヽ
　　　　　＆. : : : : : : : : : ミ〈⊃　　}
　　　ミ.: : : : : : : : : : : : : :　 |　　 |
　　　,!::: : : :,-…-…-ミ: : : :|　　 |　　　　　　　 ∩＿＿＿∩
　　三 : : : :i ;;;/:'　 '⌒' i: : : |　　 |　　　　　　　 | ノ --‐'　､_＼　
　　 .{:: : : : |:::+;;;　　ｪｪ .|: : : : ﾆ　! 　，,･,_　　/　,_;:;:;ノ､　　● |
　　 { : : : :|ヾ　　,.、　 |:: : : :; !　/　’,∴ ･　¨ |　　　　( _●_)　ミ
　／ヾ: :: :i　r‐- ┃┐.| : : :ﾉ／､･∵ ’　　　彡､　　　|∪|　　ミ
/ ＿＿ゞイ!ヽ┃ﾆﾞノｲゞ‐ 　　　　　　　　　　／　　　　ヽノ￣ヽ
(＿＿＿）　　　　／｀'　　　　　　　　　　　／　　　　　　　／＼〉

388:デフォルトの名無しさん
06/12/02 02:35:05

　　　　　　　　　　　　　.,.．-─- ､
　　　　　　　　　　r '´. : : : : : : : : : :ヽ
　　　　　　　　　/.: : : : : : : : : : : : : :: ヽ
　　　　　　　　　,!::: : : : : ,-…-…-ミ:: : :',
　　　　　　　　　{:: : : : : :i　 ,;ノ;´:`ゞ､i: : :.:}　　もともと用意されてんだよ～っ！！
　　　　　　　　　{:: : : : : :|　ｪｪ;;;;;;;ｪｪ|: : : }　
　　　　　　　　　{ : : : : ::|　　　　,.、 .| : : :;!∫　
　　　　　　　　　ヾ: :: : :i 　 r‐-ﾆ┐| : riii=　
　　　　　　　　　　　ゞイ! 　ヽ二ﾞノｲ｢　ﾉ　
　　　　　　　　　　（⌒　ー￣￣´ ｒ⌒　!　〉
　　　　　　　　　　ヽ弋ﾊﾟﾗｯﾊﾟｯﾊﾟ` ｰ'
　　　　　　　　　　　〔勿＼　　　　　ヽ　　　　　　　　ﾍﾞｷ
　　　　　　　　　　　　　　）　ｒ⌒丶）　　ﾍﾞｷ
　　　　　ﾄﾞｶ　　　ﾄﾞｶ　　／　　 !　　　|' ∩＿＿∩ 　　ﾎﾞｷ
　　　　　　　ﾄﾞｶ　　　／　　／|　　l| ノ --‐'　､_＼
　　　　　　　　　　（　　く　　! ~l　/　,_;:;:;ノ､　　●|　
　　　　　　ﾄﾞｶ　＼　　i 　 | ∥彡　　　　( _●_)　ミ
　　　　　　　　　　　　,__>　ヽヽ从/　彡　､　　|∪|　　ミ
　　　　　　　　　　　　⊂　＿ ⌒ヽ从　　⊃ 　ヽノ￣⊃

389:デフォルトの名無しさん
06/12/02 02:43:42
;;;;;;;;;;;;;;;;;;;;;（:::::::::::::::::::::::::::::::　　 ,...ヾ ;;＼::　　　　　　　　　::l;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;／
;;;;;;;;;;;;;;;;;;;;;;;;;ー-..::::ミミﾐ､ヾ　　( );;) ヾ;;ヽ､　　　　　　　　 :i;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:/／
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;=-ﾞ-｀:::::::ミミ＼　ﾞﾟ''"　i::ヽ;;i　　::　　　　　　|;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:l　／
;;;;;;;;;;;;;;;;;;;;;;;／:::::::　　　 :::::::.ﾐ::.'ヽ.........::::::::.､'_ノ　　　　　　　　l;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:i　／
;;;;;;;;;;;;;;;;;,ノ:::::::::::. 　　　　　　　　　　　　:::.｀　 , 二;ﾆ= ､　　ﾉ;:;:;:;:;:;:;:;:;:;:;:;:;:;:;:ﾉ　／
;;;;;;ー-'',:::::::::::::::　　　　　　　　　　　　　:::　 '　,rｪヽ｀　ヽ /;:;:;:;:;:;:;:;:;:;:;:;:;:／／　／
;;;;;;;;;;;;／"::::::::::　　　　　　　　　　　　　　＿i　ヽﾟﾝ i｀　／;:;:;:;:;:;:;:;:;:;:;:;:;:ノ　／　／
ー'￣:::::::::::::::::　　　　　＿＿＿＿　　　 /:;:;:ヽー　　／;:;:;:;:;:;:;:;:;:;:;:;:;:／／　／　／
:::/:::::::::::::::::::::　　　　／;:;:;;:;:;:;:;:;:;:;:;:;:ヽ､　:;ー:ノﾐ; ::. /;:;:;:;:;:;:;:ー"￣　／　／　／　／
:/::::::::::::::::::::::::　　／;:;:;／:::::::::::＼　＼;ヽ/￣　　 : /;:;:;:;:;／"／　／　／　／　／　／
:::::::::::::::;;::::::::::::　 |:;:;:;:;:l￣＼:::::::::::＼　）;:ヽ　　　 /;:;:;:;:;:;l／　／　／　　|＼／＼/ヽ∧
::::::::::::::::::;;;::::::::.　＼:;:;ヽ　　ヽ:::::::::::::'/;:;:/　　 /;:;:;:;:;:;:丿／　／　＿／　ハ　　あ
::::::::::::::::::::;;;;::::::　　＼;:;＼　　|:::::::／;／　　 /;:;:;:.:_,- "　／　／＼　　　ス　　ら
::::::::::::::::::::::;;;;;;:::　　､. ＼;:;＼ l::／;／　　／￣／　／　／　　／　　　　ケ　い
:::::::::::::::::::::::::;;;;;;;;..／￣ー＼ ;:;:;:／　　／／　／　　／　／＜　　　　　ル　ぐ
::::::::::::::::::::::::::::;;／　　　　　　ﾞ''ー､_ ／　　／　／　／　／　/　　　　　　!!! 　　ま

390:デフォルトの名無しさん
06/12/02 02:46:09

　　　　　　　　　　　　　　　　　　　　　　　　＿／-　イ､_
　　　　　　　　　　　　　　,　　　　　　／: : : : : : : : : : : (
　　　意味わからんわｗ　　ﾟ +　`　　　 /: : : : ::;:;: ;: ;:;: ; : : : ::ゝ
　　　　　　　　　　　　’, ’,∴ ･　¨　{:: : : :　　: : ::;:;: ;: ;:;: ;: ::｝
　　 ∩＿＿＿∩　　　 ii　　’,∴ 　ｪェ ( : : : ::;:;: ;: ;:;: ; : ::::}　
　　 | 　　　　 : : ;: ヽ　 !　| | !　,･，,　 (_ｌ__＼（: ::;:;: ;ヽ: ; : ::ﾉ
　　/　　　　　　: : ;: |く^⌒!|｜　, ，,･_（＿ヽ;:;:）ヽ: ::;:;: ;:; ::ノ
　 |　　　　　　　: : ::;:ミ　::;:| !　　　∴ ･　¨C〉　(_二:;: ;::;:／
　彡､　　　　: : ::;:／⌒ ノ||!､ ’　　･∵　（､／/|　　　￣ヽ
/　/　　　　　　　: : ::;:／!!　　　　　　／　　　//　|／／＼〉
(_/　　　　: : ::;:/''￣　　　　　　　　 /　　　　//　　 /

391:デフォルトの名無しさん
06/12/02 02:50:48

　　　　　　　　　　　バカ専用　　　　　普通　　ハッカー　ウィザード
　　　　　　　　　　　　　┝　-　-　-　-　┿━━┿━━┥
　　 ∩＿＿＿∩　　　/)
　　 | ノ　　　　　ヽ　 ( i )))
　　/　　●　　　● | /　/
　 |　　　　( _●_)　 |ﾉ　/　　　今はここら辺クマーー！！
　彡､　　　|∪|　　　　,/
／　　　　ヽノ　　　/

392:デフォルトの名無しさん
06/12/02 02:52:26

　　　　　　　　　　　　　　　　　　 ∩─ｰ､
　　　　　　　　　　　　　　　　　／　●　､_ ｀ヽ
　　　　　　　　　　　　　　　　/　　(　●　 ● |つ
　　　　　　　　　　　　　　　　|　　／(入__ノ　ミ　そろそろモナドでもはじめるか・・・
　　　　　　　　　　　　　　　　､　(＿／　　　ノ
　　　　　　　　　　　　　　　　　＼＿＿＿ノﾞ
　　　　　　　　　　　　　　　　／丶'　⌒ヽ:::
　　　　　　　　　　　　　　　/ ヽ　　　 /　/:::
　　　　　　　　　　　　　　　/　/へヘ/　/:::
　　　　　　　　　　　　　　 /　＼ヾミ　 /|:::
　　　　　　　　　　　　　　（__／| ＼___ノ/:::
　　　　　　　　　　　　　　　　 /　　　　/:::
　　　　　　　　　　　　　　　 /　ｙ　　　）:::
　　　　　　　　　　　　　　　 / ／　　／:::
　　　　　　　　　　　　　　　／　　／::::
　　　　　　　　　　　　　／　　／:::::
　　　　　　　　　　　　　（　　く::::::::
　　　　　　　　　　　　　|＼　　ヽ:::::
　　　　　　　　　　　 |　 .|＼　＼　:::::
　　　　　　＼　　　 .|　 .i:::　＼　⌒i::
　　　　　　　　　＼　 |　/::::　　　ヽ〈::
　　　　　　　　＼ |　i::::::　　　（__ノ:
　　　　　　　　 __ノ　）:::::
　　　　　　　　（＿,,／＼

393:デフォルトの名無しさん
06/12/02 02:53:10
　　　　
　　　　　　まだはえーーよ！
　　　　　　　　.,.．-─- ､
　　　　　r '´. : : : : : : : : : :ヽ
　　　　/.: : : : : : : : : : : : : :: ヽ
　　　　,!::: : : : : ,-…-…-ミ:: : :',..　　＿
　　　　{:: : : : : :i　 ,;ノ;´:`ゞ､i: : :.:}　/　/　　＿____　
　　　　{:: : : : : :|　ｪｪ;;;;;;;ｪｪ|: : : } ./　/　　/// ＼＼　.／＼　∩＿＿＿∩
　　　　{ : : : : ::|　　　　,.、 .| : : :;!./　　＼　￣　　￣／.／　| ノ --‐'　､_＼
　　　　ヾ: :: : :i 　 r‐-ﾆ┐| : r /　/"＼.>　　　.__／.／　　/　,_;:;:ノ､　　● |
　　　　　　ゞイ! 　ヽ二ﾞノｲ /__/　　　　　　　<__／　　　 |　　　　( _●_)　ミ
　　　　／⌒　　｀ｰ―''´ヽ　　　　　　　　　　　　　＼＿ ~＼彡､　　　|∪|　　ミ
　　／　　　　　　　　　　　|　　　　　　　　／/　　　　＼＿／　　　　ヽノ　￣＼
　（　　　く"|　＿＿＿＿_|＿__＿,,___　/　　￣Z、　　　／,,,,,,,,　　　　　　／ヽ　>
　　＼　　ヽノ　_|||||_____.爪_|――ﾟ'ヽ　　　　　＞　　;;;'''''';;;';';;　　　／　<_／　
　ｒ'￣＼_　三〉))￣ ||||｀ｰ'　　　　　　　｀-、ゝ￣　　;;'''　　　　∴。・、
　）_＿／.￣￣　　　||||　　　　　　　　　　　＼　　　　'':;:;,,,;;;'''｀・ﾟ。；；

394:デフォルトの名無しさん
06/12/02 02:59:51

　　　　　　　　　　　　 -―￣￣｀ ―-- 　_　　　　　　　　
　　　　　　　　　　,　´ 　　　　　　　　,　　　~　￣､"ー､　
　　　　　　　　_／　　　　　　　　　　/　,r　　 _　　　ヽノ
　　　　　　 , ´　　　　　　　　　　　/　/　　　 ● 　　i"
　　　　,／　　 ,|　　　　　　　　 /　/ ＿i⌒ ｌ|　i　　|
　　　と,-‐ ´￣　　　　　　　　 /　/ （⊂ ● j'__　　|
　　(´＿＿　　　､　　　　　　　/　/ 　￣!,__,u● 　　| 　　モナドって言っただけで撃つことないじゃん
　　　　　￣￣｀ヾ＿　　　　　し　　　　u　l|　i　／ヽ､　ちょっと調子にのっただけなのに・・・
　　　　　　　　 ,＿　＼　　　　　　　　　　　ﾉ(`'＿＿ノ
　　　　　　　　(＿_ ￣~"　＿＿ , --‐一~⊂　　⊃＿
　　　　　　　　　　￣￣￣　　　　　　⊂￣　　　　＿＿⊃
　　　　　　　　　　　　　　　　　　　⊂＿＿＿＿＿⊃

395:デフォルトの名無しさん
06/12/02 03:11:55

|
|．-─-､
| : : : : : : : : ＼
|: : : : : : : : : : : ヽ　　　　次の問題は　length関数だ
|-…-…-ミ: : : : :',
| '⌒'　 '⌒' i: : : : :}　　　　length　[1, 2, 3, 4, 5, 6, 7]
|　ｪｪ　ｪｪ　|: : : : :}　　　　length　["abc", "AAA", "クマ"]
|　　　,.、　 |:: : : :;!　　　　length　[ ""]
|　r‐-ﾆ-┐| : : :ﾉ　　　　　length　"ヌケドナルド"
|! ヽ二ﾞノｲゞ‐′　　　　 length　"kuma"
| ` ｰ一'´丿＼
|　＼___／　　　/｀丶､
|　/~ﾄ､　　／　　　 l ＼

396:デフォルトの名無しさん
06/12/02 03:14:55

　　　　　　　　　　　,.．-─- ､
　　　　　　　　　　／. : : : : : : : : : ＼
　　　　　　　　　/.: : : : : : : : : : : : : : ヽ　　　　length関数は要素の数を返す！
　　　　　　　　　,!::: : : :,-…-…-ミ: : : : :', 　　　　関数の右にあるのが引数だ
　　　　　　　　　{:: : : : :i '⌒'　 '⌒' i: : : : :} 　　　　どんな値でも長さを調べられるぜ
　　　　　　　　　{:: : : : |　ｪｪ　ｪｪ　| : : : : :} 　　　　さぁ答えろ！　間違えたら殺す！！
　　　　　　　　　{ : : : :|　　　,.、　　.| :: : : :;!
＿∧ 　　　　　　　ヾ: :: :i　r‐-ﾆ-┐ | : : :ﾉ　　　　　　∧
(　　　＼　　　　　　　ゞイ! ヽ二ﾞノｲゞ‐ ′　　　　　／/~⌒ヽ
|( ● )|　i＼　　　　_,,ノ|　` ｰ一'´／/＼　　　　　／i　|( ● )|
＼＿ノ　^i | _,,..r''''" ﾉ　| ＼`', ／　/　　/￣`''ー | i＾　ゝ＿ノ
　|＿|,-''iつl/´　　ヽノ|　／＼　 /　、│　　　　ｌ⊂i''-,|＿|
　　[__|_|／〉ヽ、　　／　|/ ）;;;;/＼/　　 'く　　　　/〈＼|_|__］
　　　[ニニ〉　 ',　　ヽ. ｜ /⌒|　/　　　ﾟ／　　 / 〈二二］
　　　└―'　　　　　　　　　　　　　　　　　　　　　　 '─┘

397:デフォルトの名無しさん
06/12/02 03:18:17

　　　　　　　　　　　　　　　　　　 ∩─ｰ､
　　　　　　　　　　　　　　　　　／　●　､_ ｀ヽ
　　　　　　　　　　　　　　　　/　　(　●　 ● |つ
　　　　　　　　　　　　　　　　|　　／(入__ノ　ミ　上から・・・
　　　　　　　　　　　　　　　　､　(＿／　　　ノ
　　　　　　　　　　　　　　　　　＼＿＿＿ノﾞ　　　　7
　　　　　　　　　　　　　　　　／丶'　⌒ヽ::: 　　　　7
　　　　　　　　　　　　　　　/ ヽ　　　 /　/::: 　　　　0
　　　　　　　　　　　　　　　/　/へヘ/　/::: 　　　　1
　　　　　　　　　　　　　　 /　＼ヾミ　 /|::: 　　　　1
　　　　　　　　　　　　　　（__／| ＼___ノ/:::
　　　　　　　　　　　　　　　　 /　　　　/:::
　　　　　　　　　　　　　　　 /　ｙ　　　）:::
　　　　　　　　　　　　　　　 / ／　　／:::
　　　　　　　　　　　　　　　／　　／::::
　　　　　　　　　　　　　／　　／:::::
　　　　　　　　　　　　　（　　く::::::::
　　　　　　　　　　　　　|＼　　ヽ:::::
　　　　　　　　　　　 |　 .|＼　＼　:::::
　　　　　　＼　　　 .|　 .i:::　＼　⌒i::
　　　　　　　　　＼　 |　/::::　　　ヽ〈::
　　　　　　　　＼ |　i::::::　　　（__ノ:
　　　　　　　　 __ノ　）:::::
　　　　　　　　（＿,,／＼

398:デフォルトの名無しさん
06/12/02 03:18:55

　　　　　　　ちげーーよ！！
　　　　　　　　.,.．-─- ､
　　　　　r '´. : : : : : : : : : :ヽ
　　　　/.: : : : : : : : : : : : : :: ヽ
　　　　,!::: : : : : ,-…-…-ミ:: : :',..　　＿
　　　　{:: : : : : :i　 ,;ノ;´:`ゞ､i: : :.:}　/　/　　＿____　
　　　　{:: : : : : :|　ｪｪ;;;;;;;ｪｪ|: : : } ./　/　　/// ＼＼　.／＼　∩＿＿＿∩
　　　　{ : : : : ::|　　　　,.、 .| : : :;!./　　＼　￣　　￣／.／　| ノ --‐'　､_＼
　　　　ヾ: :: : :i 　 r‐-ﾆ┐| : r /　/"＼.>　　　.__／.／　　/　,_;:;:ノ､　　● |
　　　　　　ゞイ! 　ヽ二ﾞノｲ /__/　　　　　　　<__／　　　 |　　　　( _●_)　ミ
　　　　／⌒　　｀ｰ―''´ヽ　　　　　　　　　　　　　＼＿ ~＼彡､　　　|∪|　　ミ
　　／　　　　　　　　　　　|　　　　　　　　／/　　　　＼＿／　　　　ヽノ　￣＼
　（　　　く"|　＿＿＿＿_|＿__＿,,___　/　　￣Z、　　　／,,,,,,,,　　　　　　／ヽ　>
　　＼　　ヽノ　_|||||_____.爪_|――ﾟ'ヽ　　　　　＞　　;;;'''''';;;';';;　　　／　<_／　
　ｒ'￣＼_　三〉))￣ ||||｀ｰ'　　　　　　　｀-、ゝ￣　　;;'''　　　　∴。・、
　）_＿／.￣￣　　　||||　　　　　　　　　　　＼　　　　'':;:;,,,;;;'''｀・ﾟ。；；

399:デフォルトの名無しさん
06/12/02 03:26:35
　　　　　　　　　　　　　　　　　／. : : : : : : : : : ＼
　　　　　　　　　　　　　　　　 /.: : : : : : : : : : : : : : ヽ
　そんなバカなクマ　　　　 ,!::: : : :,-…-…-ミ: : : : :',
　　　　　　　　　　　　　　　 {:: : : : :i'⌒'　 '⌒'　i: : : : :}
　　　　　　　 ∩＿＿＿∩ {:: : : : | ｪｪ　ｪｪ　 |: : : : :}
　　　　　　　　| ノ --‐'　､_＼: : : :|　　,.、　　 |:: : : :;!
　　　　　　　/　,_;:;:;ノ､　　●ヾ: :: :i r‐-ﾆ-┐　| : : :ﾉ　上の3つは
　　　　　　　|　　　　( _●_)　ミゞイ! ヽ二ﾞノ　ｲゞ‐′ 　　リスト(配列)だから正解！！
　　　　　彡､　　　|∪|　　ミ　⌒゛　／⌒ヽ＼
　　　　　／⌒　　　　ヽノ｀''／ ⌒ ー--､'　,／｀/
　　　 /　／~〔_彡.ミ⌒ヽー,==-､　ヽ_,zn'　／
　　　　|　|　/　　　｀＾,/ ￣,ﾉ　　ヽ､__＾ﾉ /
　　　彡ﾉ　| 　　　　 /⌒ヽ i⌒ ｰ、　　ヽ
　　　　　　ヽ　　　　 l人　|　 .）　｀　　. |ｰ┐
　　　　　　　＼　　　｀⌒ |　ﾉヽ､_　　ノ.ヽ」

　　　　　　　　　　／. : : : : : : : : : ＼
　　　　　　　　　 /.: : : : : : : : : : : : : : ヽ
　　　　　　　　　 ,!::: : : :,-…-…-ミ: : : : :',
　　　　　　　　　 {:: : : : :i '⌒'　 '⌒' i: : : : :}
　　　　　　　　　 {:: : : : |　ｪｪ　ｪｪ　|: : : : :}　　　でも下の2つは
　　　　　　　　　　{ : : : :|　　　,.、　 |:: : : :;! 　　　　ただの文字列！
　　　　　　　　　　ヾ: :: :i　r‐-ﾆ-┐| : : :ﾉ　　　　
　　　　　　　　　　　　　,,,!　ヽ二ﾞノｲゞ‐′ 　　　　こういう場合は文字数を
　ひっかけクマ・・・　/ 　　　　￣⌒ヽ　　　　　　　　数えるんだろーがぁぁ！！
　　　　　　　　　　　　|　　　　　　ｌヽ、 | __
　　　　　∩＿＿＿∩　　　　　　L__|　|_. ｀ヽ
　　　　　| ノ --‐'　､_＼　　　　　 lヽ‐'〉　.|
　　　　 /　,_;:;:;ノ､　　●ヾ　　　　　_　＼/　 .|
　　　　|　　　　( _●_)　ミ　ー-｀＼　　＼,,ﾉｷﾞﾘｷﾞﾘ
　　　　彡､　　　|∪|　　ミ.　　　｀ヽ　　 )
　　　　　彡　　ヽノ／　　　　　　,／/　　/

400:デフォルトの名無しさん
06/12/02 03:30:11
　　　　　　　　　　　　　,、＿_
　　　　　　　　　　　 /ヽ　　　``ヽ
　　　　　　　　　　　//￣'￣￣ヽ.＼
　　　　　　　　　　 `i |,＿,　,＿,、 i　.>
　　　　　　　　　　　ﾄ|,:ﾆ/ヽ二|'ー!イ. 　　やはり所詮はクマ
　　　　　　　　　　　 |￣,.レ,..、　　）7
　　　　　　　　　　　　! ''=＝=i　　/'. 　　　ヌケドを殺るのはワシしかおらんな
　　　　　　　　　　　　ヽ `!　!'　,//＼_
　　　　　　　　＿,―イ＞`'´‐＜ /　＼＿
　　　　　　 _/　_/　 /`―「_!―'./　　/　　 `―::、
　　　　　 _/　|i　　　|　 ///'　／　　!_　　　　　＼
　 .＿∧ﾉ　　| i　　i'　 ! | |　/　　・'／　i'　　　　イi
　/　　　＼| |　　|　 | | | /　　＿∧=i |　　　　　／|
　|( ● )|　i＼|　i　　|　| | ﾚ'/　　　＼|　　　　　　 |
　＼＿ノ　^i ||　ヽ　 |　フ　|( ● )|　i＼|　　　　　ﾉ
　　|＿|,-''iつl|　　＼／　／＼＿ノ　^i | ,‐、」　 !|
　　　　[ニニ〉|　　／　／　　|＿|,-''iつl　＼＼＼|
　　　　└―'./　/　／　　　　[__|_|／〉　　）　ヽ ! |
　　　　＼＿/　/／　　　　　　[ニニ〉／/　　! |　」
　　　　　　 |　 |　　　　　　　　└―'V　| |_,,..::‐''´

401:デフォルトの名無しさん
06/12/02 03:33:18
　　　　　　　　　　　　　　　　　　 ,.．-─- ､
　　　　　　　　　　　　　　　　　　　　　　　　／. : : : : : : : : : ＼
　　　　　　　　　　　　　　　　　　　　　　　　/.: : : : : : : : : : : : : : ヽ
　　　　　　 __,､　　　　　　　　　　≡　　　,!::: : : :,-…-…-ミ: : : : :', 　　　　バカめ
　　　　〃ﾆ;;::`lヽ,,_　　　　　　　　　　≡　{:: : : : :i '⌒'　 '⌒' i: : : : :}　　　　ジジイの命もこれまでだ
　　　〈 (lll!! ﾃ-;;;;ﾞfn　　　　__,,--､_　　..　{:: : : : |　ｪｪ　ｪｪ　|: : : : :} 　≡
　　　／ヽ-〃;;;;;;;llllll7,,__／"　　＼三=ー"{ : : : :|　　　,.、　 |:: : : :;! 　≡
　　　>､/:::/＜;;;lllメ　　　＼ヾ、　　ヽTf=ヽ` : :: :i　r‐-ﾆ-┐ | : : :ﾉ
　　j,,　ヾて）r=- | ヾ:　　 :ヽ;;: 　　　 | l |　 l　ゞイ! ヽ二ﾞノｲゞ‐′ 　　≡
　,ｲ　ヽ二)l(_,＞"　l|　　　 ::＼;:: 　　　| |　 |　　ヽ,,` ｰ一'／ V
　i、ヽ--ｲll"/　,, ,//,,　　　　:;;　　　l //　 l く> /::l"'i::lll1-=::::￣＼
　ヾ＝=:"::^::;;:::／;;;;;;;;;:::::::::::::: :::::ゞﾉ/　　 L／〈:::t_ｲ::/ll|─-=＝　ヾ
　　＼__::::::::／::::::::::::＿;;;;;;;;;;;;;;;;;ノノ　　　ﾍ　　　>(ﾞ）l:::l-┴ヾ、ヽ　）
　　　　￣~~￣￣／　:::|T==--:::::　／／　　/　ﾄ=-|:|-─ （ l　　 /
　　　　　　　　／　::　 ::l l::::::::::::::::::/ /:::::::::::/:::::(ヽ--─　 /　|　 /
　　　　　　　　ヽ＿=--"⌒￣ﾞﾞヾ:/ /:::::::／:::::::::`<==--　ﾉ　/　/
　　　　　　　　　／　　　／　　　＼/:::::::::::::::::::::::::::::￣'''""::／／
　　　　　　　／　　　／　　　　 :::: ヾ::::::::::::::::::::::::::::べ__;;;--"

402:デフォルトの名無しさん
06/12/02 03:33:59
　　　　　　　＿_ ,、
　　　　　 /''　　　　/ヽ.
　　　　/　/'￣￣￣ヽヽ/￣）
　　　 <.　i　　,＿,　,＿,|. i'　|　　　　　くﾆ}　{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj
　　　　ﾄ,!ー|二/'ヽﾆ:,|ｲ.　|
　　　　（　　　,..Ｊ,､￣||　 |　　　バカモン！　遅延評価の威力を見せてくれるわ！
　　　　　.'ヽ　 i=＝='' !　　 |
　　　　　　ヽ,　`!　!'/　　　　|
　くﾆ}　{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj
　　　　　　/　 ,へ　　　　　　￣￣｀ヽ
　　　　 /　 /　　＼　　 t─┐　 |
　　　　（__／　　　　 > 　　）.　　|　　|＿
　　　　　　　　　 /　／　　　（＿＿＿）
　　　　　　　　　（　　＼
　　　　　　　　　　＼＿_）

403:デフォルトの名無しさん
06/12/02 03:34:40
　　　　　　　＿_ ,、
　　　　　 /''　　　　/ヽ.
　　　　/　/'￣￣￣ヽヽ/￣）
くﾆ} {f<.　i　　,＿,({fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj
　　　　ﾄ,!ー|二/'ヽﾆ:,|ｲ.　|
　　　　（　　　,..Ｊ,､￣||　 |　　　･･････
　　　　　.'ヽ　 i=＝='' !　　 |
　　　　　　ヽ,　`!　!'/　　　　|
　くﾆ}　{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj
　　　　　　/　 ,へ　　　　　　￣￣｀ヽ
　　　　 /　 /　　＼　　 t─┐　 |
　　　　（__／　　　　 > 　　）.　　|　　|＿
　　　　　　　　　 /　／　　　（＿＿＿）
　　　　　　　　　（　　＼
　　　　　　　　　　＼＿_）

404:デフォルトの名無しさん
06/12/02 03:48:22

　　　　　　　　　　　バカ専用　　　　　普通　　ハッカー　ウィザード
　　　　　　　　　　　　　┝　-　-　-　-　┿━━┿━━┥
　　 ∩＿＿＿∩　　　/)
　　 | ノ　　　　　ヽ　 ( i )))
　　/　　●　　　● | /　/
　 |　　　　( _●_)　 |ﾉ　/　　　まだここら辺クマーー！！
　彡､　　　|∪|　　　　,/
／　　　　ヽノ　　　/

405:デフォルトの名無しさん
06/12/02 13:34:53
>>396,397,399
length　[""]
は、空文字列をひとつ含む配列なんだから
1
だよ。

406:デフォルトの名無しさん
06/12/02 13:59:22

　　　　　　　／／　　　　　　　　　　　　　　　　　 |　　|　　　　　　,ｲ
　　　　　／／　　　　　　　　　　　　　　　　　　　l　　|　　　　／/
　　　　／／　　　　　　 ∩＿＿＿∩　　　　　 /　　||ノノ_／　/
　　　／'"　　　　　　　　 | ノ　　　　　ヽ　　　　 /　　　　　　　 /
　／　　　　　　　　　,/./　　●　　　● |　　　/　　;／￣￣￣￣￣￣￣￣￣￣￣
　　　　　　　 ,. ‐'" |:| 　　　( _●_)　ミ　　 /　,＜　間違えてんじゃねーかよ！！
　　　　　　 , ィ'"　　　 |:::彡　　|∪|　　/ 　 , '　　　＼＿＿＿＿＿＿＿＿＿＿＿
　　　　 ,.イ　　　　　 |:::::::L　ヽノ,,,,ノ　.／／´￣￣｀ヽ　　　　　　＼
　　　／/i|　　　　　　,.|::::::レ! ／:::::／　／／　　　　　　　＼（￣｀ヽ、＼
　　./:::::{ |ヽ　　 |ヽ∠.|::::::| メ:::::::; '_/／／ /｀''"⌒i　 ,.....,_　　＼､　　｀ヽ､＼
　　 `''" `'''`ー-|'" 　,':::::::|':::::::; '　/　／　ヾ-┤　|'´,. --.､`丶、＼　　　　 `＼
　　　　　　　　ノ　　 {::::::/:::::::/__ノ ∠／　　/ ＿／-　イ､_　　ヽ　ヽ
　　　　　　／　　　ﾉ/⌒ヽ::::}　　　／　　／: : : : : : : : : : : ('　,ノ,ハ　　　ガッ
　　　　　＜　　　　{ﾑ/　　 }/　　∠／　/: : : : ::;:;: ;: ;:;: ; : : : ::ゝ　 | 　ヽ
　　　　　　｀ヽ、　　'ｰ'-'‐'′　　／　　 {:: : :ノ ,_;:;:;ノ､ェｪヾ: :::}　 !`'ー─ゝ、　　　 _
　　　　　　　　ヽ　　　　　　　／　　　　　ｌ: :ﾉ　／二―-､　|: ::ﾉ /　　＿　 `丶..ノF'!
　　　　　　　　　ヽ-‐''"￣｀`ヽ　　　　　　 |　/／　￣7/ /::ノ￣ヽ￣　　`i丶、__,.ノ
　　　　　　　　　　　　　　　　　　　　　　ヾ(_二─-┘{／　　　　ヽ､_ 　 }ヽ、
　　　　　　　　　　　　　　　　　　　　　　　　　　　　￣￣　　　　　　　　｀`'"ｰ-

407:デフォルトの名無しさん
06/12/02 21:51:40
length　["abc", "AAA", "クマ"] は 7 じゃなくて 3 だろ！

408:デフォルトの名無しさん
06/12/02 22:57:35
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　| | | |
　　　　　　　　　　　　　　　　　　　　　　　　　＿／-　イ､_　　　　　 |_|_|_|_
　　　　バカ野郎！　　　　　　　　　　　　／: : : : : : : : : : : (　　　　/　〉〉〉〉　カスが！
　　　　　　　　　　　　　l⌒)OOo　　　　/: : : : ::;:;: ;: ;:;: ; : : : ::ゝ　　{　　⊂〉
　　 ∩＿＿＿∩　　　{　　）　 )　　　　{:: : : :ノ　--‐'　､_＼: : ::｝　 |　　 |　 ∩＿＿＿∩
　　 | ノ　　　　　ヽ　　｜　::::::/　　　　　{:: : :ノ ,_;:;:;ノ ////ヾ: :::}　 l　　 l /　　　　　　ヽ |
　　/　　●　　　● |　 /　　::::|　　　、　　ｌ: :ﾉ　／二―-､　|: ::ﾉ　　ヽ　　| ●　　　●　　ヽ
　 |　　　　( _●_)　ミ/　　　　）　　，,･_　　|　/／　￣7/ /::ノ　.・,，; ＼彡　(_●_ )　　　　|
　彡､　　　|∪|　　　/　　 /￣, ’,∴ ･　¨ 　〉(_二─-┘{／　∴ ;・, ;　　＼　　|∪|　　　　ミ
/　＿＿　ヽノ　　/　　　/　　､･∵ ’　　／､／/|　￣￣ヽ　　､;:，・　　　　ヽ. ヽノ＿＿＿　ヽ
(＿＿＿）　　　 /　　　 /　　　　　　　／　　 //　|／／＼〉　　　　　　　　　ヽ　（＿＿＿＿_)

409:デフォルトの名無しさん
06/12/02 22:58:52

　　　　　　　　　　　　　　　　　　　　　　うるせーばか！
　　　　　　　　　　　　　　　＿＿　　　　　／-　イ､_
　　∩＿＿＿∩　　　　　/ 　〉〉〉〉　／: : : : : : : : : : : (
　／_ﾉ　 `ｰ- ゝ＼　、　{　　⊂〉/: : : : ::;:;: ;: ;:;: ; : : : ::ゝ〈〈〈〈　ヽ　　　　　 ∩＿＿＿∩
　|　●　　ゝ:;;;:;:_, ヽ， ,･_ |　　　　{:: : : :ノ　--‐'　､_＼: : ::｝〈⊃　　}　　　　　| ノ --‐'　､_＼
彡　　(_●_ )　''　 |, ’ ,∴ l　　　{:: : :ノ ,_;:;:;ノ､ェｪヾ: :::} 　|　　 |　　　　、 /　,_;;;:;ノ､　　● |
彡､　　|∪|　　　ミ､･∵ ’ ヽ　　　ｌ: :ﾉ　／二―-､　|: ::ﾉ　　　　!　　，,･_ 　|　　　　( _●_)　ミ
γ￣　ヽノ　　　ヽ）　　　　　　＼　　 |　/／　￣7/ /::ノ　　/　, ’,∴ ･¨彡､　　　|∪|　　ミ
〈／i 　　　　　i　　　　　　　＼　〉(_二─-┘{／　　／　､･∵ ’　／　　　　ヽノ￣ヽ
　　ﾉ　　　　　　ﾉ　　　　　　　　　　ヽ　､／/|　￣　　　/´　　　　　／　　　　　　　／＼〉

410:デフォルトの名無しさん
06/12/02 23:07:38
>>395
【問題】
length　[1, 2, 3, 4, 5, 6, 7]
length　["abc", "AAA", "クマ"]
length　[ ""]
length　"ヌケドナルド"
length　"kuma"

【答え】
7
3
1
6
4　 ∩＿＿＿∩
　　 | ノ　　　　　ヽ
　　/　　●　　　● |　クマクマ
　 |　　　　( _●_)　ミ
　彡､　　　|∪|　　､｀＼
/　＿＿　ヽノ　/´>　 )
(＿＿＿）f^f^f^f^f^f^f^f^f^-┐
　|　　　　|~ ~ ~ ~ ~ ~ ~ ~ ~ │
　|　　　　|　配列は要素数 │
　|　　／ | 文字列は文字数|
　|　/　　|　正直すまんクマ |
　∪　　 |______＿＿＿＿＿__|
　　　　　　　＼＿)

411:デフォルトの名無しさん
06/12/03 01:33:32
.　┌──────────┐
つ |　　　文字列　　＝　　　　文字のリスト　　　　 │
.　｜　　"kuma"　　　.→　　　　['k', 'u', 'm', 'a']　　　　|
.　｜ "ヌケドナルド"　→　 ['ヌ', 'ケ', 'ド', 'ナ', 'ル', 'ド']　.|
.　└──────────┘

つ [] == ""

412:デフォルトの名無しさん
06/12/03 02:50:45
正確には

[] :: [Char] だな

413:デフォルトの名無しさん
06/12/03 19:26:12
Ctrl-Dを押すまで結果が出力されないんだが・・・。
mapMを使ってるせいだろうか。

main = do cs <- getContents
　　　　　r <- mapM hoge $ lines cs
　　　　　putStr $ head r

hoge :: String -> IO String
hoge x = return x

414:デフォルトの名無しさん
06/12/03 21:26:50
>>413
その通り。
csの終端を見つけるまでmapM_が終わらないから、
putStrが実行されることもない。

415:414
06/12/03 21:27:23
ごめん。mapM_じゃなくてmapMね。

416:413
06/12/03 23:45:53
>>414,415
なるほど。ありがとう。
一行入力するごとに結果を返してほしいのだが、いい方法はないのかな。
mapMはsequence . mapらしいので、いろいろ組み合わせて書き直してみた。

main = do cs <- getContents
　　　　　mapM_ (putStr . unlines =<<) $ map sequence $ map (:[]) $ map hoge $ lines cs

hoge :: String -> IO String
hoge x = return x

こうすれば望みの結果が得られるようなのだが、ちょっとめんどくさすぎるな・・・(・∀・;)

417:デフォルトの名無しさん
06/12/04 00:29:46
>>416
IOは上から順に実行されるのが原則(getContentsは例外)で、
評価と違って「値の要求があって初めて」実行したりはしない。
だから
r <- mapM hoge $ lines cs
とあったら、rが必要とされるか否かにかかわらずmapMは最後まで実行される。
これは、そうでないと動作の順序を予測するのが難しくなって不便だからだ。
どうしてもその挙動が必要なら、unsafeInterleaveIOという関数を使えば実現できる。

ちなみにそのコードは行ごとにputStrしているだけで、
mapM_ putStrLn $ lines cs
と書いているのとかわらない。
何がしたいかをもう少し詳しく教えてくれたら、もうちょっとまともな助言ができると思う。

418:413
06/12/04 01:51:46
>>417
>評価と違って「値の要求があって初めて」実行したりはしない。
>だから
>r <- mapM hoge $ lines cs
>とあったら、rが必要とされるか否かにかかわらずmapMは最後まで実行される。

あぁ、なるほど。なんでうまくいかなかったのか、やっとすっきりした。
結果が必要かどうか関係ないのね・・・。
自分が作りたかったのは、ハッシュテーブルに入力されたものを入れて、そのときのハッシュテーブルの中身を返すという関数。
↓こんな感じなのを作ったのだが、入力が終わらないと処理が先に進まなくて困ってる次第。

import Data.HashTable as HashTable

main = do cs <- getContents
　　　　　hash <- new (==) hashString
　　　　　r <- mapM (hoge hash) $ lines cs
　　　　　putStr $ unlines r

hoge :: (HashTable String Int) -> String -> IO String
hoge _ [] = return []
hoge hash key = do insert hash key 1
　　　　　　　　　　h <- toList hash
　　　　　　　　　　return $ show h

419:デフォルトの名無しさん
06/12/04 03:03:58
>>418
それと同じことをするだけなら、mapMでハッシュ表の操作と同時に出力もすれば良い。
mapM_ (\line -> hoge hash line >>= putStrLn) $ line cs

元のコードのように、値を生成する部分(mapM hoge)と利用する部分(putStrLn)をプログラム上で分離したい場合は
多少の工夫がいる。例えば、入出力をしながらa型の値を生み出すジェネレータを次のように定義して、
newtype Generator a = Gen (IO (Maybe (a, Generator a)))
mapMで[String]を生み出す代わりにGenerator Stringとして記述するとか。
ただし、標準のリストと違って操作関数が用意されていないので面倒ではある。

420:413
06/12/04 14:08:07
>>419
そうか、なるほど、mapM_の中で完結させれば良かったのか・・・。
mapMの返り値を受け取って処理しないといけない、って思いこんでた。
なんて頭が固いんだ、俺はorz
ジェネレータを使って云々かんぬんってのはまだ理解できないので、もっと勉強してみるよ。
ほんとにありがと！

421:デフォルトの名無しさん
06/12/06 11:29:31
417を読むまで、doの中に列挙されているものは上から下へ遅延評価されるものだと思ってたorz
getContentsは例外なのね・・・。GHCのソースを見たらunsafeInterleaveIOを使ってたよ。

422:デフォルトの名無しさん
06/12/10 17:55:53
本スレを見たあとこっちに来るとなんかほっとする

423:デフォルトの名無しさん
06/12/10 18:16:27
んじゃ、そろそろ圏論勉強会をここではじめるか

424:デフォルトの名無しさん
06/12/10 18:36:06
AAで頼むわ

425:デフォルトの名無しさん
06/12/10 18:42:03
>>423
仕切ってくれるの？
ちょっと期待

426:デフォルトの名無しさん
06/12/10 19:18:52
AAじゃなくてもたのむわ
この間友達に訊かれて、Haskell使いでないけど興味持った。

427:デフォルトの名無しさん
06/12/10 20:28:19
2ちゃんっぽい解説をわくてかしながら待ってますよ

428:デフォルトの名無しさん
06/12/10 21:32:19
おまいら、なんで本スレに行かないんだよw

429:デフォルトの名無しさん
06/12/11 00:00:51
だって本スレ2chのノリじゃねーんだもん

430:デフォルトの名無しさん
06/12/11 00:12:22
あそこは2chじゃねーよなｗ

431:デフォルトの名無しさん
06/12/11 00:21:23
あそこはプログラミングする気が無い奴らに犯されてしまった
今からここが本スレになります

432:デフォルトの名無しさん
06/12/11 15:01:43
早く家に帰ってHaskellを犯りたい(*´д｀)

433:デフォルトの名無しさん
06/12/11 18:34:26
URLﾘﾝｸ(www.haskell.org)

ここ見てUnboxed typeを使ってみようとしたんだが、Top-level bindings for unlifted types aren't allowed と出てコンパイルできん。
まあ、使い方を全然理解してないせいだと思うのだが(top-level bindingsとかunliftの意味もわからんし)、どこか解説ページないかな。
つか、あのページの説明だけでみんなは理解できるのだろうか(・∀・;)

434:デフォルトの名無しさん
06/12/11 19:00:25
>どこか解説ページないかな。
なさそう。

>top-level bindings
モジュールレベルの束縛のこと。
module Foo where
f x = let y = x + 1 in y * 2
なら、fはトップレベルの束縛で、yはそうではない。

>unlifted types
unboxed typesとほとんど同義だと思う。

というか本スレに書けyo

435:デフォルトの名無しさん
06/12/11 19:02:43
見てみたら>>433のリンク先にlifted typeの説明あるじゃん。
>Primitive types are always unlifted; that is, a value of a primitive type cannot be bottom.

436:433
06/12/11 21:43:56
>>434

詳しい説明をありがとう。

>>top-level bindings
>モジュールレベルの束縛のこと。

さんくす!さっきのエラーは出なくなった!
今度は#がはずせないという問題にぶち当たったけど、こっちはI#の存在に気づいて解決した。

>というか本スレに書けyo
あっちは圏論の話題が中心だから、初歩的なことは書きづらくて・・・。

>>435
>見てみたら>>433のリンク先にlifted typeの説明あるじゃん。
すまん。読んでたけどそっちも全く意味わからんかった。

437:デフォルトの名無しさん
06/12/11 22:57:29
>>436
>すまん。読んでたけどそっちも全く意味わからんかった。
ボトムっていうのは、停止しない/エラーになる計算の結果を表す概念上の値のこと。
(この辺厳密じゃないかも。間違ってたら分かってる人が突っ込んでくれることを期待)
例えば
b :: Int
b = b
と定義したとする。bを評価しようとすると止まらないから、bにはふつうの意味での値はない。しかし、
f :: Int -> Int
f x = 4
という関数があったとして、f bは4を返す。つまりfは問題なく呼ばれている。
では呼ばれたときの引数は何か、というのが問題になるが、これを「fはボトムを引数にして呼ばれた」
ということにする。つまり、bは評価しても止まらないけど、ボトムという仮想的な値を持っていることにする。
こうすると議論が単純になる。ちなみに、こう考えると、BoolにはTrue、False、ボトムの三値があることに
なるし、32ビットマシン上のGHCではIntに2^32+1個の値があることになる。

一方、実装を考えると、fに渡されるのは未評価のbで、これの実体はクロージャ、
あるいは関数ポインタ。bを評価することは、この関数ポインタを呼び出すことに相当する。
この場合はbを評価しようとすると止まらないわけだけど、こういう挙動がありえるためにはそもそも
bが関数ポインタでなきゃならない。

unboxed typeはただの計算器上の整数で、関数ポインタを隠し持つ余地はない。
Int#は厳密に2^32個の値しかとれない。つまり、ボトムになれない。よってunlifted type。

>あっちは圏論の話題が中心だから、初歩的なことは書きづらくて・・・。
たまたま圏論の話題で盛り上がっていただけで、気にすることはないと思う。
もともとそういうスレじゃないし。むしろ俺にも分かる話題は歓迎ｗ

438:デフォルトの名無しさん
06/12/11 23:39:10
haskellはプログラムを書く以外にも楽しみ方がある言語だから、棲み分けが起きてもいいんじゃないかな。次スレはちゃんとしたタイトルにしようぜ

439:デフォルトの名無しさん
06/12/11 23:44:58
たとえ住みわけが必要だとしても、板の趣旨からして、
本スレはプログラムの話題、
理論的な話は情報学板、のほうがいいんじゃないだろうか。

440:デフォルトの名無しさん
06/12/12 15:37:04
モナドから値を取り出す関数ってないんでしょうか？
hoge :: m a -> a
みたいな．

441:デフォルトの名無しさん
06/12/12 15:53:12
>>440
個々のモナドごとにある。
head :: [a] -> a
fromJust :: Maybe a -> a
fromMaybe :: a -> Maybe a -> a
evalState :: State s a -> s -> a
runST :: (forall s. ST s a) -> a
unsafePerformIO :: IO a -> a -- 副作用があるので取扱い注意

ちなみにIOモナドだけは値を取り出す必要がない。
取り出さずに全部まとめてそれにmainを束縛すれば良いので。

442:デフォルトの名無しさん
06/12/12 20:07:25
>>440
>>=関数を使ってください

443:デフォルトの名無しさん
06/12/12 21:50:17
計算の途中でIOがつくと、その後ずっとついて回るからなんか気持ち悪い

444:デフォルトの名無しさん
06/12/12 22:35:08
>>443
それによって参照透明性を保ってるんじゃないの?
詳しい人教えて!

445:デフォルトの名無しさん
06/12/13 16:00:42
インストールに７時間かかりました。なにこの敷居の高さ

446:デフォルトの名無しさん
06/12/13 18:03:20
>>4457時間もあきらめずにインストールした喪前が大好きだよ!

447:デフォルトの名無しさん
06/12/13 22:40:42
敷居が高いけど、なれてくるとかなり楽しい。
ひょっとして、haskellはツンデレ美少女なんではなかろうか。

haskell「ごめんね素直じゃなくて」
俺「いや、しょうがないって」
haskell「・・・。お兄ちゃん、IOモナドの仕組みが知りたい、って言ってたよね」
俺「ん? まーな」
haskell「でも、そのためには私の中身を見ないとだめだよね・・・」
俺「い、いや、無理しなくていいよ」
haskell「・・・。見てもいいよ」
俺「え?」
haskell「見てもいいよ! お兄ちゃんだったらいいよ!」

448:デフォルトの名無しさん
06/12/13 23:12:10
↓Haskell Brooks Curryの肖像

449:デフォルトの名無しさん
06/12/14 02:44:08
URLﾘﾝｸ(www.haskell.org)
( ･∀･) ＜呼んだ？

450:デフォルトの名無しさん
06/12/14 12:04:41
今日はUnsafe IOの日だから中に出しちゃだめー!!!

451:デフォルトの名無しさん
06/12/14 17:34:55
>>443
データ構造書くのはIOを入れずにやれという暗黙のメッセージだと思う
プログラムのしくみ本体とIOの部分を分けるということ
その方が実際動作が速いみたいだし

452:デフォルトの名無しさん
06/12/14 21:30:35
もう、中に出すからforkIOしちゃったじゃないo(*｀ε´*)o

453:デフォルトの名無しさん
06/12/14 21:49:49
HashTableがIOを返すのがにんともかんとも・・・。

454:デフォルトの名無しさん
06/12/19 20:27:21
本スレは活気があっていいなぁ・・・

455:デフォルトの名無しさん
06/12/19 23:32:22
また俺がAA書いてやろうか？

456:デフォルトの名無しさん
06/12/20 10:19:52
haskell中級者になったクマきぼん

457:デフォルトの名無しさん
06/12/20 23:04:25
>>456
俺が初心者な以上、それは無理ってもんだ

458:デフォルトの名無しさん
06/12/21 00:06:46
今でも遅延ストリーム萌な人いませんか？

459:デフォルトの名無しさん
06/12/21 01:35:34
みなさんハスケルのどこが萌えですか。
僕は似たような記号を多用するその文体のとっつきにくさに萌えです。

460:デフォルトの名無しさん
06/12/21 01:42:02
やっぱ>>447じゃね？

461:デフォルトの名無しさん
06/12/21 03:06:45
俺はモナドという不思議な雰囲気を持ったツンデレ美少女なところに萌えてる。
haskellたんを知ってから仕事に全く集中できなくなってしまったよ・・・

462:デフォルトの名無しさん
07/01/03 06:46:57
あの、質問しても良いです?
「ふつうのHaskellプログラミング」からなんですが、
length [""] -> 1
length [] -> 0
の""というのは文字が一文字も無い文字列を表しているのでしょうか?
もう一つ。
a
b
c
みたいに一行ずつ保存されているファイルは、エディタからはそうみえるだけで
実際には"a\nb\nc\c"みたいに保存されているのでしょうか?
そうじゃないとlines関数でリストに出来ないですもんね?

463:デフォルトの名無しさん
07/01/03 17:38:31
>の""というのは文字が一文字も無い文字列を表しているのでしょうか?
その通り。
>実際には"a\nb\nc\c"みたいに保存されているのでしょうか?
その通り。

464:デフォルトの名無しさん
07/01/04 16:06:05
>>463
回答有り難うございます!

465:デフォルトの名無しさん
07/01/10 07:23:21
こういう関数をHaskellで書くとしたら
どう書くのがベターでしょうか？

# Rubyですが
def hoge(ary)
ary.each_index do |i|
j = rand(i+1)
ary[i], ary[j] = ary[j], ary[i]
end
end

次ページ