Question

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

score 1.4k · Answer 1 · 2016-12-20 09:05:39

1.4k

Views

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

Published on 20 December 2016 at 09:05

score 184 · Answer 2 · 2017-01-05 02:19:51

184

Views

Are union types not enforced?

Published on 05 January 2017 at 02:19

score 2.8k · Answer 3 · 2017-01-08 13:40:17

2.8k

Views

How do dynamically typed languages work?

Published on 08 January 2017 at 13:40

score 91 · Answer 4 · 2014-11-12 01:12:22

91

Views

Algebraic types that can be instantiated via a sentinel function only

Published on 12 November 2014 at 01:12

score 238 · Answer 5 · 2013-12-10 18:59:05

238

Views

Java Generics, Tightly Bounded Parameter Type

Published on 10 December 2013 at 18:59

score 349 · Answer 6 · 2013-12-11 18:33:51

349

Views

How to statically limit function arguments to a subset of values

Published on 11 December 2013 at 18:33

score 85 · Answer 7 · 2017-09-06 15:35:53

85

Views

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

Published on 06 September 2017 at 15:35

score 580 · Answer 8 · 2017-09-08 10:12:30

580

Views

Locally patch missing Python type annotations?

Published on 08 September 2017 at 10:12

score 99 · Answer 9 · 2017-09-13 20:26:18

99

Views

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

Published on 13 September 2017 at 20:26

score 5.5k · Answer 10 · 2017-09-15 06:42:57

5.5k

Views

Preserving type when using Object.keys()

Published on 15 September 2017 at 06:42

score 113 · Answer 11 · 2013-08-29 06:06:59

113

Views

Make nulls opt-in only

Published on 29 August 2013 at 06:06

score 573 · Answer 12 · 2013-09-10 08:53:20

573

Views

Mainframe Flat file to C# classes

Published on 10 September 2013 at 08:53

score 335 · Answer 13 · 2020-10-07 12:48:28

335

Views

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

Published on 07 October 2020 at 12:48

score 356 · Answer 14 · 2012-01-15 23:29:34

356

Views

Why does this code declare a DISTINCT type?

Published on 15 January 2012 at 23:29

score 430 · Answer 15 · 2012-01-28 22:49:38

430

Views

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

Published on 28 January 2012 at 22:49

score 632 · Answer 16 · 2014-01-09 14:38:30

632

Views

Can parameters be contra- or covariant in Python?

Published on 09 January 2014 at 14:38

score 34 · Answer 17 · 2023-11-07 06:43:05

34

Views

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

Published on 07 November 2023 at 06:43

score 60 · Answer 18 · 2023-11-15 11:54:48

60

Views

How to statically type function that returns array 1 to n

Published on 15 November 2023 at 11:54

score 32 · Answer 19 · 2023-11-27 13:32:29

32

Views

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

Published on 27 November 2023 at 13:32

score 70 · Answer 20 · 2020-12-18 17:57:01

70

Views

Reducing nested schema using TypeScript static typing

Published on 18 December 2020 at 17:57

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