ScalaでOCamlスタイルの型のバリエーションを定義する

Question

私はScalaを初めて使っていますが、OCamlと他のMLファミリの関数型プログラミング言語を使用した経験があります。

OCamlスタイルタイプのバリアントをどのように定義できますか？たとえば、

type fruit = Apple | Orange | Strawberry 
let analysis f = 
    match f with 
    | Apple -> ... 
    | Orange -> ... 
    | Strawberry -> ... 

この質問があまりにも素朴であれば申し訳ありません。誰かが私に助けてくれることを願っています。

Answer 1

私はOCamlについてよく分かりませんが、このようなことをしようとしているようです。

sealed abstract class Fruit 
class Apple extends Fruit 
class Orange extends Fruit 
class Strawberry extends Fruit 

def mixFruit(f: Fruit) = f match { 
    case a: Apple =>  // do something with a 
    case o: Orange =>  // do something with o 
    case s: Strawberry => // do something with s 
}