Phil Wadler's ideas of "Blame" might be of interest to you (essentially it's about mixing dynamic typing with static typing, but I think it is relevent to pure/impure thoughts, too) http://video.google.com/videoplay?docid=-4167170843018186532