DS
удивительно, но программа и так и этак определяется именно порядком действи
Вот только в императивном языке ты пишешь что и как, а в функциональном описываешь результат
Size: a a a
2016 July 05
AC
скала активно внедряется на замену джавы или не очень?
Спаркисты на скале пишут
DS
И вот эта разница принципиальна
AC
Функциональщина не лаконичнее
Лаконичнее, конечно
AP
ну да. немного выворачивает мозг. но можно привыкнуть и находить в этом удовольствие даже :)
W
Во... товарищи умные люди.. Пошлите меня куда-нибудь, где можно подсмотреть нормальное решение задачии KNN, на CUDA? А то оно простым перебором почему-то считается постоянно...
Ну и детект коллизий и прочая физика...
В свое время хотел ММОшку про космос запилить, но застрял на KNN
Ну и детект коллизий и прочая физика...
В свое время хотел ММОшку про космос запилить, но застрял на KNN
AC
а как гороутины друг друга блокируют. если они обмениваются данными по каналам? Зачастую однонаправленным?
Ну - встала на процессор считать, и все остальные попали в лайвлок
AC
Так вот, самая главная проблема ФП в том, что порядок действий. И если его надо изменить, или добавить дополнительное действие
Ну - для порядка действий монадки же
DS
Лаконичнее, конечно
То пока не встретилась задача, когда получается в несколько раз больше)
DS
Ну - для порядка действий монадки же
нет, монадки для другого. Монадки для работы с побочными эффектами в функционально-чистом контексте
DS
Можно использовать для конвейера
AC
нет, монадки для другого. Монадки для работы с побочными эффектами в функционально-чистом контексте
В том числе - и для порядка действий
DS
Но тогда получается проблема достать состояние
DS
И вот тут на сцену выходят MT
DS
Монадические трансформеры
AC
Так как порядок действий в программе, состоящей из чистых функций - это, внезапне, сайдэффект
DS
Можно считать в некотором смысле сайд эффектом, если смотреть с точки зрения хаскеля с do нотацией
AP
программа, состоящая только из чистых функций, подозреваю, нужна только для получения зачёта
DS
Однако, последовательность чистых функций может быть тождественна чистой функции, которая всегда возвращает один и тот же результат с одними и теми же параметрами
AC
программа, состоящая только из чистых функций, подозреваю, нужна только для получения зачёта
Ну, говорят, ядро AVR было доказано при помощи Coq, но, может, врут