@frp_ru
GoogleDenis18.02.2018
00:37:45
00:37:45
succ не идемпотентен
Denis18.02.2018
00:38:04
00:38:04
выгоните его!)
? animufag ?18.02.2018
00:38:15
00:38:15
Я хочу, чтоб единица прибавилась идемпотентно
ну можно организовать если бы операция сложения была нейтральна единицеDenis18.02.2018
00:38:34
00:38:34
? animufag ?18.02.2018
00:39:01
00:39:01
достаточно было слова использовать
Denis18.02.2018
00:39:14
00:39:14
А в чем различие и как это использовать?
идемпотентность, ссылочная прозрачность и тд позволяют проводить оптимизации в фпGooglekana18.02.2018
00:39:31
00:39:31
идемпотентность - свойство функций
kana18.02.2018
00:39:32
00:39:32
не всех
Дмитрий18.02.2018
00:39:35
00:39:35
Мне идемпотентность нужна была с вполне конкретными целями
kana18.02.2018
00:39:45
00:39:45
функции могут обладать этим свойствои и это можно использовать
Дмитрий18.02.2018
00:39:45
00:39:45
И я их уже пояснил
kana18.02.2018
00:39:48
00:39:48
а могут не обладать
Den18.02.2018
00:39:51
00:39:51
Ну первая шутка
andretshurotshka?❄️кде18.02.2018
00:40:23
00:40:23
/stat@combot
Combot18.02.2018
00:40:23
00:40:23
combot.org/chat/-1001071213089
andretshurotshka?❄️кде18.02.2018
00:40:27
00:40:27
/pidor@SublimeBot
Sublime Bot18.02.2018
00:40:28
00:40:28
Зачем вы меня разбудили...
Сонно смотрит на бумаги
Так, что тут у нас?
Ага! Поздравляю! Сегодня ты пидор - @kana_sama
andretshurotshka?❄️кде18.02.2018
00:40:46
00:40:46
лол
Googlekana18.02.2018
00:40:48
00:40:48
ПЕРЕДАЮ ПРИВЕТЫ
andretshurotshka?❄️кде18.02.2018
00:40:59
00:40:59
? animufag ?18.02.2018
00:41:02
00:41:02
блин вы столько тут разговариваете
andretshurotshka?❄️кде18.02.2018
00:41:03
00:41:03
/shipper@shippering_bot
SHIPPERING18.02.2018
00:41:03
00:41:03
Никто этого не ожидал
Даже подумать никто не мог
Что эти ребята отношаются
Вы посмотрите на них: @yellow_apple + @deep_freeze = ♥
? animufag ?18.02.2018
00:41:09
00:41:09
а я на 4м месте
Den18.02.2018
00:41:13
00:41:13
А у вас кто сегодня пидор, тот завтра уже не пидор ?
? animufag ?18.02.2018
00:41:25
00:41:25
kana18.02.2018
00:41:30
00:41:30
я по моему тут ОЧЕНЬ мало пишу
? animufag ?18.02.2018
00:41:32
00:41:32
какая-то закономерность
kana18.02.2018
00:41:38
00:41:38
но похоже все остальные пишут еще меньше
? animufag ?18.02.2018
00:42:29
00:42:29
Googleandretshurotshka?❄️кде18.02.2018
00:42:38
00:42:38
/pidorstats@SublimeBot
Sublime Bot18.02.2018
00:42:38
00:42:38
Топ-10 пидоров за текущий год:
1. Ilia — 3 раз(а)
2. Dmitry_Kovbasa — 2 раз(а)
3. goodmind — 1 раз(а)
4. Adsumus — 1 раз(а)
5. jqueryisamonad — 1 раз(а)
6. defaultvoice — 1 раз(а)
7. kelin2025 — 1 раз(а)
8. tetris0k — 1 раз(а)
9. vlastachu — 1 раз(а)
10. reeei — 1 раз(а)
Всего участников — 20
Den18.02.2018
00:42:57
00:42:57
походу пора валить
andretshurotshka?❄️кде18.02.2018
00:43:03
00:43:03
кого?
Den18.02.2018
00:43:10
00:43:10
от сюда
andretshurotshka?❄️кде18.02.2018
00:43:19
00:43:19
лол
andretshurotshka?❄️кде18.02.2018
00:43:41
00:43:41
А
Denis18.02.2018
00:45:26
00:45:26
мощность множества та поменялась
? animufag ?18.02.2018
00:46:03
00:46:03
идемпотентность обязательно a->a?
Google? animufag ?18.02.2018
00:47:26
00:47:26
ну короче выше было определение
f $ ... f x == f x
и по нему ок
а если попросить f x = x то не ок
Denis18.02.2018
00:48:08
00:48:08
это уже неподвижная точка
а на уровне эндофункторов это неподвижный функтор Fix
kana18.02.2018
00:48:56
00:48:56
почему-то пидором дня стал я, а кажется что он
Roman18.02.2018
00:49:06
00:49:06
f x = x * 1 ?
Denis18.02.2018
00:49:16
00:49:16
ну и по традиции) комбинаторы неподвижной точки, рекурсивные схемы и тд
Denis18.02.2018
00:49:57
00:49:57
зачем?
andretshurotshka?❄️кде18.02.2018
00:50:00
00:50:00
308
? animufag ?18.02.2018
00:50:24
00:50:24
осталось сделать дуальность идемпотентной
andretshurotshka?❄️кде18.02.2018
00:50:33
00:50:33
Denis18.02.2018
00:51:28
00:51:28
пора спать
Открыть в Telegram