A
Хотя {..} я тоже не особо люблю, потому что взглянув на код не сразу понятно откуда что взялось.
Size: a a a
2020 October 30
MK
шёпотом: ide
AA
Хз, мне кажется в таком случае замечательно должны линзы подойти.
А {..} хорошо заходит, когда нам нужно обновить одно поле рекорда расчитаем его на основе других полей
А {..} хорошо заходит, когда нам нужно обновить одно поле рекорда расчитаем его на основе других полей
если селектор один раз используется то он выиграет у {..} а если много раз то все перхотью засрется и лучше будет все равно
where x0 = p0 ^. x делать
where x0 = p0 ^. x делать
A
шёпотом: ide
Там чтобы увидеть тоже надо курсором водить. А в случае с l.x сразу понятно
AA
если б для чтения кода надо было понимать откуда что берется - читать код было бы невозможно.
локальность только и позволяет заметных размеров код читать
локальность только и позволяет заметных размеров код читать
AA
Там чтобы увидеть тоже надо курсором водить. А в случае с l.x сразу понятно
что значит сразу понятно-то, иде вам хоть тут l нужный подсветит, как вы его будете глазами-то искать?
YS
кто-то пробовал servant-jsonrpc-server? всё нормально там?)
AV
withCString добавляет \0 ?
AV
(лень доки читать)
MK
да, ансейф не добавляет
MK
поэтому with копирует
MK
по крайней мере в байтстрингах так
AV
Я про строчки
AV
Хотя и байтострочки тоже можно
MK
Я про строчки
я думаю просто там так же
2020 October 31
AV
в итоге строчки не прокатили
AA
смотрю щас примеры кода с наверное самой ранней версией хаскельного синтаксиса, который я видел (май 88), так там ни одной сигнатуры или аннотации типа, и
какие счастливые времена были
:: значит ++ какие счастливые времена были
ЗП
смотрю щас примеры кода с наверное самой ранней версией хаскельного синтаксиса, который я видел (май 88), так там ни одной сигнатуры или аннотации типа, и
какие счастливые времена были
:: значит ++ какие счастливые времена были
А что плохого в явных сигнатурах?)
AA
то, что они в 99% случаев не нужны
ЗП
ну я не помню это типизация по Карри или Черчу, где надо сигнатуру ставить