There is no reason static languages can't support REPLs and evaluation. All of my live orgiramming work so far has involved rich static typing, though I admit more implicit typing would make the experience better....