Question

Is there a pattern/trick to enforce '<:' when defining type aliases with '='

score 107 · Answer 1 · 2020-09-26 18:15:56

107

Views

Is there a pattern/trick to enforce '<:' when defining type aliases with '='

Published on 26 September 2020 at 18:15

score 41 · Answer 2 · 2020-10-07 09:37:56

41

Views

Weird abstract type construct in a method in scala

Published on 07 October 2020 at 09:37

score 568 · Answer 3 · 2013-12-26 17:02:04

568

Views

Idioms/Practices for Implementing Constrained Numeric Types in F#?

Published on 26 December 2013 at 17:02

score 209 · Answer 4 · 2018-11-21 19:06:46

209

Views

Liquid Haskell: "Cyclic type alias definition" error from an inlined recursive function

Published on 21 November 2018 at 19:06

score 478 · Answer 5 · 2020-09-19 10:16:59

478

Views

Confusion about type refinement syntax

Published on 19 September 2020 at 10:16

score 223 · Answer 6 · 2023-01-17 16:49:29

223

Views

What is a difference between refinement type and anonymous subclass in Scala 3?

Published on 17 January 2023 at 16:49

score 127 · Answer 7 · 2022-03-17 11:06:32

127

Views

Getting predicate from Refined

Published on 17 March 2022 at 11:06

score 182 · Answer 8 · 2021-02-05 14:03:48

182

Views

Proofs of structural properties of arguments in match in coq

Published on 05 February 2021 at 14:03

score 112 · Answer 9 · 2018-05-18 09:23:26

112

Views

implicit extension methods on type refinements

Published on 18 May 2018 at 09:23

score 74 · Answer 10 · 2017-07-19 03:58:56

74

Views

Refinement of a B specification

Published on 19 July 2017 at 03:58

score 207 · Answer 11 · 2017-09-19 15:45:50

207

Views

How to get the value from a Scott encoded GADT with type equality constraints?

Published on 19 September 2017 at 15:45

score 203 · Answer 12 · 2018-11-28 20:47:06

203

Views

Liquid Haskell: Error with Proof Combinators and Types Refined by Predicates

Published on 28 November 2018 at 20:47

score 354 · Answer 13 · 2020-05-19 08:41:51

354

Views

Type refinements in Scala but without using refined

Published on 19 May 2020 at 08:41

score 94 · Answer 14 · 2023-01-29 02:26:05

94

Views

What is this Scala syntax?

Published on 29 January 2023 at 02:26

score 97 · Answer 15 · 2018-12-28 16:51:35

97

Views

Can I define parametric data type where parameters are not equals between in Haskell?

Published on 28 December 2018 at 16:51

score 105 · Answer 16 · 2017-03-09 09:57:46

105

Views

Is there any library for refined types in php?

Published on 09 March 2017 at 09:57

score 95 · Answer 17 · 2019-06-30 15:46:30

95

Views

Flow type refinement in events

Published on 30 June 2019 at 15:46

score 53 · Answer 18 · 2018-07-16 15:15:42

53

Views

Understanding real cake pattern code with self and this references

Published on 16 July 2018 at 15:15

score 94 · Answer 19 · 2020-04-21 17:33:41

94

Views

Type refinement "forgetting" the value within a statement?

Published on 21 April 2020 at 17:33

score 439 · Answer 20 · 2022-06-20 11:31:30

439

Views

How to define a polymorphic `Vector` type in Lean 4 as a `Subtype` of `List`?

Published on 20 June 2022 at 11:31

List Question

Is there a pattern/trick to enforce '<:' when defining type aliases with '='

Weird abstract type construct in a method in scala

Idioms/Practices for Implementing Constrained Numeric Types in F#?

Liquid Haskell: "Cyclic type alias definition" error from an inlined recursive function

Confusion about type refinement syntax

What is a difference between refinement type and anonymous subclass in Scala 3?

Getting predicate from Refined

Proofs of structural properties of arguments in match in coq

implicit extension methods on type refinements

Refinement of a B specification

How to get the value from a Scott encoded GADT with type equality constraints?

Liquid Haskell: Error with Proof Combinators and Types Refined by Predicates

Type refinements in Scala but without using refined

What is this Scala syntax?

Can I define parametric data type where parameters are not equals between in Haskell?

Is there any library for refined types in php?

Flow type refinement in events

Understanding real cake pattern code with self and this references

Type refinement "forgetting" the value within a statement?

How to define a polymorphic `Vector` type in Lean 4 as a `Subtype` of `List`?

Trending Questions

Popular # Hahtags

Popular Questions