Skip to content

juliojimenez/hypermedia.systems

Repository files navigation

hypermedia.systems

Type Checker Tests

Examples from building the Contacts app in the book Hypermedia Systems.

The code here is slightly different from the book, as I try to use types where I can, and check for them using Mypy, a static type checker for Python.

PyTest is used for testing. While inside an example directory simply run pytest to run the tests for that example.

Running an Example

Clone the repo...

git clone https://github.com/juliojimenez/hypermedia.systems
cd hypermedia.systems

Install dependencies...

pip3 install -r requirements.txt

Go to an example...

cd chapter-3/1-simple-hello-world/

And run it...

python3 app.py

Each example runs on a different port. Run multiple examples simultaneously and compare them in the browser!

Examples

Chapter 3

Chapter 4

Chapter 5

Chapter 6

Chapter 7

Chapter 9

Chapter 10

Support

Python 3.11+

Dependencies

  • HTMX v1.9.5
  • missing.css v1.0.10
    • Not sure what's going on with the package hosting for this, but I had to grab the artifact from the latest tag in the repo.
    • It was working fine when I started this repository. If it starts working again, please submit an issue or hit me up on X.