Mon School Courses

Typing exercises

Let Us Go
Self Hosting 101
Build Web Applications with Python
Mypy Primer
Authoring Courses on Mon School
Building Online Games with Python
Rust for Beginners
Git & GitHub for beginners

Mon School Courses

Let Us Go
Let Us Go
- Getting to Go
  Getting to Go
- Exploring Go
  Exploring Go
  - Control Flow
  - Functions
- Going Deep
  Going Deep
- Practial Go
  Practial Go
- Go in Parallel
  Go in Parallel
- Go Out in Style
  Go Out in Style
Self Hosting 101
Self Hosting 101
- Week 0
  Week 0
- Week 1
  Week 1
- Week 2
  Week 2
- Week 3
- Week 4
- Week 5
- Week 6
Build Web Applications with Python
Build Web Applications with Python
- Basic HTML
  Basic HTML
- Dynamic HTML Using Jinja
  Dynamic HTML Using Jinja
- Getting Started with Flask
  Getting Started with Flask
- Interacting with Users
  Interacting with Users
- Styling
  Styling
- Capstone Project
  Capstone Project
  - Problem
  - Approach
- What next?
  What next?
  - What to do next?
Mypy Primer
Mypy Primer
- Introduction to mypy
  Introduction to mypy
- Mypy errors, and how to debug them
  Mypy errors, and how to debug them
- Mypy types, and the typing module
  Mypy types, and the typing module
- Diving deep into the typing module
  Diving deep into the typing module
- Some advanced type checking concepts
  Some advanced type checking concepts
- Conclusion
  Conclusion
  - Type checking, or writing tests? Why not both!
  - Integrating mypy into your software development lifecycle
Authoring Courses on Mon School
Authoring Courses on Mon School
- Welcome to Mon School
  Welcome to Mon School
  - Monschool
- What Makes a Good Course
- Proposing a New Course
- Creating the Course
  Creating the Course
Building Online Games with Python
Building Online Games with Python
- Introduction
  Introduction
- Movement
  Movement
- Collision
  Collision
- Control
  Control
- Adding Characters
  Adding Characters
  - Getting Points
  - Losing Lives
- Interface
  Interface
- Publish
  Publish
  - Share With Friends
  - Whats Next
Rust for Beginners
Rust for Beginners
- fn main() -> IntroducingRust
  fn main() -> IntroducingRust
- Doing some control flow
  Doing some control flow
- Data types, traits, borrowing and ownership
  Data types, traits, borrowing and ownership
- Package Management
  Package Management
- Capstone Project
  Capstone Project
Git & GitHub for beginners
Git & GitHub for beginners
- Introduction to Git
  Introduction to Git
- Getting started
  Getting started
- Collaborative Development
  Collaborative Development
- The GitHub Flow
  The GitHub Flow
- Contribute to Open Source projects
  Contribute to Open Source projects

Typing exercises

Some ideas:

using contextlib.contextmanager to write a typed context manager
making a simple type checked web server

Previous The Type type

Next Type checking, or writing tests? Why not both!

Made with Material for MkDocs