この関数のおかしいところを教えてください

Question

latter m n = [[m..n],drop (n - m + 1)/2]

Comments

[ozwk]

何がしたいのかわからないので、何がおかしいとも言えません

[SVC34]

https://teratail.com/questions/73298

[Zuishin]

アカウント作り直しですか。へえ。

Answer 1

追記：エラーを解釈しようと興味に従い回答してみたのですが、質問コメント見落としてました。
いろんな意味で役に立たない回答のようです。失礼しました。

---

この関数のおかしいところを教えてくださいとのことなので・・・
Haskell素人ですので解釈ミスがあると思いますが、WinGHcとリファレンスや解説記事をあさりつつ解釈を試みました。

• 定義全体のエラー

(A)

Prelude> latter m n = [[m..n],drop (n - m + 1)/2]
<interactive>:82:22: error:
    ? Couldn't match expected type ‘[Int]’
                  with actual type ‘[a0] -> [a0]’
    ? Probable cause: ‘(/)’ is applied to too few arguments
      In the expression: drop (n - m + 1) / 2
      In the expression: [[m .. n], drop (n - m + 1) / 2]
      In an equation for ‘latter’:
          latter m n = [[m .. n], drop (n - m + 1) / 2]

最初のCouldn't match expected type ‘[Int]’は自分には難しいですが、
[m..n]と書かれていることからHaskellはm,nがIntであると推論したのだと思います。そこで
[[m..n],...]は[[Int]]であろうと推論したのだと思います。そこで
[[m..n], drop (n - m + 1) / 2]の2要素目の型は[Int]でなければならないのですが、
drop以下の太字の部分の式の型は[Int]ではないと文句を言っているように見えました。

• drop (n - m + 1) / 2

drop (n - m + 1) / 2 は (drop (n - m + 1)) / 2と解釈されると思います。演算子よりメソッド適用の優先度が高いようですので。/とdropの定義をWinGHcにある:iというので見てみると...

(B)

Prelude> :i (/)
class Num a => Fractional a where
  (/) :: a -> a -> a
  ...
  	-- Defined in ‘GHC.Real’
infixl 7 /
Prelude> :i drop
drop :: Int -> [a] -> [a] 	-- Defined in ‘GHC.List’

と出ることからNum(のひとつFractional)に対してしか/は適用できないようです。dropはIntとリストを取ってリストを結果とする関数なので、drop xはリストを取ってリストを返す関数ということになろうかと思います。よってdrop x(=関数)に対する/の適用は評価できないため(B)(A)の２点からこの定義が成立しないということなのだと思います。