for / while else doesn't make sense

[Rustom Mody]

On Sunday, May 22, 2016 at 10:55:43 PM UTC+5:30, Random832 wrote:
> Values are more important than types. Types are less important than
> values.

A stronger version that I occasionally tell my students:
Values are in reality
Types are in our heads

Unfortunately we only know how to think thoughts inside our heads
Which means we are stuck with the imperfections of our thinking apparatus