Question

What special rules does the scala compiler have for the unit type within the type system

score 1.4k · Answer 1 · 2025-01-02 20:45:53

1.4k

Views

What special rules does the scala compiler have for the unit type within the type system

Published on 02 January 2025 at 20:45

score 247 · Answer 2 · 2025-01-02 09:49:36

247

Views

Are union types not enforced?

Published on 02 January 2025 at 09:49

score 2.8k · Answer 3 · 2024-12-29 10:23:50

2.8k

Views

How do dynamically typed languages work?

Published on 29 December 2024 at 10:23

score 143 · Answer 4 · 2024-12-30 19:11:05

143

Views

Algebraic types that can be instantiated via a sentinel function only

Published on 30 December 2024 at 19:11

score 291 · Answer 5 · 2025-01-04 18:53:31

291

Views

Java Generics, Tightly Bounded Parameter Type

Published on 04 January 2025 at 18:53

score 402 · Answer 6 · 2025-01-07 12:21:40

402

Views

How to statically limit function arguments to a subset of values

Published on 07 January 2025 at 12:21

score 132 · Answer 7 · 2024-12-30 19:15:09

132

Views

How can I set a mutable variable in C extensions which takes another C extension as input?

Published on 30 December 2024 at 19:15

score 634 · Answer 8 · 2024-12-30 18:57:37

634

Views

Locally patch missing Python type annotations?

Published on 30 December 2024 at 18:57

score 159 · Answer 9 · 2025-01-05 14:07:11

159

Views

Does flow's structural subtyping "forget" specific subtype properties?

Published on 05 January 2025 at 14:07

score 5.6k · Answer 10 · 2024-12-30 18:51:53

5.6k

Views

Preserving type when using Object.keys()

Published on 30 December 2024 at 18:51

score 136 · Answer 11 · 2024-12-30 22:07:13

136

Views

Make nulls opt-in only

Published on 30 December 2024 at 22:07

score 630 · Answer 12 · 2025-01-02 00:14:55

630

Views

Mainframe Flat file to C# classes

Published on 02 January 2025 at 00:14

score 354 · Answer 13 · 2024-12-30 19:08:55

354

Views

Why does OCaml have mandatory distinct float and int literal syntax?

Published on 30 December 2024 at 19:08

score 376 · Answer 14 · 2024-12-30 18:55:37

376

Views

Why does this code declare a DISTINCT type?

Published on 30 December 2024 at 18:55

score 446 · Answer 15 · 2024-12-30 19:17:15

446

Views

Would optional static typing benefit Python API-design or be a disadvantage? (type checking decorator example included)

Published on 30 December 2024 at 19:17

score 655 · Answer 16 · 2025-01-02 00:15:59

655

Views

Can parameters be contra- or covariant in Python?

Published on 02 January 2025 at 00:15

score 56 · Answer 17 · 2024-12-30 19:16:32

56

Views

Cython function pointer with fused type input: Invalid use of fused types, type cannot be specialized

Published on 30 December 2024 at 19:16

score 79 · Answer 18 · 2024-12-30 19:04:27

79

Views

How to statically type function that returns array 1 to n

Published on 30 December 2024 at 19:04

score 78 · Answer 19 · 2024-12-30 19:08:55

78

Views

Sorbet won't allow Zlib::GzipReader as a parameter to a method

Published on 30 December 2024 at 19:08

score 91 · Answer 20 · 2025-01-07 07:40:19

91

Views

Reducing nested schema using TypeScript static typing

Published on 07 January 2025 at 07:40

List Question

What special rules does the scala compiler have for the unit type within the type system

Are union types not enforced?

How do dynamically typed languages work?

Algebraic types that can be instantiated via a sentinel function only

Java Generics, Tightly Bounded Parameter Type

How to statically limit function arguments to a subset of values

How can I set a mutable variable in C extensions which takes another C extension as input?

Locally patch missing Python type annotations?

Does flow's structural subtyping "forget" specific subtype properties?

Preserving type when using Object.keys()

Make nulls opt-in only

Mainframe Flat file to C# classes

Why does OCaml have mandatory distinct float and int literal syntax?

Why does this code declare a DISTINCT type?

Would optional static typing benefit Python API-design or be a disadvantage? (type checking decorator example included)

Can parameters be contra- or covariant in Python?

Cython function pointer with fused type input: Invalid use of fused types, type cannot be specialized

How to statically type function that returns array 1 to n

Sorbet won't allow Zlib::GzipReader as a parameter to a method

Reducing nested schema using TypeScript static typing

Trending Questions

Popular # Hahtags

Popular Questions