I'd encourage you to try writing some Haskell. It's a good example of type inference that works.