可以斷言變量是 Deno 中字符串的實例
[英]Can assert a variable to be an instance of a String in Deno
似乎無法在 Deno 中斷言string實例：import { assertInstanceOf } from "https://deno.land/std@0.174.0/testing/asserts.ts"; assertInstanceOf( "foo", string ); 投擲： ...
TS 檢查 Type 是否包含 'null' Type
[英]TS check if Type contains 'null' Type
我定義了以下兩個 Typescript 類型。 其中一種類型包含null另一種也不包含。 是否可以檢查這種類型是否存在null ？ 我不想在具體實例上檢查這些東西，而是在類型系統本身上檢查。 類似於in關鍵字。 ...
如何 model 幾種具有父子關系和鏈接方法的類型都擴展了相同的基礎 class？
[英]How to model several types with parent-child relationships and chaining methods which all extend the same base class?
我正在嘗試創建和 model 一系列類的類型，這些類可以在鏈中調用，以便在最深的 class 上執行一個方法。這些類中的每一個都代表一個resource ，並且應該擴展一個具有一些基本的Resource class這些類中的每一個至少應該擁有的方法。 每個資源也可以有一個父節點（在樹遍歷節點意義上 ...
function 類型與 generics 和 function 表達式
[英]function types with generics and function expressions
假設我有一個通用 function 的定義，它對T類型的值做一些事情： 現在，我想捕獲 function 的類型。 例如，一個用例可能是我想在未來計划定義的更復雜的類型中使用它。 它的 function 類型可以定義為： 到目前為止，一切都很好。 但是，到目前為止，我的代碼中沒有任何內容表明doSo ...
Python 在列表元素類型方面的靈活性是動態類型的結果嗎？
[英]Is Python's flexibility in the types of list elements a consequence of dynamic typing?
我是 Python 的新手，在 C++ 方面有一些經驗。 （不幸的是，只有兩個樣本點，任何一對特征要么不相關，要么完全相關。）在 Python 中，同一列表中的元素可以具有任何類型。 在 C++ 中，STL 容器包含同質類型。 (I suppose it is possible to mimi ...
在 Haskell 中對單位（例如英寸、美元等）的組成進行建模
[英]Modelling the composition of units (e.g. Inch, Dollar, etc) in Haskell
繼我的上一個問題之后，我問我如何創建一個類型，它將 model 一個單位（例如Inch ）作為 Haskell 中的一種類型，我現在面臨如何對該單位和其他單位執行操作並混合的問題他們正確。 例如，給定：{-# LANGUAGE DeriveGeneric, DeriveAnyClass #-} i ...
F# 錯誤：“要么將 arguments 設置為‘它’顯式，或者，如果您不打算讓它成為通用的，請添加類型注釋。”
[英]F# error: "Either make the arguments to 'it' explicit or, if you do not intend for it to be generic, add a type annotation."
在 F# 交互式 shell dotnet fsi fsi 中，我正在嘗試測試flip function 就像在 ZA59B7DFEZE267 中一樣flip:: (a -> b -> c) -> b -> a -> c 然后，調查內置的管道運算符， 到目前為止，一切 ...
為什么在運行時需要 java 類型擦除？
[英]Why java type erasure is needed at runtime at all?
以下是java 文檔的摘錄由於類型擦除， List<Number>和List<String>都變成了 List。 因此，編譯器允許將具有 List 原始類型的 object l 分配給 object ls。 也來自相同的文檔考慮以下示例： 在類型擦除期間，類型 ArrayL ...
為什么 KFunction2 在 Kotlin 中不是可表示類型？
[英]Why is KFunction2 not a denotable type in Kotlin?
假設我們在 Kotlin（版本 1.6.21，針對 JVM 17）中有以下類： interface Cursor( fun seekOrNext(target: String): Boolean fun seekOrPrevious(target: String): Boolean ...
匹配模板模板類型參數
[英]match against template template type parameter
假設我想對具有特定成員（約束）的任何容器進行類型匹配 - 但還將類型變量綁定到容器和成員。 例如讓T和U為類和成員Someclass.member對應的模板類型變量。 這可能嗎？ 讓我們通過模板化容器來簡化事情。 這會將成員類型作為允許移除約束的模板類型參數移動到類型系統中。 現在我可以將類型變量 ...
在編譯時延遲選擇類型
[英]deferred selection of types during compile-time
當類型取決於函數中稍后可用的編譯時信息時，我是否有一種標准方法可以在 c++20 的編譯時選擇類型，即由於中間編譯時依賴關系，類型被“延遲”。 例如像這樣的東西，它依賴於auto關鍵字但不編譯： 或者這個例子依賴於static if提議，它阻止if constexpr條件創建新范圍。 該提案未 ...
無法使用 T = vector 創建遞歸類型<t::iterator> `</t::iterator>
[英]Can't create recursive type `using T = vector<T::iterator>`
我正在嘗試創建一個包含自己的迭代器作為元素的向量，但我發現無法完全擴展類型聲明。 另一種失敗的方法是： 使用未聲明的標識符 'MyVectorType' 嘗試使用中間聲明也失敗 錯誤：“MyVectorType_incomplete”不是 class， 命名空間或枚舉顯然使用指針可以解決這個問題。 ...
[F#][類型推斷] - 如何改進我的程序？
[英][F#][Type inference] - How to improve my program?
我目前正在構建一個程序，使用以下 AST 在 F# 中進行類型推斷： 類型推斷算法如下： 我想解釋一下為什么當我啟動程序並在 shell 中寫入以下行時： let test = fun x -> x;; 類型推斷返回的類型是'b ->'b而不是'a ->' a 。 這可能是因為在 ...
在 Typescript 模板文字中使用 infer 關鍵字從句子中提取特定部分？
[英]Extract specific parts from sentence by using infer keyword in Typescript Template Literal?
假設輸入一個句子包含一兩個空格，結構${Verb}${one or two spaces}${Activity} ，如何提取 Typescript 中的Verb和Activity ？ 我得到了結果類型["play", "chess"] | ["write", " code" | "code"] | ...
剛性類型變量
[英]Rigid type variable
在以下示例中，我在內部實現 function f 。 它的簽名使用a就好像類型變量a是作用域的一樣，即使我沒有啟用擴展ScopedTypeVariables ，它也可以正常工作而不會給我一個編譯錯誤： 我期待錯誤： "Couldn't match type 'a1' with 'a'...."因為正 ...
余數據類型真的是終端代數嗎？
[英]Are codatatypes really terminal algebras?
（免責聲明：我不是 100% 確定 codatatype 是如何工作的，尤其是在不涉及終端代數時）。 考慮“類型的類別”，類似於Hask ，但可以進行任何適合討論的調整。 在這樣一個類別中，據說（1）初始代數定義數據類型，（2）終端代數定義余數據類型。 我正在努力說服自己相信（2）。 考慮函子T ...
Haskell 類型聲明中的符號“？”是什么意思？
[英]What does the symbol `!` mean in type declarations in Haskell?
在我對 Haskell 的研究中，我看到了這個符號! 在類型聲明中使用。 看一個例子：data Foo = MkFoo { _bar :: !Bar , ... } 我的問題是：為什么要使用它，沒有它的聲明有什么區別？ ...
是否有任何內存高效的 Java 等效於 C 聯合或 C++ std::variant？
[英]Is There Any Memory-Efficient Java Equivalent to C unions or C++ std::variant?
我有一個包含T和int的類Element<T> ： 當沒有存儲T ，我想將obj用作指向元素或索引的指針： 當然，我不能這樣做，因為 Java 沒有聯合或變體（如在 c++ 變體中）並且具有嚴格的類型系統。 請注意，我希望能夠通過 obj 訪問 Element，但如果有幫助，我 ...
算法 W（或 Haskell）中的函數參數不是多態的嗎？
[英]Are function parameters not polymorphic in Algorithm W (or Haskell)?
我正在為一種玩具語言實施算法 W。 我遇到了一個我認為會進行類型檢查的案例，但事實並非如此。 我在 Haskell 中嘗試了同樣的方法，但令我驚訝的是它在那里也不起作用。 我認為id是多態的，但似乎不是。 請注意，如果id是使用 let 而不是作為參數傳遞的，則此示例有效： 在查看算法 W ...
如果未檢查函數返回值，如何在 C++(17) 中強制編譯錯誤？ 理想情況下通過類型系統
[英]How to force a compile error in C++(17) if a function return value isn't checked? Ideally through the type system
我們正在編寫安全關鍵代碼，我想要一種比[[nodiscard]]更強大的方法來確保編譯器捕獲對函數返回值的檢查。 [更新] 感謝評論中的所有討論。 讓我澄清一下，這個問題可能看起來是人為的，或者不是“典型用例”，或者不是其他人會怎么做。 如果這樣可以更容易地忽略“為什么你不這樣做呢？”，請 ...