Joe Politz
Joe Politz
The preview right now the result of `.draw()`. I want to add more gadgetry around this with an explicit “play” button to set it apart; right now it's indistinguishable from...
Another problem along these lines --- `"hello".tonumber()` yields a number value that contains `#f`, because of inadequate checking on the result.
Thanks. Good band-aid.
Nice catch! Pushed a fix that will go out the next time we do an incremental deploy of important-but-not-showstopping stuff, this fall sometime.
This is a feature that has a well-defined dynamic semantics but no type-checking semantics. Several table operations have a similar property. So it's not clear to me that it needs...
This is definitely a bug in the type-checker, which we can track down and fix. Thanks! On Tue, Jun 01, 2021 at 11:39 AM, Thijs Molendijk ***@***.***> wrote: > Simplest...
Compiling parametric annotations differently is a non-starter for a lot of reasons. I think having raw-array-sort-nums catch this is the right thing to do first, with an up-front isNumber check...
Mmph. For the current state of things, either showing the refinement or defining “type NumberList = List%(all-nums)" is probably best here. Frustrating but probably best, and lets libraries choose how...
Yeah in general we don’t want to auto-run the context because it could be arbitrary code. But the REPL should probably start in essentials2021. On Tue, Oct 5 2021 at...
The other UX option is to hide the REPL until Run is pressed, but that seems a non-starter given the number of tutorials it will break. On Tue, Oct 5...