MG
Почти. Кроме SICP нужно ещё про персистентные структуры данных понять и про модель стейта в Clojure.
Size: a a a
2019 May 18
MG
В общем, SICP + доклады Рича Хики.
AS
Почти. Кроме SICP нужно ещё про персистентные структуры данных понять и про модель стейта в Clojure.
кстати sicp на clojure решается иль нет?:)
AI
он на всем решается
AI
А про неземной - есть мнение (и я его разделяю), что для погружения в ФП и прокачки он не повредит, и даже весьма предпочтителен
MG
Прокачивает он только жонглирование типами. Если бы был аналогичный язык без такой развесистой системы типов, но с нормальным порядком вычисления, то он был бы гораздо более полезен для прокачки ФП.
MG
В "нормальным порядке вычисления" "нормальный" - не оценка, а термин Normal Order, конечно.
AI
Ela к вашим услугам
AI
Но и прокачка жонглирования типами не менее важна для динамики имхо
IP
Раз уж вы заговорили про типы
MG
Интересно. Жаль, что дохлая.
IP
Почему так не популярен clojure typed?
AI
Я с ней игрался когда она была более жива - очень интересно, после хаскеля как будто кандалы снимают )
MG
@ilya_pomaskin Когда я про него читал, в нём были какие-то FIXME везде, а потом появился clojure.spec, и стало уже не так интересно.
MG
@IIvana Я так и не нашёл хорошего применения статической типизации кроме одного, но про которое все забывают: статическая типизация серьёзно упрощает аудит безопасности кода.
MG
Поскольку аудит безопасности по необходимости холистичен, его нельзя дробить на уровень ниже защищаемой системы, то без статической типизации он выливается в "у нас есть дикое количество кода и никто не знает, какие в нём дыры", а статические типы позволяют отсекать гигантские части пространства состояний.
AI
Забавно, в хаскельчатике меня считают троллем из динамической секты, потому что я топлю за динамику. Но я могу здесь встать на защиту статики, хотя бы ради дискуссии и оппонирования )
AI
Все эти монады/моноиды/функторы и прочие классы типов на порядок-два повышают уровень абстракции при думании о коде, а типизиция все равно в голове и в модели функции есть, независимо от наличия компилятора, тайп-чекера и Хиндли с Милнером