Question

Anonymous subclasses with extra methods -- scala2 vs. scala3

score 64 · Answer 1 · 2024-02-16T20:13:19.937000

64

Views

Anonymous subclasses with extra methods -- scala2 vs. scala3

Published on 16 February 2024 at 20:13

score 144 · Answer 2 · 2023-01-29T02:26:05.503000

144

Views

What is this Scala syntax?

Published on 29 January 2023 at 02:26

score 294 · Answer 3 · 2023-01-17T16:49:29.313000

294

Views

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

Published on 17 January 2023 at 16:49

score 130 · Answer 4 · 2022-09-18T10:51:41.993000

130

Views

Syntax for using datatype indexed by Nat

Published on 18 September 2022 at 10:51

score 475 · Answer 5 · 2022-06-20T11:31:30.180000

475

Views

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

Published on 20 June 2022 at 11:31

score 197 · Answer 6 · 2022-03-17T11:06:32.107000

197

Views

Getting predicate from Refined

Published on 17 March 2022 at 11:06

score 83 · Answer 7 · 2021-11-12T02:49:31.033000

83

Views

Why does TypeScript refinement work differently when declaring type as union vs optional?

Published on 12 November 2021 at 02:49

score 244 · Answer 8 · 2021-02-05T14:03:48.540000

244

Views

Proofs of structural properties of arguments in match in coq

Published on 05 February 2021 at 14:03

score 111 · Answer 9 · 2020-10-07T09:37:56.553000

111

Views

Weird abstract type construct in a method in scala

Published on 07 October 2020 at 09:37

score 174 · Answer 10 · 2020-09-26T18:15:56.963000

174

Views

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

Published on 26 September 2020 at 18:15

score 558 · Answer 11 · 2020-09-19T10:16:59.020000

558

Views

Confusion about type refinement syntax

Published on 19 September 2020 at 10:16

score 295 · Answer 12 · 2020-07-07T20:50:20.017000

295

Views

Simple Refinement Types in Haskell

Published on 07 July 2020 at 20:50

score 516 · Answer 13 · 2020-06-25T15:35:25.630000

516

Views

How to ensure type safety with Scala's Refined library when using the same predicate for refinement

Published on 25 June 2020 at 15:35

score 47 · Answer 14 · 2020-06-20T00:06:18.840000

47

Views

Typescript type refinement unknwon to object and retrieving elements

Published on 20 June 2020 at 00:06

score 409 · Answer 15 · 2020-05-19T08:41:51.487000

409

Views

Type refinements in Scala but without using refined

Published on 19 May 2020 at 08:41

score 138 · Answer 16 · 2020-04-21T17:33:41.917000

138

Views

Type refinement "forgetting" the value within a statement?

Published on 21 April 2020 at 17:33

score 92 · Answer 17 · 2020-03-10T23:54:47.937000

92

Views

How can I turn a [TExp a] into a TExp [a], or otherwise apply refineTH to multiple values programatically?

Published on 10 March 2020 at 23:54

score 119 · Answer 18 · 2019-10-07T18:58:17.077000

119

Views

Simple liquidhaskell example fails expected behavior

Published on 07 October 2019 at 18:58

score 83 · Answer 19 · 2019-09-19T13:02:14.767000

83

Views

flowtype nullable object immutable property refinement

Published on 19 September 2019 at 13:02

score 131 · Answer 20 · 2019-06-30T15:46:30.783000

131

Views

Flow type refinement in events

Published on 30 June 2019 at 15:46

List Question

Anonymous subclasses with extra methods -- scala2 vs. scala3

What is this Scala syntax?

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

Syntax for using datatype indexed by Nat

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

Getting predicate from Refined

Why does TypeScript refinement work differently when declaring type as union vs optional?

Proofs of structural properties of arguments in match in coq

Weird abstract type construct in a method in scala

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

Confusion about type refinement syntax

Simple Refinement Types in Haskell

How to ensure type safety with Scala's Refined library when using the same predicate for refinement

Typescript type refinement unknwon to object and retrieving elements

Type refinements in Scala but without using refined

Type refinement "forgetting" the value within a statement?

How can I turn a [TExp a] into a TExp [a], or otherwise apply refineTH to multiple values programatically?

Simple liquidhaskell example fails expected behavior

flowtype nullable object immutable property refinement

Flow type refinement in events

Trending Questions

Popular # Hahtags

Popular Questions