p
иммутабельность не обязательна для ФП
а ты видел язык с мутабельностью как эффектом?
function f(arg: string | number) {
return arg + arg;
}
f(10);
f('wow')
какой тип у arg?
Size: a a a
2020 April 23
AZ
string | number )
AZ
отвечая на твой вопрос предыдущий
ДБ
локально - нет, глобально - не получится ссылочно прозрачных значений
это да, просто много кто возводит в абсолют, не понимая принципов
11
как пофиксить "Connection to server is erroring. Shutting down server." в vscode? Выдает это rust-analyzer
p
вообще ничего плохого в мутабельности нет, так-то
G
как пофиксить "Connection to server is erroring. Shutting down server." в vscode? Выдает это rust-analyzer
тоже ткакая хуйня вылезла вчера
p
если ей разумно польховаться
ДБ
Там же есть вариант эмулирования HKT
и кстати, где в лиспе монады и HKT?
p
тоже ткакая хуйня вылезла вчера
как хорошо что у меня не RA
A
и кстати, где в лиспе монады и HKT?
Почему ты спрашиваешь меня про это?
Хотя подойдем с другой стороны, а где в лиспе типизация?
Хотя подойдем с другой стороны, а где в лиспе типизация?
ДБ
Потому что я не верю в фп без хкт и монад
промахнулся, сюда было
DS
а хкт и монады тут https://gcanti.github.io/fp-ts/
Это как раз не юзабельная фигня, удачи бегать с HKT, Kind и т.п. Для совсем мазохистов.
DS
и кстати, где в лиспе монады и HKT?
А лисп - это не ФП же
ДБ
А лисп - это не ФП же
а что тогда?
G
А лисп - это не ФП же
что такое ФП для тебя?
AZ
если ей разумно польховаться
для разумного использования мутабельности есть линзы
DS
а что тогда?
Лисп.
AZ
и кстати, где в лиспе монады и HKT?
лисп не фп лол
DS
что такое ФП для тебя?
ЯП, где хоть как-то удобно писать полностью в ссылочно прозрачном стиле