部分関数を使用してScalaのSetモデルを作成します。タイプエイリアス：Set = Int => Boolean

Question

タイプエイリアスがどのように機能するのか、そして拡張子によって、type Set = Int => Booleanでモデル化された単純なSetタイプが部分的な機能を持つクラスとして書き直される方法を理解しようとしています。

背景：

type Set = Int => Boolean 
def union(s: Set, t: Set): Set = (x => s(x) || t(x)) 
def contains(s: Set, n: Int): Boolean = s(n) 
val s1 = Set(3) 
val s2 = Set(7) 
val u1 = union(s1, s2) 
contains(u1, 3)    // res4: Boolean = true 

すべてが順調と良い：私は上記のようなタイプのエイリアスを作成し、シンプルな機能セットのデータ型として使用できることを理解しています。いくつかの考えを取るが、私はそれがどのように機能するかを知る。私は、私の最初の試みは、このようなものになるだろうクラスにこれを有効にしたいのであれば

union(s: (Int => Boolean), t: (Int => Boolean)): Int => Boolean 

：u1 は、本質的に基づいて、部分関数となる

case class Set(v: Int) { 
    def apply(i: Int) = i == v 
    def contains(n: Int): Boolean = this(n) 
    def union(n: Set): Set = (x => n(x) || apply(x)) // Missing param 
} 

しかし、それは動作しません。 （unionの定義にはコンパイルエラーがあり、xはパラメータがありません）。

これをしばらくお待ちいただいた後、実際にコレクションベースのSetクラスを作成するなどの、もっと不可欠な方法に頼らなくても、同様の型を実装する方法については困惑しています。純粋に機能的な方法でこれを行う方法が必要です。

Answer 1

Intではなく、Int => Booleanをラップする必要があります。だから、

Setの独自の定義について

case class Set(f: Int => Boolean) { 
    def apply(i: Int) = f(i) 
    def union(s: Set) = Set(x => this(x) || s(x)) 
    // or Set(union(f, s.f)) to use existing definition of union 
} 

、applyは単一要素のセットになり、あなたがunionを定義することはできません驚くべきことではない：2つの要素の集合の和集合は、複数の要素を持つことができます。

スカラには値と型の名前空間が別々にあります。 val Set、object Set又はvar Set値を定義し、case classの両方を画定するtype Setまたはclass Setは、唯一タイプSetを定義します。今、Set(3)は、値Setと呼ばれます。最初のコードサンプルにはそのような値がないため、自動的にインポートされるscala.Predefのものを使用します。 scala.Predef.Set(3)は、に拡張され、union(s1, s2)がコンパイルされる理由で、scala.collection.Set[Int]を返します。 case classは、タイプとの両方を値として定義します。したがって、上記のコードでは、scala.Predef.Setの代わりにこの値が使用されるため、Set(3)はコンパイルされません。