Question

Type inference interferes with referential transparency

score 1.1k · Answer 1 · 2014-11-19 14:56:03

1.1k

Views

Type inference interferes with referential transparency

Published on 19 November 2014 at 14:56

score 785 · Answer 2 · 2020-08-02 22:30:52

785

Views

Is this understanding correct: trait and function overloading both achieved ad hoc polymorphism but in different direction

Published on 02 August 2020 at 22:30

score 58 · Answer 3 · 2015-08-19 07:22:13

58

Views

Derived clases and polymorphism

Published on 19 August 2015 at 07:22

score 45 · Answer 4 · 2020-03-29 14:51:43

45

Views

Coq: can I use a type argument as the type of successive argument?

Published on 29 March 2020 at 14:51

score 114 · Answer 5 · 2019-10-29 21:31:36

114

Views

Is coercion different from "coercion polymorphism"?

Published on 29 October 2019 at 21:31

score 63 · Answer 6 · 2021-08-31 20:01:07

63

Views

Using return type polymorphism dictated by type classes

Published on 31 August 2021 at 20:01

score 89 · Answer 7 · 2021-09-03 16:37:04

89

Views

Ad-hoc polymorphism for reflection created case classes Scala

Published on 03 September 2021 at 16:37

score 423 · Answer 8 · 2014-08-31 17:38:39

423

Views

Ad-hoc polymorphism - type classes

Published on 31 August 2014 at 17:38

score 107 · Answer 9 · 2018-12-02 08:19:03

107

Views

How to create a purely functional ad-hoc polymorphic lens without any introspection?

Published on 02 December 2018 at 08:19

score 180 · Answer 10 · 2021-07-08 15:06:10

180

Views

Are there viable and type safe alternatives to the 1:1 type/type-class-instance relation?

Published on 08 July 2021 at 15:06

score 114 · Answer 11 · 2023-02-18 14:07:52

114

Views

How to implement `Constraint` reflection? [Ad-Hoc polymorphism based on available Constraints]

Published on 18 February 2023 at 14:07

score 980 · Answer 12 · 2018-08-27 18:07:13

980

Views

Difference between Ad-hoc polymorphism and Parametric polymorphism in Scala

Published on 27 August 2018 at 18:07

score 669 · Answer 13 · 2019-07-18 20:37:25

669

Views

Does interface belong to ad hoc polymorphism (i.e. overloading) or subtype polymorphism?

Published on 18 July 2019 at 20:37

score 150 · Answer 14 · 2019-03-02 13:20:07

150

Views

Ways to make operator `<` work on custom types

Published on 02 March 2019 at 13:20

score 47 · Answer 15 · 2014-02-21 18:12:58

47

Views

Can't call statically imported overloaded function when one with different parameters is defined locally?

Published on 21 February 2014 at 18:12

score 498 · Answer 16 · 2020-04-13 17:52:18

498

Views

DataSet/DataStream of type class interface

Published on 13 April 2020 at 17:52

score 20 · Answer 17 · 2020-04-28 19:15:18

20

Views

Why isn't my Eq constraint based on an overloaded function correctly inferred?

Published on 28 April 2020 at 19:15

score 191 · Answer 18 · 2014-10-29 14:27:10

191

Views

F#: arithmetic operator and loss of polymorphism (value restriction?)

Published on 29 October 2014 at 14:27

score 2.2k · Answer 19 · 2015-04-28 23:23:03

2.2k

Views

Declaring a "subclass" in Haskell

Published on 28 April 2015 at 23:23

score 1.9k · Answer 20 · 2015-10-16 18:32:18

1.9k

Views

Is there a way to get ad-hoc polymorphism in Python?

Published on 16 October 2015 at 18:32

List Question

Type inference interferes with referential transparency

Is this understanding correct: trait and function overloading both achieved ad hoc polymorphism but in different direction

Derived clases and polymorphism

Coq: can I use a type argument as the type of successive argument?

Is coercion different from "coercion polymorphism"?

Using return type polymorphism dictated by type classes

Ad-hoc polymorphism for reflection created case classes Scala

Ad-hoc polymorphism - type classes

How to create a purely functional ad-hoc polymorphic lens without any introspection?

Are there viable and type safe alternatives to the 1:1 type/type-class-instance relation?

How to implement `Constraint` reflection? [Ad-Hoc polymorphism based on available Constraints]

Difference between Ad-hoc polymorphism and Parametric polymorphism in Scala

Does interface belong to ad hoc polymorphism (i.e. overloading) or subtype polymorphism?

Ways to make operator `<` work on custom types

Can't call statically imported overloaded function when one with different parameters is defined locally?

DataSet/DataStream of type class interface

Why isn't my Eq constraint based on an overloaded function correctly inferred?

F#: arithmetic operator and loss of polymorphism (value restriction?)

Declaring a "subclass" in Haskell

Is there a way to get ad-hoc polymorphism in Python?

Trending Questions

Popular # Hahtags

Popular Questions