Ben Greenman
Ben Greenman
IIUC (based on [issue 59](https://github.com/facebookincubator/cinder/issues/59#issuecomment-985947800)), types like `CheckedDict[str, Set[str]]` where SP doesn't understand part of the type should: 1. be allowed, and 2. turn into `CheckedDict[str, object]` But neither seems...
Goal: add a new way to run typed/racket programs. The new types are weaker against untyped code, but should run faster. 2021-11-01: This PR is the main development. ~For now,...
check-eq? and check-equal? etc get blamed when I try to compare structs. ``` #lang typed/racket/base (require typed/rackunit) (define-struct foo ([bar : Any])) (define foo1 (make-foo 42)) (check-eq? foo1 foo1) ```...
Add a switch to turn off contract optimization. (SCV-CR needs to disable the optimizations to do its analysis, and people like Shriram might want to show the full contracts for...
This innocent-looking program triggers 53 type errors. ``` #lang typed/racket/base (require typed/rackunit) (define-simple-check (check-foo? a b) #t) ``` Here they are. . . ``` define-simple-check.rkt:1:0: Type Checker: missing type for...
Open DrRacket, paste in this program: ``` #lang racket (define (f x) (lambda (y) (+ x y))) ``` Then click the `x` in `(f x)`, right-click, rename, and pick `y`...
Feature request from RacketCon: make it easy to copy/paste examples from `scribble/examples`. The problem is that the code snippets in "Examples:" often need some context in order to run, so...
Goal: pages on `docs.racket-lang.org` should have a button labeled "Edit on GitHub" that opens the scribble file that generated the HTML file that's displaying the button. This is an issue...
In DrRacket, every time I click the scribble-html button it opens a new tab in my browser --- even if I already have a tab open for the document. It...
If I try to make a very large image with `2htdp/image`, I get an error from the `dc` interface. I wish the error came from the `2htdp/image`function & told me...