Background in compilers and embedded systems... 2Motive? 3Motive: Can it be done in C++? 4Session type 5Session type ? 6"A normal adult programmer never gives a thought about types. That is something C++, we can settle with this explanation: But that is not what “type” in “Session type” means. 28Session type ? 29Session? • Interaction of two or more entities. • It has a beginning and (usually) interactions is happening. 30Session? • Can we describe a valid sequence of interactions? • Interaction diagram Client Server int int ADD DIV int double end Branching 31Session? • Can we describe a

KubeEdge Demo Session Jun Du Huawei Cloud Cloud To Edge Low Latency • AR/VR: ms level • Industrial Control: us level High Availability • Availability: > 99.999% • Response Time: Predictable • Result:

User’s guide Input Output Server mode and Script mode Integration with web framework Coroutine-based session Last but not least pywebio.input — Get input from web browser Functions list Functions doc pywebio Output Scope Content Outputting Other Interactions Layout and Style Other pywebio.session — More control to session pywebio.platform — Deploy applications Directory Deploy Application Deploy Other Libraries button: Note After the PyWebIO session (see Server and script mode for more information about session) closed, the event callback will not work. You can call the pywebio.session.hold() function at the end

User’s guide Input Output Server mode and Script mode Integration with web framework Coroutine-based session Last but not least pywebio.input — Get input from web browser Functions list Functions doc pywebio Output Scope Content Outputting Other Interactions Layout and Style Other pywebio.session — More control to session pywebio.platform — Deploy applications Directory Deploy Application Deploy Other Libraries button: Note After the PyWebIO session (see Server and script mode for more information about session) closed, the event callback will not work. You can call the pywebio.session.hold() function at the end

User’s guide Input Output Server mode and Script mode Integration with web framework Coroutine-based session Last but not least pywebio.input — Get input from web browser Functions list Functions doc pywebio Output Scope Content Outputting Other Interactions Layout and Style Other pywebio.session — More control to session pywebio.platform — Deploy applications Directory Deploy Application Deploy Other Libraries button: Note After the PyWebIO session (see Server and script mode for more information about session) closed, the event callback will not work. You can call the pywebio.session.hold() function at the end

User’s guide Input Output Server mode and Script mode Integration with web framework Coroutine-based session Last but not least pywebio.input — Get input from web browser Functions list Functions doc pywebio Output Scope Content Outputting Other Interactions Layout and Style Other pywebio.session — More control to session pywebio.platform — Deploy applications Directory Deploy Application Deploy Other Libraries button: Note After the PyWebIO session (see Server and script mode for more information about session) closed, the event callback will not work. You can call the pywebio.session.hold() function at the end

User’s guide Input Output Server mode and Script mode Integration with web framework Coroutine-based session Last but not least pywebio.input — Get input from web browser Functions list Functions doc pywebio Output Scope Content Outputting Other Interactions Layout and Style Other pywebio.session — More control to session pywebio.platform — Deploy applications Directory Deploy Application Deploy Other Libraries button: Note After the PyWebIO session (see Server and script mode for more information about session) closed, the event callback will not work. You can call the pywebio.session.hold() function at the end

User’s guide Input Output Server mode and Script mode Integration with web framework Coroutine-based session Last but not least pywebio.input — Get input from web browser Functions list Functions doc pywebio Output Scope Content Outputting Other Interactions Layout and Style Other pywebio.session — More control to session pywebio.platform — Deploy applications Directory Deploy Application Deploy Other Libraries button: Note After the PyWebIO session (see Server and script mode for more information about session) closed, the event callback will not work. You can call the pywebio.session.hold() function at the end

Functions list Output Scope Content Outputting Other Interactions Layout and Style pywebio.session — More control to session pywebio.platform — Deploy applications Directory Deploy Application Deploy Other pywebio Start multiple applications with start_server() Integration with web framework Coroutine-based session Libraries support Build stand-alone App Data visualization Cookbook Release notes What’s new continuously provide services. When the user accesses the service address, PyWebIO will open a new session and run PyWebIO application in it. start_server() is the most common way to start a web server to

Functions list Output Scope Content Outputting Other Interactions Layout and Style pywebio.session — More control to session pywebio.platform — Deploy applications Directory Deploy Application Deploy Other pywebio Start multiple applications with start_server() Integration with web framework Coroutine-based session Libraries support Build stand-alone App Data visualization Cookbook Release notes What’s new continuously provide services. When the user accesses the service address, PyWebIO will open a new session and run PyWebIO application in it. start_server() is the most common way to start a web server to