DEVHIDE
Login Or Sign up

List Question

20
423
Views

Scala Generic List addition

Published on
#scala #implicit #subtyping
240
Views

How is calling a function on a subtype implemented?

Published on
#c++ #polymorphism #language-design #subtyping
466
Views

How to define Subtypes in Isabelle and what they mean?

Published on
#isabelle #subtyping #isar
1k
Views

Tables whose sole purpose is specify a subset of another table

Published on
#mysql #database-design #subset #subtyping
342
Views

Align polymorphic variant types between calling function and callback

Published on
#types #ocaml #algebraic-data-types #subtyping
225
Views

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

Published on
#javascript #polymorphism #flowtype #subtyping #structural-typing
71
Views

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

Published on
#java #arrays #generics #subtyping
1.1k
Views

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

Published on
#rust #subtyping #trait-objects
134
Views

Semantics (Subtyping)

Published on
#haskell #grammar #semantics #subtyping
116
Views

Record Subtyping in Coq, questions and references requested

Published on
#record #coq #subtyping
108
Views

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

Published on
#scala #types #subtyping
77
Views

Why coq doesn't use subtyping for logical or?

Published on
#coq #type-theory #subtyping
94
Views

Is this an example of a functional subtype relationship?

Published on
#types #covariance #typing #subtyping #generic-variance
133
Views

Does contravariance and covariance means using also the same type?

Published on
#c# #oop #inheritance #types #subtyping
466
Views

Why scala self type is not a subtype of its requirement

Published on
#scala #inheritance #subtyping #self-type
278
Views

Can Standard ML express subtypes of datatypes?

Published on
#sml #union-types #subtyping
697
Views

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

Published on
#java #haskell #types #liskov-substitution-principle #subtyping
76
Views

Scala Generic type and subtyping

Published on
#scala #generics #subtyping
447
Views

C# how to avoid typecasting to subclass?

Published on
#c# #.net #subtyping
93
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
#java #generics #interface #extends #subtyping

Trending Questions

Popular # Hahtags

javascript python java c# php android html jquery c++ css ios sql mysql r reactjs node.js arrays c asp.net json python-3.x ruby-on-rails .net sql-server swift django angular objective-c pandas excel

Popular Questions

Copyright © 2021 Jogjafile Inc.