Ben Greenman

Results 146 comments of Ben Greenman

Sounds impressive, but also hard to implement. We'll need to normalize, check for vacuity, etc. Let's leave this open until we have 3-5 examples of ways we might want to...

Really what we're looking for now is a "good first issue" for Rob to build some familiarity with the Pyret typechecker. Rounding out the boring types (`Table`, `Row`) to match...

Interesting! I sure hope work on this issue helps the others. `Reactor` sounds like a good example to follow for moving types from global provides to `Table` provides. @jpolitz @blerner...

Ok, thanks for the answers and big thanks for the heads up! We'll watch the cinderx repo & wait for a bit before running serious experiments.

Sounds related to #30 . It would be awesome to support more number types!

Similar error with `CheckedList[int64]` : ``` from __static__ import int64, CheckedList def init(): empties: CheckedList[int64] = CheckedList[int64]([]) empties.append(int64(0)) init() ``` ``` ... File "test.py", line 5, in init empties.append(int64(0)) TypeError:...