A Gentle Introduction to Haskell: Classes

やさしい Haskell 入門 ( バージョン 98 ) back next top 5 型クラスと多重定義 最後に他のプログラミング言語とは違う Haskell の型システムの特徴について 説明しましょう。すでに述べてきた多相は、パラメータ ( parametric )多相とよばれるものです。このほかに アドホック多相とよばれる種類のものもあります。これは 多重定義( overloading )という呼びかたのほうがよく知られ ているかもしれません。アドホック多相の例をいくつかあげると、 1、2 などのリテラルは、固定長の整数と任意長の整数の両 方でつかわれることが多い。 + のような数値演算子は何種類もの数値上で定義されることが多い。 同値演算子( Haskell では == )はふつう数値とその他多く(すべてで はない)の型の上で動作することが多い。 こうした多重定義されたものの振