Automatic programming, numerical methods and functional analysis