16/02/02 19:35:18.50 uTTEQY4N.net
>>979
酷すぎて乾いた笑いが出るな
Sラン級糞コーダーに解答例書かせるとかPaiza大丈夫か
999:デフォルトの名無しさん
16/02/02 19:43:13.89 24ytvjJT.net
このスレ、書いてないことまで透視能力使って読んでる奴いっぱいいるじゃん
それに比べたら書いてあることの可読性がどうなろうと透視するのは簡単だろ
1000:デフォルトの名無しさん
16/02/02 19:49:12.70 uTTEQY4N.net
検索してみたらただの2chの回答者じゃん
流石に一般人晒すのはマズイよ
1001:デフォルトの名無しさん
16/02/02 20:19:13.66 qoaDQoLB.net
instance Functor Tree where
fmap f EmptyTree = EmptyTree
fmap f (Node x left right) = Node (f x) (fmap f left) (fmap f right)
このコードで最初は(f x)なのに、あとの2つは(fmap f left)とfmapが先頭につくのはどうしてですか？
1002:デフォルトの名無しさん
16/02/02 20:29:25.29 lBmePa6t.net
>>985
１．つかないと型が合わないだろ
２．そもそも再帰的定義
「ある木に fmap f した結果は、根にfを適用し、葉の部分木にfmap fした木である」
が理解出来てるか？
1003:デフォルトの名無しさん
16/02/02 20:44:20.82 qoaDQoLB.net
>>986
>２．そもそも再帰的定義
>
>「ある木に fmap f した結果は、根にfを適用し、葉の部分木にfmap fした木である」
>
>が理解出来てるか？
すみません、理解できていないです。
なぜ葉は直接fを適用できないのでしょうか？
1004:デフォルトの名無しさん
16/02/02 21:14:43.83 lBmePa6t.net
>>987
たとえば整数の二分木（Tree Int）に
整数の偶奇性を判定する関数 even を fmap して
同じ形をしたブール値の二分木(Tree Bool)を得る場合を考えろ。
整数の（空でない）二分木は、根に値 x が収納され葉として部分木 left と right を持つので
Node x left right
という形をしている。
x の型は整数 Int で、 left と right の型は整数の二分木 Tree Int だ。
他方で、even の型は Int -> Bool なのだから、
even left とか even right という式は意味を成さない。
1005:デフォルトの名無しさん
16/02/02 22:42:19.59 x3VaMdqQ.net
Haskellは無限ループに陥りません。
だからこそコンパイルが通ればバグが無いことを保証できるのです。
1006:デフォルトの名無しさん
16/02/03 00:23:47.55 eYCB0y5I.net
バグの定義からはじめようか
1007:デフォルトの名無しさん
16/02/03 01:05:28.09 pvHSiWBf.net
>>987
1. fが受け取るのは[xの型] (xは[Tree型]じゃない)
2. left と rightは[Tree型]
3. [Tree型]とfの仲介がfmap
おわかり？
1008:デフォルトの名無しさん
16/02/03 03:37:57.16 mzFRVKkI.net
ideoneでhaskellのサンプルコードが無限ループじゃなかったっけ？
1009:デフォルトの名無しさん
16/02/03 04:12:58.04 OD3iNzjF.net
Androidでお手軽にHaskellできるアプリ誰か頼む。C4droid並の品質で。ソースコードはAndroidのVimTouchで書くからIDEは要らないや
1010:985
16/02/03 11:15:50.69 B67PXnHg.net
>>988, 989
理解できました！
わかりやすい説明ありがとうございます！
1011:デフォルトの名無しさん
16/02/03 13:15:08.68 KiXDjJxB.net
タブレットでコーディングする需要があるのか…
1012:デフォルトの名無しさん
16/02/03 13:41:55.87 vZagwsW/.net
arm向けのコード吐けるhaskellコンパイラって存在するの？
と言ってみる
1013:デフォルトの名無しさん
16/02/03 13:47:52.96 WaqhOfMD.net
ARMをターゲットにしたクロスコンパイラなGHCは普通に存在する
そのGHCでGHC自体をARM向けにコンパイルすれば
ARM計算機上でHaskell使った開発ができるはず
1014:デフォルトの名無しさん
16/02/03 14:04:22.91 uEOUJl1K.net
むしろプラットフォームに依存しないようなソフトしか書けないやろ
1015:デフォルトの名無しさん
16/02/03 17:44:14.30 vZagwsW/.net
>>901に被せただけで特に意味はなかったが、クロスコンパイル環境は普通にあるのな
Androidなら誰か暇人が作ってそうだけど、あっても古くてメンテされてないかな
>>998
そのコメントは流石に的が外れすぎてる
1016:デフォルトの名無しさん
16/02/03 20:41:29.18 WaqhOfMD.net
というかそもそもGHCはLLVMに対応してるからな
1017:デフォルトの名無しさん
16/02/03 20:54:22.37 jdFVwRiR.net
>>995
キッズが空き時間にスマホにBluetoothキーボード繋いでCodeForcesやるだろ
1018:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています