> Maybe one day we will have a Pascal compiler that can enforce that functions are side-effect free...

Pure functions are actually one of the WIP functionality in Free Pascal :-). AFAIK the ultimate goal is to have the compiler evaluate them at compile time where possible.