Typing without inference?

[Pierre Thierry]

I just read the Pyret Code, and I was surprised by the goal of having static typing "without the complications associated with type inference algorithms".

What are those complications and what will static typing without inference look like? Does that mean that every type must be declared explicitly?