Dino Viehland
Dino Viehland
It'd be nice if we had some metrics around when/where we were emitting code in the static compiler which used static features. This could either be full statistics on opcodes...
This should report an error, not crash: ``` from __static__ import CheckedDict def main(): d = CheckedDict[float, str]({2.0: "hello", 2.3: "foobar"}) print(d[2]) return main() ```
Usability * [P0] Make static python consumable easily for any Cinder user * Module loader in cinder * Consolidate rewriter logic into static compiler (out of strict modules) * minimum...
Currently we don't really fully handle instances of types correctly. One example of this is: ``` def produce() -> type: @final class C: pass return C C = produce() reveal_type(C)...
### Description The F# kernel should support returning the Plotly mime type: https://github.com/plotly/plotly.py/blob/f65724f06b894a5db94245ee4889c632b887d8ce/plotly/offline/offline.py#L347 https://github.com/plotly/plotly.py/pull/562#issuecomment-245078317 Supporting this will allow notebooks to be previewed with plotly graphs in a safe way. Because...
Currently ipykernel has a Tornado event loop that it used to process incoming requests. This event loop is running on the main thread of the process - ultimately that seems...
In addition to debugging a running kernel, presumably we want to support debugging files as well. This comes in two variants. There's the "step-in" experience where a user goes from...
We're proposing that we use the [VS debugger protocol ](https://github.com/Microsoft/vscode-debugadapter-node/blob/master/protocol/src/debugProtocol.ts) as a starting point. There's at least a few different options on how we can embed this. Generally speaking the...
Debugging for most languages comes with a significant performance impact. We'll need some UI gesture to indicate whether a notebook should be opened with or without debugging. Presumably the default...
It seems like we probably want a way to indicate whether or not a kernel supports debugging. This would allow disabling debug features from the UI for kernels which don't...