DS
Если речь про питон - то нет, не будет
Size: a a a
2020 April 20
QH
из-за языка ничё не понятно. И я не про английский)
(
из-за языка ничё не понятно. И я не про английский)
ну, тяжко
(
на котлин я это переводить не возьмусь, в нём квантификаторов нет
(
которые
forall .QH
на котлин я это переводить не возьмусь, в нём квантификаторов нет
зато в регэкспах есть!
ML
И когда уже этот чат прочитает про разницу инишл энкодинга и файнал энкодинга?
похоже на ana kata
ML
или это оно и есть🤔
(
похоже на ana kata
четырёхмерное пространство?
DS
похоже на ana kata
Это скорее про то, что ты можешь представить данные как и в виде обычных АТД (initial encoding), так и в виде функций (final encoding)
(
или я плохо погуглил?
DS
или я плохо погуглил?
Под ana kata видимо имелись в виду recursion schemes
ML
Под ana kata видимо имелись в виду recursion schemes
да, и ana kata можно слить в histo и получить по сути то же самое, что и энкодинг чёрча
(
а, ты про морфизмы
AN
Какая здесь демагогия?
Ты лучше скажи откуда ты сделал вывод, что раст вообще как-то к ФП относится?
Ты лучше скажи откуда ты сделал вывод, что раст вообще как-то к ФП относится?
Обычная. Сделайте кто-нибудь стикер со словами "определи мне ФП". Очень часто в чате надо
ML
хочу записную книжку as code. чтобы абзацы были values с атрибутами, чтобы их можно было фильтровать и inline-ить в другие места и чтобы можно было cmd+b по ним, чтобы переходить к definition и usages. чтобы можно было в ячейку абзаца вместо текста влепить concat(<guuid одного абзаца> <guuid второго>) и получить текст или <guuid абзаца> | grep чтото и получить вывод
AN
нахуя миллион новых терминов
Иначе нет лулзов.
AN
а еще больше я не понимаю, почему в расте нельзя писать ссылочно прозрачные функции
Да хоть на питоне.
AK
а чем определние из вики плохо?
avoids changing-state and mutable data - особенно эта часть, понятно и проста же. ни мутируй
In computer science, functional programming is a programming paradigm—a style of building the structure and elements of computer programs—that treats computation as the evaluation of mathematical functions and avoids changing-state and mutable data.
avoids changing-state and mutable data - особенно эта часть, понятно и проста же. ни мутируй
СГ
var a = 3
fun rt() = a
Не срача ради, но разве грязная? Это же по сути лямбда получилась, и в случае с лямбдой скоуп который она захватывает это тоже часть функции становится.