Programming models for real-world programming