Functional Intro to Python (& Rust)

Modernized teaching repo: uv + ruff + ty only · 100% branch coverage · icontract + hypothesis provable contracts · every example transpilable to Rust via depyler and held to clippy -D warnings + proptest parity. See docs/specifications/upgrade-spec.md.

🎓 Pragmatic AI Labs | Join 2M+ ML Engineers

Pragmatic AI Labs Specializations

📚 Rust Data Engineering Specialization — 📦 GitHub: paiml/rust-de-specialization

📚 Next-Gen AI Development with Hugging Face Specialization — 📦 GitHub: paiml/applied-ai-engineering

📚 Hugging Face Hub and Ecosystem Fundamentals
📚 Fine-Tuning Transformers with Hugging Face
📚 Large Language Models with Hugging Face
📚 Advanced Fine-Tuning in Rust
📚 Production ML with Hugging Face

📚 Enterprise AI and Data Engineering with Databricks Specialization

📚 AI Tooling Specialization — 📦 GitHub: paiml/ai-tooling

📚 Mastering GitHub Specialization — 📦 GitHub: paiml/mastering-github

Duke University Specializations

📚 Building Cloud Computing Solutions at Scale Specialization

📚 Cloud Computing Foundations
📚 Cloud Virtualization, Containers and APIs
📚 Cloud Data Engineering
📚 Cloud Machine Learning Engineering and MLOps

📚 **[MLOps

Machine Learning Operations Specialization](https://www.coursera.org/specializations/mlops-machine-learning-duke)**

📚 Python Essentials for MLOps
📚 DevOps, DataOps, MLOps
📚 MLOps Tools: MLflow and Hugging Face
📚 MLOps Platforms: Amazon SageMaker and Azure ML

📚 Rust Programming Specialization

📚 Rust Fundamentals
📚 Data Engineering with Rust
📚 Rust for DevOps
📚 Python and Rust with Linux Command Line Tools
📚 Rust for Large Language Model Operations (LLMOps)

📚 Large Language Model Operations (LLMOps) Specialization

📚 Applied Python Data Engineering Specialization

📚 Python, Bash and SQL Essentials for Data Engineering Specialization

📝 Guided Projects

📝 Object-Oriented Programming in Python
📝 MySQL for Data Engineering
📝 Python Generators
📝 Python Decorator Functions
📝 Understand Big O Notation in Python
📝 Building a Bash Command-Line Tool
📝 Build a Static Website with Rust and Zola
📝 Building Rust AWS Lambda Microservices with Cargo Lambda
📝 Rust Secret Cipher CLI
📝 Rust Axum Greedy Coin Microservice
📝 Local LLMs with llamafile

🎯 Standalone Courses

Functional, Data Science Intro To Python

The first section is an intentionally brief, functional, data-science-centric introduction to Python. The assumption is that someone with zero programming experience can follow this tutorial and learn Python with the smallest amount of information possible.

The sections after that vary in difficulty and cover Machine Learning, Linear Optimization, build systems, commandline tools, recommendation engines, Sentiment Analysis, and Cloud Computing.

Lessons

The notebook files live under notebooks/. Run them with uv run jupyter lab after make install.

Lesson 1: Introductory Concepts
Lesson 2: Functions
Lesson 3: Control Structures
Lesson 4: Intermediate Topics — Classes, Modules, Libraries
Lesson 5: IO in Python

Quality Gates

Single source of truth for the toolchain. No pip, no pylint, no black, no mypy, no poetry — enforced by CI grep.

Concern	Tool	Make target
Env + deps	`uv`	`make install`
Lint + format	`ruff`	`make lint`, `make fmt-check`
Type check	`ty`	`make type`
Tests + cov	`pytest` + `coverage`	`make cover` (100% required)
Contracts	`icontract` + `hypothesis`	runs via `make cover`
Compliance	`pmat comply`	`make comply`
Py → Rust	`depyler`	`make depyler`
Rust gate	`cargo fmt` + `clippy -D warnings` + `proptest`	`make rust`

Run everything: make all.

License

The text content of these notebooks is released under the CC-BY-NC-ND license (see license.md).

functional_intro_to_python