List Question
20 TechQA 2024-02-16T08:44:52.113000Understanding “Finding the Dynamic Type in a Generic Context”
109 views
Asked by Thai D. V.
What is the basic type that underlies all other Swift types?
87 views
Asked by Frævik
In Scala 3 (dotty) or Scala 2, how to make dependent types transitive?
96 views
Asked by tribbloid
What's the role of unification in Coq's core type system?
122 views
Asked by yiyuan-cao
Why the `Let-in` construct cannot be defined as a derived form in a dependently-typed language?
70 views
Asked by yiyuan-cao
Kotlin extension function for nullable types ONLY
78 views
Asked by TWiStErRob
What does "w.r.t. " mean in Kotlin?
126 views
Asked by Chinese Cat
Can assert a variable to be an instance of a String in Deno
395 views
Asked by jjmerelo
In intuitionistic type theory, can any proof written in CoC be rewritten in system λP2? Or, does CoC = λP2?
337 views
Asked by tribbloid
In scala3/dotty. Why is it impossible to mix in a type definition with constraint?
76 views
Asked by tribbloid
TS check if Type contains 'null' Type
388 views
Asked by Stefc
What is the Haskell equivalence of Rust's associated types?
287 views
Asked by Jw C
Why is char different from *both* signed char and unsigned char?
821 views
Asked by Tau
function types with generics and function expressions
346 views
Asked by Marcus Junius Brutus
Is Python's flexibility in the types of list elements a consequence of dynamic typing?
55 views
Asked by lamc
Modelling the composition of units (e.g. Inch, Dollar, etc) in Haskell
167 views
Asked by Jir
F# error: "Either make the arguments to 'it' explicit or, if you do not intend for it to be generic, add a type annotation."
211 views
Asked by SmoothTraderKen