Haskell will give you REPL-driven development and strong typechecking (an optional one in the last haskell compiler).

BTW, Go is not that strongly typed. It seems Google engineers don't like strongly typed languages.