yfzhe

Any update?

I found that both [kind system rfc](https://github.com/racket/typed-racket/blob/1dde78d165472d67ae682b68622d2b7ee3e15e1e/rfcs/text/0003-kind-system.md) and this [transient semantics rfc](https://github.com/racket/typed-racket/blob/1dde78d165472d67ae682b68622d2b7ee3e15e1e/rfcs/text/0003-shallow-optional-semantics.md) use the same 003 ordinal number. Should the transient semantics one be changed to 004?

Are characters used as "operators" like "+", "-" not allowed to be shown in an identifier? I see some identifiers like `make_adder` and `color_posn` in the demo, and `in-list` in...

> The promise feature is more like a call-by-need evaluation No, promises are strict-evaluated. It does its computation and then trigger "callback" base on the eventual state (fullfiled or rejected)....

Rackt (and React) is used to build SPAs (single page application), which are HTML pages with JavaScript running in the browsers. You don't need to use `node` to run the...