Rip infers all types, but sometimes it helps to clearly describe what is expected. For this Rip allows specifying the types of some or all parameters for some or all overloads (
type restrictions in Rip's parlance). In the absence of a type restriction, Rip allows any type and relies on duck-typing.
One of the initial goals for Rip was to have as little variation in the syntax as possible. A consequence of this was that all block expressions (types, lambdas, conditionals) followed the same pattern of
body. Back then there was no syntax to restrict the types of certain parameters. There was also no way to specify an overload's return type.
However this pattern conflates arguments with visually-similar-but-actually-very-different parameters, so Rip's overload syntax is changing. Also the old syntax doesn't allow any place for a return type, which may be desired in some cases. This change also make room for generic types, which are being considered.
These changes will be coming in a future release of Rip, likely v0.3.0.