Question

Understanding “Finding the Dynamic Type in a Generic Context”

score 109 · Answer 1 · 2024-02-16T08:44:52.113000

109

Views

Understanding “Finding the Dynamic Type in a Generic Context”

Published on 16 February 2024 at 08:44

score 87 · Answer 2 · 2023-09-27T21:01:08.097000

87

Views

What is the basic type that underlies all other Swift types?

Published on 27 September 2023 at 21:01

score 96 · Answer 3 · 2023-08-28T19:02:05.087000

96

Views

In Scala 3 (dotty) or Scala 2, how to make dependent types transitive?

Published on 28 August 2023 at 19:02

score 122 · Answer 4 · 2023-06-27T01:31:04.313000

122

Views

What's the role of unification in Coq's core type system?

Published on 27 June 2023 at 01:31

score 70 · Answer 5 · 2023-06-23T15:57:52.457000

70

Views

Why the `Let-in` construct cannot be defined as a derived form in a dependently-typed language?

Published on 23 June 2023 at 15:57

score 359 · Answer 6 · 2023-06-11T08:38:20.340000

359

Views

Swift: Is there still a use case for type erasure since the introduction of primary associated types?

Published on 11 June 2023 at 08:38

score 78 · Answer 7 · 2023-05-24T13:32:13.813000

78

Views

Kotlin extension function for nullable types ONLY

Published on 24 May 2023 at 13:32

score 126 · Answer 8 · 2023-02-16T11:58:33.837000

126

Views

What does "w.r.t. " mean in Kotlin?

Published on 16 February 2023 at 11:58

score 395 · Answer 9 · 2023-01-31T13:58:58.363000

395

Views

Can assert a variable to be an instance of a String in Deno

Published on 31 January 2023 at 13:58

score 337 · Answer 10 · 2023-01-31T01:12:17.397000

337

Views

In intuitionistic type theory, can any proof written in CoC be rewritten in system λP2? Or, does CoC = λP2?

Published on 31 January 2023 at 01:12

score 76 · Answer 11 · 2023-01-03T22:56:03.650000

76

Views

In scala3/dotty. Why is it impossible to mix in a type definition with constraint?

Published on 03 January 2023 at 22:56

score 396 · Answer 12 · 2022-12-22T08:15:36.393000

396

Views

How to implement associated types in Python/Mypy? Or, what to do when wanting sub-classes to have subclass arguments?

Published on 22 December 2022 at 08:15

score 388 · Answer 13 · 2022-11-24T05:49:13.050000

388

Views

TS check if Type contains 'null' Type

Published on 24 November 2022 at 05:49

score 287 · Answer 14 · 2022-11-03T10:48:29.607000

287

Views

What is the Haskell equivalence of Rust's associated types?

Published on 03 November 2022 at 10:48

score 821 · Answer 15 · 2022-10-24T11:02:21.437000

821

Views

Why is char different from both signed char and unsigned char?

Published on 24 October 2022 at 11:02

score 313 · Answer 16 · 2022-09-29T04:34:34.760000

313

Views

How to model several types with parent-child relationships and chaining methods which all extend the same base class?

Published on 29 September 2022 at 04:34

score 346 · Answer 17 · 2022-09-19T10:47:08.183000

346

Views

function types with generics and function expressions

Published on 19 September 2022 at 10:47

score 55 · Answer 18 · 2022-08-23T03:45:31.617000

55

Views

Is Python's flexibility in the types of list elements a consequence of dynamic typing?

Published on 23 August 2022 at 03:45

score 167 · Answer 19 · 2022-08-17T14:47:40.563000

167

Views

Modelling the composition of units (e.g. Inch, Dollar, etc) in Haskell

Published on 17 August 2022 at 14:47

score 211 · Answer 20 · 2022-08-17T13:08:52.280000

211

Views

F# error: "Either make the arguments to 'it' explicit or, if you do not intend for it to be generic, add a type annotation."

Published on 17 August 2022 at 13:08

List Question

Understanding “Finding the Dynamic Type in a Generic Context”

What is the basic type that underlies all other Swift types?

In Scala 3 (dotty) or Scala 2, how to make dependent types transitive?

What's the role of unification in Coq's core type system?

Why the `Let-in` construct cannot be defined as a derived form in a dependently-typed language?

Swift: Is there still a use case for type erasure since the introduction of primary associated types?

Kotlin extension function for nullable types ONLY

What does "w.r.t. " mean in Kotlin?

Can assert a variable to be an instance of a String in Deno

In intuitionistic type theory, can any proof written in CoC be rewritten in system λP2? Or, does CoC = λP2?

In scala3/dotty. Why is it impossible to mix in a type definition with constraint?

How to implement associated types in Python/Mypy? Or, what to do when wanting sub-classes to have subclass arguments?

TS check if Type contains 'null' Type

What is the Haskell equivalence of Rust's associated types?

Why is char different from both signed char and unsigned char?

How to model several types with parent-child relationships and chaining methods which all extend the same base class?

function types with generics and function expressions

Is Python's flexibility in the types of list elements a consequence of dynamic typing?

Modelling the composition of units (e.g. Inch, Dollar, etc) in Haskell

F# error: "Either make the arguments to 'it' explicit or, if you do not intend for it to be generic, add a type annotation."

Trending Questions

Popular # Hahtags

Popular Questions