Question

Dependent types/Parametric polymorphism in Common Lisp?

score 2.1k · Answer 1 · 2017-01-09 14:56:58

2.1k

Views

Dependent types/Parametric polymorphism in Common Lisp?

Published on 09 January 2017 at 14:56

score 294 · Answer 2 · 2014-11-18 13:21:11

294

Views

Type signatures that never make sense

Published on 18 November 2014 at 13:21

score 236 · Answer 3 · 2014-11-21 00:42:38

236

Views

Pass function as a parameter and overload it

Published on 21 November 2014 at 00:42

score 252 · Answer 4 · 2013-12-07 06:13:06

252

Views

Modeling a binary relationship between two types

Published on 07 December 2013 at 06:13

score 1.9k · Answer 5 · 2013-12-07 10:32:11

1.9k

Views

Using a context bound in a class type parameter

Published on 07 December 2013 at 10:32

score 150 · Answer 6 · 2013-12-20 04:08:09

150

Views

Why do constructor calls in C++ and Java require explicit type parameters?

Published on 20 December 2013 at 04:08

score 133 · Answer 7 · 2017-08-29 21:56:33

133

Views

How to solve binding issues with parametric polymorphic higher order functions?

Published on 29 August 2017 at 21:56

score 2.8k · Answer 8 · 2014-01-05 10:29:10

2.8k

Views

The inner workings of `NextMethod()`

Published on 05 January 2014 at 10:29

score 665 · Answer 9 · 2014-01-06 23:49:00

665

Views

Appropriate use of universe polymorphism

Published on 06 January 2014 at 23:49

score 584 · Answer 10 · 2014-01-09 03:58:20

584

Views

OCaml's let polymorphism implementation

Published on 09 January 2014 at 03:58

score 2.8k · Answer 11 · 2014-12-25 00:55:10

2.8k

Views

Is it possible to define a function in Haskell that has an input argument of two possible types?

Published on 25 December 2014 at 00:55

score 57 · Answer 12 · 2023-10-28 15:16:28

57

Views

resolving actual runtime type of generic parameter rather than inferred type

Published on 28 October 2023 at 15:16

score 52 · Answer 13 · 2023-11-09 22:33:20

52

Views

Foreign key parametred to tackle different tables

Published on 09 November 2023 at 22:33

score 3.4k · Answer 14 · 2011-10-17 23:17:20

3.4k

Views

How do I get around Go not having parametric polymorphism?

Published on 17 October 2011 at 23:17

score 824 · Answer 15 · 2020-11-29 19:05:26

824

Views

How to return an Iterator with associated type being generic from a function?

Published on 29 November 2020 at 19:05

score 111 · Answer 16 · 2020-12-11 17:45:11

111

Views

Haskell generic type parameters resolver tool or method

Published on 11 December 2020 at 17:45

score 2.5k · Answer 17 · 2020-12-16 18:23:09

2.5k

Views

Does Rust implement From<Vec<T>> for Vec<U> if I have already implemented From<T> for U?

Published on 16 December 2020 at 18:23

score 52 · Answer 18 · 2022-04-17 21:39:22

52

Views

Extending and/or parametric object as attribute

Published on 17 April 2022 at 21:39

score 225 · Answer 19 · 2021-04-16 20:29:58

225

Views

Casting to arbitrary type in Typed Racket folding a Tree

Published on 16 April 2021 at 20:29

score 525 · Answer 20 · 2021-04-28 20:52:32

525

Views

Polymorphism in Haskell

Published on 28 April 2021 at 20:52

List Question

Dependent types/Parametric polymorphism in Common Lisp?

Type signatures that never make sense

Pass function as a parameter and overload it

Modeling a binary relationship between two types

Using a context bound in a class type parameter

Why do constructor calls in C++ and Java require explicit type parameters?

How to solve binding issues with parametric polymorphic higher order functions?

The inner workings of `NextMethod()`

Appropriate use of universe polymorphism

OCaml's let polymorphism implementation

Is it possible to define a function in Haskell that has an input argument of two possible types?

resolving actual runtime type of generic parameter rather than inferred type

Foreign key parametred to tackle different tables

How do I get around Go not having parametric polymorphism?

How to return an Iterator with associated type being generic from a function?

Haskell generic type parameters resolver tool or method

Does Rust implement From<Vec<T>> for Vec<U> if I have already implemented From<T> for U?

Extending and/or parametric object as attribute

Casting to arbitrary type in Typed Racket folding a Tree

Polymorphism in Haskell

Trending Questions

Popular # Hahtags

Popular Questions