мысли programming математика
Вот осилив Дейта, пусть частично, но кругозор и мышление расширяется таки. Почему то в мозгу родилась такая мысль. Вот Дейт, очень яро отстаивает реляционную теорию, и очень критикует SQL. Да он — математик, это его право и как бы так сказать — его хлеб.
Но вот, что меня навело на некоторые размышления. Вот есть реляционная теория. Этакий идеальный эталон. Отношения, в виде множеств, состоящих из кортежей. На деле, SQL подразумевает таблицы, в которых есть определенный порядок строк (кортежей), что просто ломает все определение отношения, так как множество не имеет порядка элементов по определению. Оно просто само по себе не имеет никакого порядка, как его не изображай.
Но на деле. Как работать с множеством, когда мы имеем дело с весьма детерменированной системой? Как бы работалось, если бы в SQL убрали GROUP BY, или ORDER BY. Что, если нужно упорядочить элементы (а это обычное дело при работе с базами данных).
То есть по сути получается, что какая бы идеальная и красивая не была математическая модель, и математическая основа, нельзя подходить с ней к программному обеспечению идеализированно.
Математическая модель идеальна. А ПО описывает модель реального мира, который далеко не идеален, и при написании кода, алгоритмов и ПО, можно все уложить в идеальную математическую модель, но насколько это может усложнить жизнь, разработку, понимание и сопровождение системы.
И исходя из этого, я немного переношусь на языки программирования. Вот есть Python, Ruby, C++, Java, Javascript к примеру. Эти языки очень сильно критикуют со всех сторон, и как только можно. Но они чертовски популярны, и очень прагматичны в своих областях.
А есть Haskell к примеру. Я снимаю шляпу перед Haskell, ML, Lisp и прочими. Но почему они не завоевали популярность (Lisp не в счет частично)? Они идеальны во многих отношениях, их концепции лежат на непоколебимых математических основах. Они позволяют добиться идеального кода. Но почему же тогда, их так мало используют?
Вот мне почему то кажется, что они просто сильно идеализированы. Человеку легче понять код на Python или Java (или другом), на языке который более человечным, и не математическим, более формальным (хотя и не без доли математической основы) языком позволяет описать реальный мир. Нужна ли вообще настолько идеальная математическая модель для большинства ПО, и насколько правда оправданы возможности Haskell или ML для ежедневного использования, даже если предположить, что писать и понимать их не сложнее Python или Basic.
Вот такие воспаленно больные бредовые мысли перед сном. ))) надо завязывать с матанозадротничеством :D
