adhoc-polymorphism

2熱度

1回答

我的程序給定的代碼是： class Hive { private: Bee* queen; Bee* worker; Bee* drone; public: Hive(); void activity(); ~Hive(); }; 編碼的指令的已經提供了，我必須添加代碼。作爲編碼我的構造，具有以下

4熱度

3回答

OCaml中的多態性 - 特設，參數化，包含/子類型

我在理解不同類型的多態性時遇到問題，特別是關於OCaml。我明白，多態性允許OCaml中的多種類型表示爲'a，但我不明白不同類型的多態性是什麼。如果有人可以給我一個相對低級的語言解釋，那就太棒了！特設，參數，包含/子類型

9熱度

2回答

在ad-hoc多態函數和參數多態函數之間轉換的好方法

我想知道是否有一般方法在ad-hoc多態函數和參數多態函數之間進行轉換。換句話說，給定一個特殊的多態函數，如何實現它的參數對應？另一種方式呢？以sort爲例。它很容易在sortBy方面寫sort :: Ord a => [a] -> [a]： sort :: Ord a => [a] -> [a] sort = sortBy compare 但反過來似乎棘手，到目前爲止，我所能做的最好是去

3熱度

1回答

Ad-hoc多態 - 類型

我看了一下scalaz tutorial。從this link，我明白下面的代碼： scala> def sum[A](xs: List[A])(implicit m: Monoid[A]): A = xs.foldLeft(m.mzero)(m.mappend) sum: [A](xs: List[A])(implicit m: Monoid[A])A scala> implicit v

1熱度

1回答

當本地定義具有不同參數的函數時，不能調用靜態導入的重載函數嗎？

我有以下簡單的Java代碼： A.java import static a.A1.*; import static a.A2.*; class Main { public static int g() {return 999;} static { System.out.println("f('a'): " + f('a')); System.out.

0熱度

3回答

有沒有辦法在Python中獲得ad-hoc多態性？

許多語言支持ad-hoc polymorphism（也稱爲函數重載）開箱即用。但是，Python似乎沒有選擇它。不過，我可以想象，可能有一個技巧或者一個能夠在Python中實現的技巧。有誰知道這樣的工具？例如，在Haskell一個可能用它來生成測試數據，不同的類型： -- In some testing library: class Randomizable a where genR