Classroom experience: lessons learned from teacher feedback

[cuihtlauac]

Description

Research synthesis from teacher blog posts, experience reports, and academic research on using devcontainers for classroom teaching. Each item below captures a real pain point reported by instructors, with assessment of whether ocaml-devcontainer already addresses it.

Sources:

• VS Code Containers in Education
• GitHub Classroom + Codespaces lessons
• Devcontainers in 2025
• GitHub for Courses
• ECE454 Setup
• UCSD Study: Valstar, Griswold, Porter — ITiCSE 2020 (416 students, 71% preferred DevContainers)

---

Sub-issues

• 1. Slow container startup time — Classroom: slow container startup time #25 — Addressed: pre-built two-layer image strategy means students pull, not build
• 2. Dependency drift breaks assignments — Classroom: dependency drift breaks assignments #26 — Addressed: Dockerfile pins all tools via opam, weekly rebuilds keep packages current
• 3. Git confusion dominates support requests — Classroom: git confusion dominates support requests #27 — Needs: student quickstart guide, sensible git defaults
• 4. OneDrive/cloud sync destroys git repos — Classroom: OneDrive/cloud sync destroys git repos #28 — Needs: warning in setup docs
• 5. Student identity mapping is painful — Classroom: student identity mapping is painful #29 — Not relevant: GitHub Classroom concern, not an image concern
• 6. Setup time savings should be highlighted in docs — Classroom: highlight setup time savings in docs #30 — Needs: README section quantifying the benefit, highlight offline work and assignment portability
• 7. Codespaces storage quotas and prebuild guidance — Classroom: Codespaces storage quotas and prebuild guidance #31 — Needs: document image size, tier limits, prebuild management, minimum hardware specs
• 8. Document postCreateCommand patterns for tutorial authors — Classroom: document postCreateCommand patterns for tutorial authors #32 — Needs: lifecycle hook guide and examples

From UCSD study (Valstar et al., ITiCSE 2020)

• 9. Docker installation is the real setup barrier — Classroom: Docker installation is the real setup barrier #33 — Needs: platform-specific setup guide (Windows/WSL2, macOS, Linux)
• 10. Dedicate first session to setup + troubleshooting FAQ — Classroom: dedicate first session to setup + troubleshooting FAQ #34 — Needs: troubleshooting.md, instructor guidance for week 1
• 11. Document use as autograder base image — Classroom: document use as autograder base image #35 — Needs: Gradescope/autograder integration guide, strong selling point