added link about type inference