Haskellで関数のオーバーロードを実装します。

Question

C++プログラムと同様のHaskellコードを記述するための問題に取り組んでいます。

C++コードは：

class Rectangle 
{ 
    private: 
     int length; 
     int width; 
    public: 
     Rectangle() 
     { 
      length = 0; 
      width = 0; 
     } 
     Rectangle(int x) 
     { 
      length = x; 
      width =0; 
     } 
     Rectangle (int x , int y) 
     { 
      length = x; 
      width = y; 
     } 
}; 

同様のHaskellのコードを記述するiは、私はコンストラクタとして作用することができる負荷を機能させると考え

data Rectangle = Rectangle Length Width deriving (Eq, Show , Read) 
type Length = Int 
type Width = Int 

長方形

データ型を作りました。しかし、私は引数の異なる数で関数のオーバーロードを実装する方法を理解していません。 助けてください。ありがとう。

Answer 1

、そしておそらく後で混乱エラーにつながる：

は今、あなたは、いくつかの Rectangle値を定義することができます。代わりに、あなたは単にデータを構築する関数を定義する必要があります

point :: Rectangle 
point = Rectangle 0 0 

line :: Length -> Rectangle 
line l = Rectangle l 0 

square :: Int -> Rectangle 
square a = Rectangle a a 

これは、あなたがセマンティクス各オーバーロードのを説明する明確な名前を付けることができます、というよりもそのあなたを明確にするために与えられた引数の数と型に頼ります平均。

あなたがオーバーロードされたバージョンを書いてみませんしかし、もし、あなたが型クラスで簡単にそれを行うことができます。

class MakeRectangle a where 
    rectangle :: a 

instance MakeRectangle Rectangle where 
    rectangle = Rectangle 0 0 

instance MakeRectangle (Length -> Rectangle) where 
    rectangle l = Rectangle l 0 

instance MakeRectangle (Length -> Width -> Rectangle) where 
    rectangle = Rectangle 

あなたはこれをコンパイルするために、ファイルの先頭に{-# LANGUAGE FlexibleInstances #-}が必要になります。このようなトリックは標準のText.Printfライブラリで使用されていますが、Haskellでのオーバーロードの特に良い例ではありません。オーバーロードされた値の型にはほとんど常にいくつかの構造がありますが、ここではその構造全体が型推論の方法で得られるインスタンスによって決まります。それだけでなく、インスタンスを支配する合理的な法律はありません（実際、そのタイプは許可するにはあまりにも一般的です）。

しかし、本当にやりたければできますが、通常は悪い考えですが（時にはprintfのように）、それはあなたが望むインターフェイスを達成する唯一の方法です。あなたが明示的に使用している型を指定する必要があります、またはインスタンスを解決することはできません、GHCiの中でこれを試してみ

：

GHCi> rectangle :: Rectangle 
Rectangle 0 0 
GHCi> rectangle (1 :: Length) :: Rectangle 
Rectangle 1 0 
GHCi> rectangle (1 :: Length) (2 :: Width) :: Rectangle 
Rectangle 1 2 

Answer 2

レコード構文を使用して、その動作に到達できます。

data Rectangle = Rectangle {len :: Length, width :: Width} deriving (Eq, Show , Read) 
type Length = Int 
type Width = Int 

rectangle = Rectangle { len = 0, width = 0 } 

rectangle :: Rectangleここにコンストラクタがあります。それはHaskellで、このようなオーバーロードを行うことことは可能ですが、それは慣用考えられていない、

λ> let a = rectangle {len = 1} 

λ> a 
Rectangle {len = 1, width = 0} 

Answer 3

は、あなたがしているものではありません単純にこれを探しています：

data Rectangle = Point | Line Int | Rectangle Int Int