[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: MzScheme Special Form -> Native Numerical Code?




Thanks for the pointer. I know Norman quite well and will discuss this with
him. But in all honesty, I believe students see too many low-level details
in currentc curricula, and not enough reasoning about values and operations, 
logical claims and invariants. The latter is far more important for software
engineering in the end than the machine. -- Matthias