With the “slight” difference that ML actually enforces that your program is consistent with your description of the problem domain.