Полностью согласен, понимание некоторых вещей в программировании неплохо прокачивает понимание математики. Ещё из примеров можно добавить понимание работы операций над различными числами: что возведение числа в натуральную степень и в рациональную это совершенно разные операции, которые могут быть совершены с разными числами. Тут работает концепт функций в программировании как та, что принимает определённый тип данных, и pow_N(-3.5) вполне себе возможно, потому что функция принимает тип данных R, а вот pow_Q(-3.5) не определено, потому что принимает тип данных R_Positive, соответственно при попытке передать в функцию что-то другое будет ошибка
Полностью согласен, понимание некоторых вещей в программировании неплохо прокачивает понимание математики. Ещё из примеров можно добавить понимание работы операций над различными числами: что возведение числа в натуральную степень и в рациональную это совершенно разные операции, которые могут быть совершены с разными числами. Тут работает концепт функций в программировании как та, что принимает определённый тип данных, и pow_N(-3.5) вполне себе возможно, потому что функция принимает тип данных R, а вот pow_Q(-3.5) не определено, потому что принимает тип данных R_Positive, соответственно при попытке передать в функцию что-то другое будет ошибка