Size: a a a

2018 December 14

Ⓢⓔⓡⓖ in Big Algo
Если чел пишет про применение функционального подхода в кодинге и сравнивает его с ООП, то это - _внутренняя структура_ ПО.
источник

AZ

Alexey Zaharchenko in Big Algo
IC Rainbow
Когда при мне заводят речь про архитектуру, рука сама тянется к SEBoK. 😄
а у меня мозг сразу Баухаус вспоминает
источник

IR

IC Rainbow in Big Algo
Да вы, батенька, эстет!
источник

Ⓢⓔⓡⓖ in Big Algo
IC Rainbow
Когда при мне заводят речь про архитектуру, рука сама тянется к SEBoK. 😄
Там тоже беспорядок с терминами. Дизайн, системная архитектура, просто архитектура...
источник

AZ

Alexey Zaharchenko in Big Algo
Ⓢⓔⓡⓖ
Программная архитектура = структура верхнего уровня, это больше про взаимодействие систем, абстрагируясь от того, на каких ЯП они написаны.
Вообще слово архитектура, лучше как предикат воспримать, вот даже ты сам, сразу взял и подставил к нему зачем-то "программная"
источник

Ⓢⓔⓡⓖ in Big Algo
Ну это чтобы отделять от архитектуры зданий
источник

Ⓢⓔⓡⓖ in Big Algo
Лучше вообще не использовать это слово.
источник

Ⓢⓔⓡⓖ in Big Algo
Внутренняя структура ПО + внешняя структура ПО - долго, но точно. Синоним первого = дизайн, синоним второго = архитектура.
источник

Ⓢⓔⓡⓖ in Big Algo
Если мы говорим про функциональное программирование, это точно про внутреннюю структуру софта
источник

AZ

Alexey Zaharchenko in Big Algo
Ⓢⓔⓡⓖ
Ну это чтобы отделять от архитектуры зданий
ну как сказать, у нас в айти, есть например архитектуры процессоров, сетей, программы, яп, информационных систем и ещё дофига чего, ну и в принципе из контекста обычно понятно о чём речь
источник

AZ

Alexey Zaharchenko in Big Algo
но ладно, проехали,  лучше про другое ответь то
источник

Ⓢⓔⓡⓖ in Big Algo
Про что ?
источник

AZ

Alexey Zaharchenko in Big Algo
И да ещё, ты elements of clojure не читал? Там вроде ближе к концу должно быть. BTW а не хочешь ли по их демо главе, про именования, запилить митапчик, я бы помог
источник

Ⓢⓔⓡⓖ in Big Algo
Если clojure это язык, то знаком с ним; если книжка или статья то не читал.
источник

Ⓢⓔⓡⓖ in Big Algo
Поясню мою цель: взять тактики программирования из Haskell и показать, как можно сделать аналогично на Kotlin (если можно; если нельзя - значит нельзя). Т.е. сделать сравнение языков и тактик программирования на эталонном Pure FP языке с Котлином.
источник

IR

IC Rainbow in Big Algo
Сходу: нельзя сделать тактики, которые полагаются на вывод типов.
источник

IR

IC Rainbow in Big Algo
Так же как в Хаскеле нельзя* применять тактики, которые полагаются на единство типов и значений как в пруверах.

*Можно, но пока что очень неудобно.
источник

Ⓢⓔⓡⓖ in Big Algo
А если не завязываться только на типизацию, что-нибудь ещё?
источник

Ⓢⓔⓡⓖ in Big Algo
Вот кстати уже есть похожее. https://hltj.me/kotlin/2017/08/25/kotlin-functor-applicative-monad.html
источник

Ⓢⓔⓡⓖ in Big Algo
Нужно ещё
источник