スクロールでfoldRight、foldLeft、unfoldのみを使用してマップ関数を実装する

Question

私は、foldRight、foldLeftおよびunfoldだけを使ってMap関数を実装する必要があります。つまり、リスト内のすべての要素をループし、関数fを適用する必要があります。

私は次のように自分のリストを宣言している：

abstract class IntList 
case class Nil() extends IntList 
case class Cons(h: Int, t: IntList) extends IntList 

そして私はfoldRight、foldLeftを実装した機能を展開しました。

、新たなマップ機能の実装：

def map(ls: IntList, f: Int => Int): IntList = // ?? 

私は今しばらく考えてきたが、私はどこから始めの手がかりを持っていません。私はマップ関数で再帰を使用しないかもしれません。私は、折り目の力を組み合わせて一緒に展開しなければならないと確信しています。 Unfoldはマップの戻り値の型であるIntListを返します。しかし、私はこの機能で何を与えなければならないのか分かりません。

誰か手掛かりがありますか？ :)

Answer 1

一致する引数を入力します。例えば

あなたがfoldRightを使用しようとしている場合には、mapで返されるタイプだから、その後Bは、IntListでなければなりません。タイプに一致する値を持つ任意の値をfoldRightに入力してください。 [前のコメントへの返信で。]

Answer 2

私はあなたが与えられる展開の正確な変種分かりません。

(* unfold : ('a -> ('b * 'a) option) -> 'a -> 'b list *) 

let rec unfold f x = 
    match f x with 
    | None -> [] 
    | Some (y, x') -> y :: unfold f x' 

その後mapのためのソリューションは以下の通りです：

let map f = unfold (function [] -> None | x::xs -> Some (f x, xs)) 

希望に役立つこと、それは、この（OCamlでは、申し訳ありませんが、Scalaは今インストールされていない）のようなものだと仮定。