type-inference

0熱度

1回答

Scala的類型推斷的重載方法失敗，儘管不衝突的簽名

% scala Welcome to Scala 2.12.3 (Java HotSpot(TM) 64-Bit Server VM, Java 1.8.0_111). Type in expressions for evaluation. Or try :help. scala> trait Op[-Y, -Z, +A, +B] { | de

scala types type-inference 2017-10-09

---

2熱度

1回答

爲什麼編譯器將不同名稱的泛型類型變量的兩個等價簽名標識爲不同的類型？

問題 爲什麼 val of_bindings : (key * '_a) list -> '_a t val of_bindings : (key * 'a) list -> 'a t 不同的簽名？ 語境 我有一些地圖擴展實現： MAPEXT.ml： module type T = sig include Map.S val of_bindings : (key * '

generics ocaml type-inference type-signature type-variables 2017-10-09

---

1熱度

3回答

爲什麼不使用類型推斷在具有多個唯一類型的默認參數的swift函數的情況下進行救援？

考慮下面的方法簽名： func doSomething(_ boolToConsider: Bool = false, _ stringToConsider: String? = nil) 在以下的錯誤結果的方式調用此方法： doSomething("foo") 爲什麼不斯威夫特承認，我是打算使用默認的boolToConsider和提供的stringToConsider？

swift type-inference method-overloading default-parameters 2017-10-10

---

0熱度

4回答

Infere函數返回類型

我有一個class，非常不幸，它依賴於兩步初始化。這意味着，正在興建後，對象是還沒有準備好被使用，除非初始化方法被調用： class A { public: A(); bool init(); private: bool m_is_initialized; }; 類機構應當按照本政策的其他每個方法：如果該方法被調用的類時尚未初始化時，該方法應停止執行並在

c++ macros initialization type-inference 2017-10-13

---

1熱度

1回答

打印（）的長參數會產生錯誤「表達式太複雜而無法解決」

我是新的Swift，當我想要構建此代碼時遇到問題。 「表達太複雜，無法在合理的時間內解決;考慮將表達分解爲不同的子表達式」。 我想我的方法來管理屬性，當我想打印的東西是錯誤的，但我沒有找到原因。 class Personne{ var name : String var forename : String init(name : String, forename:St

swift inheritance compiler-errors type-inference 2017-12-02

---

2熱度

2回答

從左到右自變量類型推斷

我有一種情況，我希望根據（幾個，比如5到10）optionals的存在對對象進行修改。所以基本上，如果我是勢在必行做到這一點，是我的目標是爲： var myObject = ... if (option.isDefined) { myObject = myObject.modify(option.get) } if (option2.isDefined) { myObje

scala implicit-conversion type-inference 2017-10-17

---

3熱度

1回答

（Visual-）用於字符串文字的C++模板類型推斷 - VS 2010 vs VS 2017

在嘗試爲字符串文字添加模板專業化時，我注意到VS 2017編譯器和VS 2010編譯器之間的行爲差​​異從2017年VS） 這是有問題的代碼：使用默認的編譯器VS 2017年 #include <iostream> template <typename T> struct foo { static const int a = -1; }; template <size_t

c++ templates visual-c++ type-inference 2017-10-19

---

1熱度

1回答

MultiSet.Entry和泛型的比較器

我需要一個番石榴MultiSet.Entry的比較器，按count計數和String second排序。但是，我遇到了編譯器問題，我想我對泛型有所錯誤。 這編譯： Comparator<Multiset.Entry<String>> comparator() { return Comparator.comparing(Multiset.Entry::getCount); } 然而，

java generics type-inference 2017-10-21

---

1熱度

1回答

打字稿類型推斷，展開運算符和多種類型返回

interface SkillProperty { [name: string] : number }; let skills: SkillProperty; skills = {}; // ok skills = { fire: 123 }; // ok skills = { ...skills, // ok

typescript type-inference spread 2017-09-13

---

4熱度

1回答

Haskell類型簽名中類型「a」和類型「t」之間的區別是什麼？

Haskell類型簽名中的兩種類型「a」和「t」之間是否存在任何差別，或者它只有類型「a」和類型「b」的不同名稱？ 在 https://www.haskell.org/tutorial/goodies.html類型並[a] 被定義爲如下： 並[a]是組成的類型的家庭，對於每個類型，的列表的 類型。整數列表（例如[1,2,3]），字符列表 （['a'，'b'，'c']），甚至整數列表等等，都是 這個

haskell type-inference 2017-09-14

---