ScalaでList[(Long, Long)]を再帰関数で得る方法について教えてください。

Question

前提・実現したいこと

Scalaで引数のペアをもつリストを戻り値とする再帰関数を書いています。例えば引数が1000だった場合、(1000,1000),(999,999),(998,998),(997,997),...が戻り値になります。

発生している問題・エラーメッセージ

本来はList[(Long, Long)]を戻して欲しいのですが、おそらく条件を満たさなかった場合にList[Unit]を戻してしまっています。

エラーメッセージ
On line 4: error: type mismatch;
found : Unit
required: (Long, Long)

該当のソースコード

Scala 2.13.3
ソースコード
def recursion(n: Long) : List[(Long, Long)] = {
if(n == 1) List((n, n))
else if(n > 1) List((n, n)) ++ recursion(n - 1)
else List(())
}

試したこと

何を直せばいいのか全くわからず混乱している状況です。試しに戻り値をList[Long]にしてみたらそのときは正常に動きました。よろしくお願いします。

Answer 1

エラー文の通りですが、4行目の「List(())」の型が期待したものと異なります
「List[(Long, Long)]」を期待しているのに「List[Unit]」になってしまっていますね

「()」の型が何になるか確認し、
それの代わりに「（Long, Long）」の型に相当するオブジェクトを当てはめるのがよさそうに見えます。
（他にも気になる部分はありますが、今回の問題は解消されるかと思われます）

補足

今回の質問と脱線してしまいますが、
IDEを使って試してみると理解や解析がすすみやすいかなと思います。

（Scala に限りませんが）型が一致するか、文法がただしいかを確認するのは結構な高コストですが、
IDEなどの開発ツールでその部分を強く補助してくれるので、使った方が実装自体だけでなく、理解も深まるかと思います。
個人的には Intellij IDEA がおススメです。

今回のケースですと、以下のように型のアンマッチをグラフィカルに表示してくれます（画像は IntelliJ IDEA Community版）。

Comments

[nateriver111208]

丁寧な回答ありがとうございます！

[kiino]

コメントありがとうございます。
解決しましたでしょうか？

解決済みにしていただけると嬉しいです。

Answer 2

エラーメッセージを読んでください。答えが書いてあります。
それ何かの課題ですよね？
ただ答えを教えてもらうのではなく、理解できるところまで戻って復習したほうが良いと思いますよ。