Sam Tobin-Hochstadt comments

Results 470 comments of


                                            Sam Tobin-Hochstadt

class field subtyping + set-field! leads to segfault

I think that's not an upcast in the `(define a (new example%))` precisely because the `a` field is mutable.

`abs` should add a case for `(-> Fixnum Nonnegative-Fixnum)`

Yes, as @sorawee points out this is unfortunately not true: ``` > (fixnum? (abs (most-negative-fixnum))) #f ```

any-wrap: avoid wrapping immutable structs with immutable fields

Note that (a) substructures could add mutable fields (and TR's types don't currently track `prop:sealed`) and (b) functions are "mutable" in this sense.

`struct`'s `#:methods` missing in Typed Racket

We do not have any timeline for that.

invoke-unit and unit-from-context can trigger an internal typechecker error

That program is very worrying to me because I don't see how TR could ever be expected to handle that, and because I thought you had to define a unit...

#{x : t} should error when x is not a variable

No, the syntax is a reader macro so it doesn't know anything about binding. But making it only work on symbols as the first component is easy.

Offer a primitive for delimited continuations

Chez Scheme does offer enough to implement delimited continuations. Racket has a wide variety of delimited operators, all implemented on top of Chez internals. See the implementation here: https://github.com/racket/racket/blob/master/racket/src/cs/rumble/control.ss

Sam Tobin-Hochstadt