49 karma · joined November 26, 2023
I'm afraid can't help with the libs then ;)
I'd like to have more functionality in-browser, though, like an LSP running as a worker in the background. Do you have any materials that I could read about it or something like that?
As for the questions – I haven't thought much about that, but maybe it would be nice to have. Do you have some ideas on what that simpler than Python could should be? Like e.g. Scratch, or something else?
As for Jupyter Notebooks – ClassroomIO allows you to create an assignment and have a group of students work on it simultaneously without interfering with one another. (Maybe you can do this somehow in Jupyter, but I don't know how.) Also, it supports more languages and the flow is more like a regular console app.
As for the other project, yeah, thanks for letting me know about it. Didn't know about that one, it must have launched recently as well.
I've dealt with my share of code with types that were almost correct but not really and it's been quite frustrating.
For interested I've written an article about it: https://medium.com/@sgorawski/python-types-have-an-expectati...