Question

Graduall typing in TypedRacket

score 19 · Answer 1 · 2024-02-27T16:38:40.140000

19

Views

Graduall typing in TypedRacket

Published on 27 February 2024 at 16:38

score 56 · Answer 2 · 2024-02-25T21:00:24.503000

56

Views

Function typing in TypedRacket

Published on 25 February 2024 at 21:00

score 67 · Answer 3 · 2023-11-05T06:45:07.867000

67

Views

Unexpected behaviour of `with-handlers` in typed Racket

Published on 05 November 2023 at 06:45

score 69 · Answer 4 · 2023-08-15T03:36:30.710000

69

Views

How to avoid cycle loading in Typed Racket

Published on 15 August 2023 at 03:36

score 57 · Answer 5 · 2023-05-16T01:04:35.717000

57

Views

How to parse string to list in typed racket

Published on 16 May 2023 at 01:04

score 57 · Answer 6 · 2023-01-14T10:23:24.320000

57

Views

Type annotating variable arity function in typed/racket

Published on 14 January 2023 at 10:23

score 106 · Answer 7 · 2023-01-14T03:58:24.093000

106

Views

Sum types in Racket/TypedRacket

Published on 14 January 2023 at 03:58

score 107 · Answer 8 · 2023-01-01T13:22:28.583000

107

Views

Applying to potentially empty lists in Typed Racket

Published on 01 January 2023 at 13:22

score 27 · Answer 9 · 2022-12-19T06:13:58.213000

27

Views

Why doesn't `integer?` only succeed for things of type Integer?

Published on 19 December 2022 at 06:13

score 32 · Answer 10 · 2022-12-19T06:07:39.507000

32

Views

Why does Typed Racket think that `cond` can return `Void` here?

Published on 19 December 2022 at 06:07

score 35 · Answer 11 · 2022-11-09T15:38:55.153000

35

Views

How to use `eval` in typed racket?

Published on 09 November 2022 at 15:38

score 63 · Answer 12 · 2022-11-08T00:20:19.627000

63

Views

Creating a new numeric type in Typed Racket

Published on 08 November 2022 at 00:20

score 148 · Answer 13 · 2022-11-03T05:57:52.150000

148

Views

Strange type mismatch error with Typed Racket propositions

Published on 03 November 2022 at 05:57

score 128 · Answer 14 · 2022-09-05T01:48:43.173000

128

Views

How to type annotate a function that can take anything as argument, and can output anything as value (parametric polymorphism)?

Published on 05 September 2022 at 01:48

score 111 · Answer 15 · 2022-07-30T11:33:33.223000

111

Views

Using hash-union in typed racket

Published on 30 July 2022 at 11:33

score 157 · Answer 16 · 2022-07-09T13:05:49.093000

157

Views

Polymorphic function `car' could not be applied to arguments

Published on 09 July 2022 at 13:05

score 152 · Answer 17 · 2021-12-07T13:23:42.160000

152

Views

Convert an Exact-Rational to an Integer in Racket

Published on 07 December 2021 at 13:23

score 259 · Answer 18 · 2021-10-24T06:08:34.557000

259

Views

How to assert (listof? string?) predicate in Typed Racket

Published on 24 October 2021 at 06:08

score 23 · Answer 19 · 2021-08-24T21:01:19.890000

23

Views

How to Use Bounded and Rest Types Together?

Published on 24 August 2021 at 21:01

score 66 · Answer 20 · 2021-06-30T08:58:30.977000

66

Views

What does `n` mean in Typed Racket?

Published on 30 June 2021 at 08:58

List Question

Graduall typing in TypedRacket

Function typing in TypedRacket

Unexpected behaviour of `with-handlers` in typed Racket

How to avoid cycle loading in Typed Racket

How to parse string to list in typed racket

Type annotating variable arity function in typed/racket

Sum types in Racket/TypedRacket

Applying to potentially empty lists in Typed Racket

Why doesn't `integer?` only succeed for things of type Integer?

Why does Typed Racket think that `cond` can return `Void` here?

How to use `eval` in typed racket?

Creating a new numeric type in Typed Racket

Strange type mismatch error with Typed Racket propositions

How to type annotate a function that can take anything as argument, and can output anything as value (parametric polymorphism)?

Using hash-union in typed racket

Polymorphic function `car' could not be applied to arguments

Convert an Exact-Rational to an Integer in Racket

How to assert (listof? string?) predicate in Typed Racket

How to Use Bounded and Rest Types Together?

What does `n` mean in Typed Racket?

Trending Questions

Popular # Hahtags

Popular Questions