在 Dhall 中逐漸打字

[英]Gradual typing in Dhall

Dhall 網站有一個很好的例子： 就像評論要求我做的那樣，我添加了另一個字段： foo: Text到Config類型，現在示例無法進行類型檢查。 這讓我無法逐步向現有項目添加類型。 隨着我越來越熟悉我不擁有的項目的動態配置，我缺少一個逃生艙口來讓我逐漸增加知識。 我敢打賭這是一種常見情況：“我正 ...

"無法理解漸變中的警告"

[英]Cannot understand warnings in Gradient

背景<\/h2>我現在正在嘗試 Gradual 類型檢查，因此我正在嘗試Gradient<\/a> 。 在我看來，這是 Dialyzer 的替代品。問題<\/h2>所以，在我的第一個代碼片段中，我從一個純函數開始： ...

可選或默認的泛型參數

[英]Optional or default generic parameters

假設我有 3 個通用參數： 如何使參數可選？ 如果用戶只提供第一個參數，我如何給參數默認值？ 使用 TypeScript，看起來像： 因此，如果用戶不提供 T 和 E，則默認為any 。 有沒有辦法用 Java 做到這一點？ ...