Question

Scala Generic List addition

score 376 · Answer 1 · 2016-12-19 11:55:51

376

Views

Scala Generic List addition

Published on 19 December 2016 at 11:55

score 189 · Answer 2 · 2016-12-22 18:52:05

189

Views

How is calling a function on a subtype implemented?

Published on 22 December 2016 at 18:52

score 420 · Answer 3 · 2014-11-11 13:16:52

420

Views

How to define Subtypes in Isabelle and what they mean?

Published on 11 November 2014 at 13:16

score 1k · Answer 4 · 2014-11-27 20:54:29

1k

Views

Tables whose sole purpose is specify a subset of another table

Published on 27 November 2014 at 20:54

score 293 · Answer 5 · 2017-09-03 22:57:15

293

Views

Align polymorphic variant types between calling function and callback

Published on 03 September 2017 at 22:57

score 177 · Answer 6 · 2017-09-14 19:57:07

177

Views

Is flow's information loss associated with structural subtyping inherent to this kind of polymorphism?

Published on 14 September 2017 at 19:57

score 29 · Answer 7 · 2020-10-06 18:14:13

29

Views

Java - Why is generic subtyping not allowed but subtyping of arrays is allowed

Published on 06 October 2020 at 18:14

score 1.1k · Answer 8 · 2020-10-16 21:30:09

1.1k

Views

Get Rc<RefCell<dyn T>>> on a sub-type

Published on 16 October 2020 at 21:30

score 90 · Answer 9 · 2023-12-06 06:49:02

90

Views

Semantics (Subtyping)

Published on 06 December 2023 at 06:49

score 75 · Answer 10 · 2020-12-15 20:44:20

75

Views

Record Subtyping in Coq, questions and references requested

Published on 15 December 2020 at 20:44

score 91 · Answer 11 · 2022-04-22 17:14:04

91

Views

Declaring a method that uses the subtype class in its signature?

Published on 22 April 2022 at 17:14

score 63 · Answer 12 · 2022-05-02 20:31:37

63

Views

Why coq doesn't use subtyping for logical or?

Published on 02 May 2022 at 20:31

score 55 · Answer 13 · 2021-04-25 19:11:31

55

Views

Is this an example of a functional subtype relationship?

Published on 25 April 2021 at 19:11

score 121 · Answer 14 · 2018-10-07 21:15:18

121

Views

Does contravariance and covariance means using also the same type?

Published on 07 October 2018 at 21:15

score 453 · Answer 15 · 2020-07-18 12:07:58

453

Views

Why scala self type is not a subtype of its requirement

Published on 18 July 2020 at 12:07

score 267 · Answer 16 · 2020-07-19 09:21:21

267

Views

Can Standard ML express subtypes of datatypes?

Published on 19 July 2020 at 09:21

score 683 · Answer 17 · 2020-08-01 21:34:55

683

Views

Does Haskell's type system honor the Liskov Substitution Principle?

Published on 01 August 2020 at 21:34

score 63 · Answer 18 · 2014-05-22 17:49:18

63

Views

Scala Generic type and subtyping

Published on 22 May 2014 at 17:49

score 434 · Answer 19 · 2014-05-30 09:59:35

434

Views

C# how to avoid typecasting to subclass?

Published on 30 May 2014 at 09:59

score 80 · Answer 20 · 2021-02-08 09:47:46

80

Views

How do I correctly restrict a generic interface to extend Number class in Java and be able to run it in another class?

Published on 08 February 2021 at 09:47

List Question

Scala Generic List addition

How is calling a function on a subtype implemented?

How to define Subtypes in Isabelle and what they mean?

Tables whose sole purpose is specify a subset of another table

Align polymorphic variant types between calling function and callback

Is flow's information loss associated with structural subtyping inherent to this kind of polymorphism?

Java - Why is generic subtyping not allowed but subtyping of arrays is allowed

Get Rc<RefCell<dyn T>>> on a sub-type

Semantics (Subtyping)

Record Subtyping in Coq, questions and references requested

Declaring a method that uses the subtype class in its signature?

Why coq doesn't use subtyping for logical or?

Is this an example of a functional subtype relationship?

Does contravariance and covariance means using also the same type?

Why scala self type is not a subtype of its requirement

Can Standard ML express subtypes of datatypes?

Does Haskell's type system honor the Liskov Substitution Principle?

Scala Generic type and subtyping

C# how to avoid typecasting to subclass?

How do I correctly restrict a generic interface to extend Number class in Java and be able to run it in another class?

Trending Questions

Popular # Hahtags

Popular Questions