很多時候我們有很多實體類型的項目（Hibernate/JPA，...）。實體類型具有類似int的基本類型，long或字符串作爲ID。我們有DAO和服務來獲取並返回這些原語。 long doSomething(long blubId, long blabId, long fooId, long barId, ...)
正如你所看到的，它可以非常混亂。我想從靜態類型檢查中獲得優勢，併爲其提供類型。
有上Idiomatic Python - checking for zero一個問題，但這個問題是考慮也是檢查的條件範圍內的變量的類型。 鑑於0 if not variable else variable樣式聲明，它會讓nully對象漏網之魚，例如 >>> x, y = None, []
>>> 0 if not(x and y) else x/y
0
>>> x, y = None, 0
我目前正在有序矢量數據類型，我試圖創建從數據類型的操作，但我得到一個錯誤： (Set (.Agda.Primitive.lsuc ℓ)) != Set
when checking that the expression A has type Set ℓ
這是數據類型 module ordered-vector (A : Set) (_<A_ : A → A →) where
data o
The built-in type number in Flow允許「異國情調」的值，如Infinity,-Infinity和NaN。 我該如何強制類型只允許實數？ 編輯。 這是不是一個問題如何檢查一個變量是否是實數。 這是關於使用Flow打字。 我正在尋找的方式來寫我的功能，如： // @flow
function sum (x: real, y: real) { ... }
我的問題是如
打字稿編譯器接受以下代碼而不發出錯誤信號： class S {
f(p: number) {
console.log(`${p + 1}`);
}
}
class C extends S {
f(p) {
super.f(p)
}
}
let a: C = new C();
let b: C = new C();
a