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

【数学者】Haskellは� ..

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

466:デフォルトの名無しさん
07/01/11 23:09:05
>>465
こんな感じになった。やたらと面倒だったので改善案募集。

{-# OPTIONS_GHC -fglawgow-exts #-}
module Test where
import System.Random
import Data.Array.IArray
import Data.Array.ST
import Control.Monad.ST

hoge :: forall a i e. (IArray a e, Ix i, Random i) => a i e -> StdGen -> (a i e, StdGen)
hoge ia gi = runST act
　 where
　　 act :: forall s. ST s (a i e, StdGen)
　　 act = do
　　　 ma <- thaw ia
　　　 let _ = ma :: STArray s i e
　　　 g' <- shuffle ma gi first
　　　 ra <- unsafeFreeze ma
　　　 return (ra, g')
　　 (first, last) = bounds ia
　　 shuffle a g i = case ran of
　　　 [] -> return g
　　　 _:next:_ -> do
　　　　 let (j, g') = randomR (i, last) g
　　　　 x <- readArray a i
　　　　 y <- readArray a j
　　　　 writeArray a i y
　　　　 writeArray a j x
　　　　 shuffle a g' next
　　　 where
　　　　 ran = range (i, last)

467:466
07/01/11 23:19:28
まちがってた。

{-# OPTIONS_GHC -fglasgow-exts #-}
module Test where

import System.Random
import Data.Array.IArray
import Data.Array.ST
import Control.Monad.ST

hoge :: forall a i e. (IArray a e, Ix i, Random i) => a i e -> StdGen -> (a i e, StdGen)
hoge ia gi = runST act
　 where
　　 act :: forall s. ST s (a i e, StdGen)
　　 act = do
　　　 ma <- thaw ia
　　　 let _ = ma :: STArray s i e
　　　 g' <- shuffle ma gi (range bo)
　　　 ra <- unsafeFreeze ma
　　　 return (ra, g')
　　 bo@(_, last) = bounds ia
　　 shuffle a g [] = return g
　　 shuffle a g (i:is) = do
　　　　 let (j, g') = randomR (i, last) g
　　　　 x <- readArray a i
　　　　 y <- readArray a j
　　　　 writeArray a i y
　　　　 writeArray a j x
　　　　 shuffle a g' is

468:デフォルトの名無しさん
07/01/13 17:10:31
>>465
>>467の人のようにこういう操作はArrayの方が得意だけど無理矢理やってみた
手抜きして右からまわしてる

import Random

-- main = print [1,2,3] >> hogeIO [1,2,3] >>= print

hogeIO :: [a] -> IO [a]
hogeIO xs = getStdRandom (hoge xs)

hoge :: (RandomGen g) => [a] -> g -> ([a], g)
hoge xs g = foldr iter ([],g) xs
　　where
　　iter x (xs,g) = (x':xs', g')
　　　　where
　　　　((x', _:xs'), g') = replaceR x (x:xs) g

replaceR :: (RandomGen g) => a -> [a] -> g -> ((a, [a]), g)
replaceR x xs g = (replace i x xs, g')
　　where
　　(i,g') = randomR (0, length xs - 1) g

replace :: Int -> a -> [a] -> (a,[a])
replace n x xs = (z, ys ++ x:zs)
　　where
　　(ys, z:zs) = splitAt n xs

469:468
07/01/13 21:04:49
Stateで書き換えてみたけど相変わらず長い　(replaceやmainの定義は同じ)

import Control.Monad.State
type Rand a = State StdGen a

hogeIO :: [a] -> IO [a]
hogeIO xs = do
　　g <- newStdGen
　　return $ evalState (hoge xs) g

hoge :: [a] -> Rand [a]
hoge xs = foldr ((=<<).iter) (return []) xs
　　where
　　iter x xs = do
　　　　(x', _:xs') <- replaceR x (x:xs)
　　　　return (x':xs')

replaceR :: a -> [a] -> Rand (a,[a])
replaceR x xs = do
　　i <- State $ randomR (0, length xs - 1)
　　return $ replace i x xs

470:デフォルトの名無しさん
07/01/13 23:20:57
runSTとかunsafeFreezeとかさっぱりわからん。
なんかくやしい。

471:デフォルトの名無しさん
07/02/14 00:17:05
良スレ　保守

472:380
07/02/14 23:30:00

【第一部】　AAでHaskellのお勉強（超初心者用）
>>380-410

【第二部】　AAで圏論のお勉強（入門編）
Coming soon!

473:デフォルトの名無しさん
07/02/15 00:00:34

　 ,j;;;;;j,. ---一､｀　―--‐､_ l;;;;;;
　｛;;;;;;ゝ T辷iﾌ i 　　f'辷jァ　 !i;;;;;
　ヾ;;;ﾊ　　　　ﾉ　　　　　　　.::!lﾘ;;rﾞ　　圏論は難しい・・・
　　 `Z;i　　　〈.,_..,.　　　　　　ﾉ;;;;;;;;>
　　,;ぇﾊ、　､_,.ｰ-､_',. 　　,ｆﾞ: Y;;f 　　そんなふうに考えていた時期が
　　 ~''戈ヽ　｀二´ 　　 r'´:::.　`!　　　俺にもありました

474:デフォルトの名無しさん
07/02/15 00:01:18
　　　　　　／　　　　　　　　　　　　　　　　　　　 .＼
　　　　　／　　　　　　　　　　　　　　　　　　　　　　 .＼
　＼　／　　　　　　　　　　　　　　　　　　　　　　　　　　＼　／
　　＼　　　　　　＿＿＿＿＿＿＿＿＿＿＿　　　　　. ／
　　　　＼　　　.／　　　　　　　　　　　　　　　＼　　　／
　　　　 |　＼／　　　　　　　　　　　　　　　　　　＼／...|
　　　　 |　 |　　　　　　　　　　　　　　　　　　　　　　 |　 |
　　　　 |　 |　　　　　　　　　　　　　　　　　　　　　　 |　 |
　　..＿ |＿|　　　　　　　　　　　　　　　　　　　　　　 |＿|＿..
　　　　|　 |　　　　　さあ‥　逝こうか‥‥　　　　 |　 |
　　　　|　 |　　　　　　　　　　　　　　　　　　　　　　 |　 |
　　　　|　 |　　　　　　　　　　　　　　　　　　　　　　 |　 |
　　　　|　 |　　　　　　　　　　　　　　　　　　　　　　 |　 |
　　　　|　 |／　　　　　　　　　　　　　　　　　　　..＼|　 |
　　　　|　 |　　　　　　　　　　　　　　　　　　　　　　|　 |
　　 ..＿|／|　　　　　　_　_　_　_　_　_　_　_　　　　　...|＼|＿
　／　..|　 |　　　＿－＿－＿－＿－＿－　＿　　 |　 |　＼
　　　　|　 |／＿／━　━　━　━　━　━＼＿＼|　 |
　　 ..＿| ／＿／━　━　━　━　━　━　━ ＼＿＼.|＿
　　　／＿／━ 　━ 　━ 　━　 ━ 　━ 　━ ＼＿＼
　　／　／━　　━　　━　　━　　━　　━　　━＼　＼

475:デフォルトの名無しさん
07/02/15 22:54:57

　　 ∩＿＿＿∩
　　 | ノ　　　　　ヽ
　　/　　●　　　● |　　　たった一つの命を捨てて
　 |◎）￣￣||￣￣ ) ミ　生まれ変わった不死身の体
　彡､＿＿＿||＿／｀＼　鉄の圏論を叩いて砕く
/　＿＿　　　　/´>　 )　クマーンがやらねば誰がやる
(＿＿＿）　　　/　(_／
　|　　　　　　 /
　|　　／＼　＼
　|　/　　　 )　 )
　∪　　　（　＼
　　　　　　＼＿)

476:デフォルトの名無しさん
07/02/15 23:04:19

　_i^i__i^i_　　　　　　　　　　　　　　　　 i^i ._i^i_　__,　-―-　､___
　|＊||＊| ∩＿＿＿∩ 　　　i^i　_i^i_ 　| | |@ll|(_/,,,, 　 ,,,, 　ヽ_)
　|≡||≡|| ノ　　　　　ヽ　（［］）|;□;|.(≡)|＿|　|●　　●　　 | どうすれば圏論をわかりやすく
　. 二二/　　　　　　　● |二二（（二二二二　彡(_●_ )　　　ミ　説明できますかね？
　　　　 |　　　　　　　　ミ　　　 ) ）　　　　／ ` ''∪''　　／　ヽ
　　　　彡､　　　　　　＿ノ Gﾉ'ﾌ＝　　___　　/　/i 　` ー '"　 iヽ　|
　　　　　/　　　　　　ヽ /　/ 　　　　|　!　/　/　|　　　　　　| |　.l. i
　..─|ヽ　　　　　　　　ヽ/─=＝i─Y-(＿ﾉ─i二i──(⌒)
　＿＿_ヽ　　　　　　　/ヽノ　 └-┘ ┴　　　　　..└┘　　　　.￣
　　　　　 |　＿＿＿　i

477:デフォルトの名無しさん
07/02/25 01:59:18

　　　　　　　　　　　　　∩＿＿＿∩
　　　　　　　　　　　　　|ノ⌒　　⌒ ヽ
　　　　　　　　　　　　 /　●)　　●)　|
　　　　　　　 Let's　　|　　 ( _●_)　　ﾐ　　Haskell♪
　　　　　　　　　　　　彡、　　|∪｜、｀
　　　　　　　　　　　　　　/　ヽノ　ヽ
　　　　　　　　　　　　　/　人　　　＼＼　　彡
　　　　　　　　　　　⊂´_/　　）　　　　ヽ__｀⊃
　　　　　　　　　　　　　　　　/　人　（
　　　　　　　　　　　　　　　（＿ノ（＿）

478:デフォルトの名無しさん
07/02/25 02:00:25

　　　　　　　　　　　　A　　　　B

　　　 ∩＿＿＿∩　　　/)
　　　 | ノ　　　　　ヽ　 ( i )))
　　　/　　●　　　● | /　/
　　 |　　　　( _●_)　 |ﾉ　/
　　彡､　　　|∪|　　　　，/
　／　　　　ヽノ　　　/´ 　　　ここにオブジェクトAとオブジェクトBがあるクマ

479:デフォルトの名無しさん
07/02/25 02:02:12

　　　　　　　　　　　A　　→　　B

　　 ∩＿＿＿∩　　　　
　　 | ノ　　　　　ヽ　　
　　/　　＞　　　＜ |　じつはAさんはBさんを好きなんだクマ
　 |　//// ( _●_)　ミ
　彡、　　　ｌ⌒l　ノ
　/　＿＿　＼＼ヽ
. (＿＿＿）　　＼__）

480:デフォルトの名無しさん
07/02/25 02:07:27

　　 ∩＿＿＿∩
　　 | ノ　　　　　ヽ
　　/　　●　　　● |　　　と、いうように
　 |　　　　( _●_)　ミ　　　ある対象とある対象がなんらかの関係をもっていることを
　彡､　　　|∪|　　､｀＼　　　圏論では「射」と言うクマ
/　＿＿　ヽノ　/´>　 )
(＿＿＿）　　　/　(_／
　|　　　　　　 /
　|　　／＼　＼
　|　/　　　 )　 )
　∪　　　（　＼
　　　　　　＼＿)

481:デフォルトの名無しさん
07/02/25 02:09:55

　　 ∩＿＿＿∩
　　 | ノ　　　　　ヽ　　　　　　A　→　B
　　/　　●　　　● |
　 |　　　　( _●_)　ミ　　この場合、Aさんを「ドメイン」、Bさんを「コドメイン」と言うクマ　　　
　彡､　　　|∪|　　､｀＼

482:デフォルトの名無しさん
07/02/25 02:15:49

　　　　　 ∩＿＿＿∩　　　　
　　　　　 | ノ　 _,　　,_ ヽ　　
　　　　 /　　●　　　● |　　　　　別にBさんを好きじゃなくてもいいんだクマ
　　　　 |　　　　( _●_)　ミ　　　　　Bさんを嫌いでもいいし
　　　　彡､　　　|∪|　ノ　　　　　　　BさんはAさんの嫁でもいいし
⊂⌒ヽ　/　　　ヽノ　ヽ /⌒つ　　　　AさんがBさんをﾚｲ-ﾌﾟする、という関係でもなんでもいいクマ
　＼　ヽ　 /　　　　　ヽ　/
　　　＼_,,ノ　　　　　　|､＿ノ

483:デフォルトの名無しさん
07/02/25 02:19:20

　　 ∩＿＿＿∩
　　 | ノ　　　　　ヽ
　　/　　●　　　● |　　　　　A　→　B
　 |　　　　( _●_)　ミ　　　　　　ｺｺ!!　
　彡､　　　|∪|　　､｀＼
/　＿＿　ヽノ　/´>　 )　　　この図では「→」がAさんとBさんの関係を表してるクマ
(＿＿＿）　　　/　(_／　　　　関係というものには方向性が付き物なんだクマ
　|　　　　　　 /　　　　　　　　　
　|　　／＼　＼　　　　　　　　この「関係を表した矢印」こそが「射」クマー！
　|　/　　　 )　 )
　∪　　　（　＼
　　　　　　＼＿)

484:デフォルトの名無しさん
07/02/25 02:20:05
てらわかりやす

485:デフォルトの名無しさん
07/02/25 02:21:35

　　　　まだまだ続クマ？
＼　　￣∨￣￣￣￣￣￣　　　　(´´
　＼(⌒-⌒)　　　o　　　　　　　(´⌒(´
　　　(･(ｪ,,)･ )つ⌒｀つ≡≡≡(´⌒;;;≡≡≡
　　　　　　　　￣￣　　　　 (´⌒(´⌒;;
　　　　　　ｽﾞｻﾞｰｰｰｰｰｯ

486:デフォルトの名無しさん
07/02/25 02:40:43

　　　　　　　　　　　　　 /￣）
　　　　 ∩＿＿＿_∩.　|　 |　　　AさんからBさんへの「射」は1つとは限らないクマー！
　　　　 | ノ　　　　ヽ.|　 |
　　　　/　　●　　　● ||　 |　　　　　　くﾆ}　{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{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj{fj「エロエロ射」」
　　　　　/　 ,へ　　　　　　￣￣｀ヽ
　　　 /　 /　　＼　　 t─┐　 |
　　　（__／　　　　 > 　　）.　　|　　|＿
　　　　　　　　 /　／　　　（＿＿＿）
　　　　　　　　（　　＼
　　　　　　　　　＼＿_）

487:デフォルトの名無しさん
07/02/25 02:56:02

　､　 l　　 _,　　　　　　　　　　　　　　　　
　ヽ/⌒ﾍ~　　　　　　　　　　　　　　　　　
　 ., 't,_,ノ丶　　∩､　　　　　∩　　　
　/　　!　　 '｀　 | 　　'─-'　'＼　　　　
　　　　　　　 ,／ ●　　　　　　　'i,
　　　　　　　/　　　( _●_) ●　　 i,　　
　　　　　　　彡　　　しノ　　　　　ミ　　　　あたまをやわらか～くするクマ～
　　　　　 |`:、＼　　　'ii　　__,／　　　　
　　　　　 'i、￣~~　　　 ij　乙__ﾉi　　　　　　　
　　　　　　 ^-ｧ　　　　　　　＿_,ノ　　　　　　
　　　　　r^~"i'　　　　　　　 'l
　　　　　!、　!　　　　　　　l　　　　　　　
　　　　　　~^''!,　　 ,_　　　　,!_　　　　　　　
　　　　　　　　＼　l,~^''‐--::,,⊃　）） ) )　　　
　　　　　　　　 `'‐’　　　　　　　　　　　　　　

488:デフォルトの名無しさん
07/02/25 03:02:26

　　　　　　　　　　　　X　　Y　　Z　　　　　　　

　　　 ∩＿＿＿∩　　　/)
　　　 | ノ　　　　　ヽ　 ( i )))
　　　/　　●　　　● | /　/
　　 |　　　　( _●_)　 |ﾉ　/
　　彡､　　　|∪|　　　　，/
　／　　　　ヽノ　　　/´ 　　　ここにオブジェクトXとオブジェクトYとオブジェクトZがあるクマ

489:デフォルトの名無しさん
07/02/25 03:06:57

　　　　　　∩＿＿＿_∩　　　　
　　　　　 / 　　　　　　　ヽ　　　　X　→　Y　　YさんはXさんのいとこクマ
　　　　　/　　●　　●　　|　　　　Y　→　Z　　ZさんとYさんのいとこクマ
　　　　　|　　　( _●_ ) 　　ミ　　　
　　　　彡､,,　　　|∪|　　　/ 　
　　　／＿＿　ヽノ　　　l＼　　　
　　　(＿＿＿u）　　　(uニ　）. 　
￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣

490:デフォルトの名無しさん
07/02/25 03:09:49

|:::::::::::::::::::::::::::::::
|"￣￣ﾞﾞ`∩::::::::::::::::
|,ノ　　ヽ,　ヽ:::::::::::::::::::::::::　　　　　　　X　　→　　Y
|●　　　● i'ﾞ￣ﾞﾞﾞ`''､::::::::::::::::　　　　　　　　　　
|　(_●_)　　ﾐノ　　ヽヾつ::::::::::　　　　　　　　　　↓
|　ヽノ　　ノ●　　 ● i::::::::::　　　　　　
｛ヽ,__　　）´(_●_)　｀,ﾐ:::::::　　　　　　　　　　　　 Z
| ヽ　　　/　ヽノ　 ,ノ::::::
あれ？XさんとZさんは・・・いとこ？

491:デフォルトの名無しさん
07/02/25 03:17:59

　　　　　　　　　　　　　　　　　　 ∩─ｰ､
　　　　　　　　　　　　　　　　　／　●　､_ ｀ヽ
　　　　　　　　　　　　　　　　/　　(　●　 ● |つ
　　　　　　　　　　　　　　　　|　　／(入__ノ　ミ　所詮、XとZが
　　　　　　　　　　　　　　　　､　(＿／　　　ノ　　　いとこだろーと、はとこだろーと
　　　　　　　　　　　　　　　　　＼＿＿＿ノﾞ　　　　　　関係ないのさ・・・
　　　　　　　　　　　　　　　　／丶'　⌒ヽ:::
　　　　　　　　　　　　　　　/ ヽ　　　 /　/:::　　　ただひとつ言えることは
　　　　　　　　　　　　　　　/　/へヘ/　/:::　　　　XからZへのなんらかの関係があるかもしれない
　　　　　　　　　　　　　　 /　＼ヾミ　 /|:::　　　　　ってことだ
　　　　　　　　　　　　　　（__／| ＼___ノ/:::
　　　　　　　　　　　　　　　　 /　　　　/:::　　　　　これを圏論では射の「合成」と呼ぶ
　　　　　　　　　　　　　　　 /　ｙ　　　）:::
　　　　　　　　　　　　　　　 / ／　　／:::
　　　　　　　　　　　　　　　／　　／::::　　　　　　　　　X　　→　　Y
　　　　　　　　　　　　　／　　／:::::　　　　　　　　　　　　　　　　
　　　　　　　　　　　　　（　　く::::::::　　　　　　　　　　　　　　　　　 ↓
　　　　　　　　　　　　　|＼　　ヽ:::::　　　
　　　　　　　　　　　 |　 .|＼　＼　:::::　　　　　　　　　　　　　　 Z
　　　　　　＼　　　 .|　 .i:::　＼　⌒i::
　　　　　　　　　＼　 |　/::::　　　ヽ〈::　　　　　[XからZへの矢印が考えられる]
　　　　　　　　＼ |　i::::::　　　（__ノ:
　　　　　　　　 __ノ　）:::::
　　　　　　　　（＿,,／＼

492:デフォルトの名無しさん
07/02/25 03:19:52

|
|．-─-､
| : : : : : : : : ＼
|: : : : : : : : : : : ヽ
|-…-…-ミ: : : : :',
| '⌒'　 '⌒' i: : : : :}
|　ｪｪ　ｪｪ　|: : : : :}
|　　　,.、　 |:: : : :;! 　　どこで出ていこうかな･････
|　r‐-ﾆ-┐| : : :ﾉ
|! ヽ二ﾞノｲゞ‐′
| ` ｰ一'´丿＼
|　＼___／　　　/｀丶､
|　/~ﾄ､　　／　　　 l ＼

493:デフォルトの名無しさん
07/02/25 03:50:43

　　　　　　　　　　　　　　　　　　　,.．-─- ､
　　　　　　　　　　　　　　　　　　／. : : : : : : : : : ＼
関数Xは　　　　　　　　　　　　 /.: : : : : : : : : : : : : : ヽ
クラスYを引数にする　　　　,!::: : : :,-…-…-ミ: : : : :',　
X(Y)　　　　　　　　　　　　　 {:: : : : :i 　＼　／　i: : : : :}
ちなみにYは　　　　　　　　{:: : : : |　ｪｪ　ｪｪ　|: : : : :} 　合成のほかの例え！！
Zという属性を.　　　, ､　 . 　 { : : : :|　　　,.、　.. |:: : : :;!　
持っている　　　　　ヽヽ. 　_ .ヾ: :: :i　r‐-ﾆ-┐ .| : : :ﾉ　
　　　　　　　　　　　　　 }　 >'´.-!、ゞイ! ヽ二ﾞノｲゞ‐′
　　　　　　　　　　　　　 |　　　－!　　＼` ｰ一'´丿＼　
　　　　　　　　　　　　ﾉ　　　 ,二!＼　　＼___／　　　/｀丶､
　　　　　　　　　　　 /＼　／　　　＼　 /~ﾄ､　　／　　　 l ＼
　　　　　　　　　　 /　、｀ソ!　　　　　＼/l::::|ハ／　　　　　l-7 _ヽ

494:デフォルトの名無しさん
07/02/25 03:52:45

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

495:デフォルトの名無しさん
07/02/25 04:10:53

　　　　＿／-　イ､_ 　　　　
　　／: : : : : : : : : : : (　　
　/: : : : ::;:;: ;: ;:;: ; : : : ::ゝ;　　関数X　　→　　クラスY
.{:: : : :ノ　--‐'　､_＼: : ::｝　　　　　　　　
.{:: : :ノ ,_;:;:;ノ､ェｪヾ: 　　　　　　　　　　　　　　↓
.ｌ: :ﾉ　／二―-､　|: ::ﾉ.. 　　　　　　
　|　/／　￣7/ /::ノ　　　　　　　　　　　　　属性Z
.　〉(_二─-┘{／
／､／/|　￣￣ヽ
わかんないかなコレ・・・

496:デフォルトの名無しさん
07/02/25 04:14:39

class X {
　method( Y ) {}
}

class Y {
　Z z;
}

class Z {}

497:デフォルトの名無しさん
07/02/25 04:38:27
　
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　＼　i　／
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 ── ・ ─　 ← ヌッケ
　　　　　　　　　　　　　　　　　　　　　￣二─　＿　　　　　　　　／/ | ＼
　　　　　　　　　　　　　　　　　　　　　　　　　￣､　　- ､　　　　／　/　|
　　　　　　　　　　　　　　　　　　　　　　　　　　 -､＼　　＼　／　　/
　　　　　　　　　　　　　　　　　　　　　　　　　　＼＼　　　＼
　　　　　　　　　　　　　　　　　／　　　　　　　　＼ヾヽ　　　ヽ
　　　　　　　　　　　　　　　／　　　　　　　　　＼ヾ、 | 　　　　i
　　ｸﾏｿｯ　　　　　　　　／／　　　　　　　　　　|! `i　　　　　　　 |
　　　　　　　　　　　　　／／／　　　　　　　　　　　|　　　　　　　　　|
　　　　　　　　　　　／　(　　　　　　　　　　　　　　|　　　　　　　　　|
　　　　　　　　　　 <_,へ　丶-、　　　　　　　　　　 |　　　　　　　　　|
　　　　　　　 __●_ rm　＼　　＼　　　　　　　　　|! ﾘ　　　　　　　 |
　　　　　　／ヽ-'⊇)￣`ヾ　　　 │　　　　　　　　 / 　　 |　　　　|
　　　　⊂/　●　　　　　　　　　 /＼_,.-､　　　　　/ /　 /　　　 /
　　　　　│　　　　　　　　　　　 /＼　／　　　_／ / ／　／／
　　　　⊂丿　　　　ﾐ　　　（⌒）　　￣　　　　　　／　／／
　　　　　　＼＿＿ミ　　／／　　　　　　　　　／／_ ／
　　　　　　　　　　　＼＿／　　　　　　　　＿二─

次ページ