В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

(F|R|FR)P - русскоговорящее сообщество

326 membersпожаловаться на группу
2019 March 30

ЗП

Зигохистоморфный Препроморфизм in (F|R|FR)P - русскоговорящее сообщество
Vasiliy Yorkin
мб скорее "самое маленькое лямбда-исчисление"?
хех)
нашел задачи, что я давал на своих лекциях
https://gist.github.com/xgrommx/b96d6e54181f5eee81ace7b26d0f967e
Gist
SKI
SKI. GitHub Gist: instantly share code, notes, and snippets.
источник
00:02пожаловаться

ЗП

Зигохистоморфный Препроморфизм in (F|R|FR)P - русскоговорящее сообщество
также есть теория супер компиляторов основанных на супер комбинаторах (добавлены некоторые свойства)
источник
00:05пожаловаться

VY

Vasiliy Yorkin in (F|R|FR)P - русскоговорящее сообщество
есть ли смысл разбираться с теорией комбинаторов, если уже знаешь кое как ЛИ?
источник
00:06пожаловаться

VY

Vasiliy Yorkin in (F|R|FR)P - русскоговорящее сообщество
тупой вопрос, конечно
понятно, что лишним не будет
интересно, просто насколько широко применяются идеи этой теории
источник
00:06пожаловаться

ЗП

Зигохистоморфный Препроморфизм in (F|R|FR)P - русскоговорящее сообщество
Как часто работает математика. Мы берём что-то простое, не имеющее свойств, ничем не примечательное и непонятное нечто. Затем мы к этому нечто приклеиваем какую-то структуру. Получаем что-то более конкретное, более понятное, более осязаемое.
Потом мы добавляем ещё структуру — объект становится ещё более определённым, но и свойств для изучения у него становится больше
источник
00:06пожаловаться

ЗП

Зигохистоморфный Препроморфизм in (F|R|FR)P - русскоговорящее сообщество
Vasiliy Yorkin
есть ли смысл разбираться с теорией комбинаторов, если уже знаешь кое как ЛИ?
там проще)
аксиомы
применение
все
источник
00:07пожаловаться

ЗП

Зигохистоморфный Препроморфизм in (F|R|FR)P - русскоговорящее сообщество
Vasiliy Yorkin
тупой вопрос, конечно
понятно, что лишним не будет
интересно, просто насколько широко применяются идеи этой теории
pointfree же
источник
00:07пожаловаться

VY

Vasiliy Yorkin in (F|R|FR)P - русскоговорящее сообщество
я просто (теперь) понимаю pointfree как "равенство ф-ций без указания их аргументов"
источник
00:09пожаловаться

VY

Vasiliy Yorkin in (F|R|FR)P - русскоговорящее сообщество
фишка в том, что аргумент ф-ции иногда называют «точкой» (значение фции f в точке x). например, если 2 фции равны, то можно сказать, что они «поточечно» равны (странно звучит, на англ — pointwise equality). а равенство же фций без указания их аргументов называют «безточечным равенством» (point-free equality). поинтфри уравнения разумеется подразумевают композицию
источник
00:09пожаловаться

VY

Vasiliy Yorkin in (F|R|FR)P - русскоговорящее сообщество
но это просто альтернативное понимание (насколько я понимаю!)
источник
00:10пожаловаться

ЗП

Зигохистоморфный Препроморфизм in (F|R|FR)P - русскоговорящее сообщество
Vasiliy Yorkin
я просто (теперь) понимаю pointfree как "равенство ф-ций без указания их аргументов"
можешь указать применяя эта-экспансию
источник
00:10пожаловаться

ЗП

Зигохистоморфный Препроморфизм in (F|R|FR)P - русскоговорящее сообщество
кстати X аксиоматика для КИ мое любимое определение)
всего один комбинатор-аксиома и мы получаем рабочий язык
источник
00:14пожаловаться

ЗП

Зигохистоморфный Препроморфизм in (F|R|FR)P - русскоговорящее сообщество
кто-то играет в Секиро?)
источник
00:15пожаловаться

VY

Vasiliy Yorkin in (F|R|FR)P - русскоговорящее сообщество
я нет, я только в хаскель последнее время играю
источник
00:16пожаловаться

VY

Vasiliy Yorkin in (F|R|FR)P - русскоговорящее сообщество
качаю героя
источник
00:16пожаловаться

ЗП

Зигохистоморфный Препроморфизм in (F|R|FR)P - русскоговорящее сообщество
в общем после ДС совсем другая механика
источник
00:17пожаловаться

З

Завтра in (F|R|FR)P - русскоговорящее сообщество
Бля просто ахуенно
источник
00:18пожаловаться

З

Завтра in (F|R|FR)P - русскоговорящее сообщество
Что тут хотел автор сказать - хуй его знает
источник
00:18пожаловаться

З

Завтра in (F|R|FR)P - русскоговорящее сообщество
Зигохистоморфный Препроморфизм
кто-то играет в Секиро?)
Сначала я сказал "боевка на парировании в разы пизже и зрелищнее, чем тупо перекаты", но потом я разочаровался в "пиу пиу одну тычку в час по боссу"
источник
00:18пожаловаться

ЗП

Зигохистоморфный Препроморфизм in (F|R|FR)P - русскоговорящее сообщество
почему жсеры считают, что строить все на строках это круто?
источник
00:19пожаловаться