Ayrat
9 упоротых лиспов из 10
Анна
ты написала интерпретатор на котором написала Y комбинатор?
интерпретатор я давно написала, это же язык из лабы моей
Анна
Просто Y-комбинатор это ровно то, чего мне не хватало, чтобы убрать костыль и сделать функции все анонимными! (сейчас костыль на месте, но уже не нужен)
Ayrat
Просто Y-комбинатор это ровно то, чего мне не хватало, чтобы убрать костыль и сделать функции все анонимными! (сейчас костыль на месте, но уже не нужен)
да он вообще мне голову сломал. Строгая система типов не всесильна. Комбинатор без рекурсии невыразим на строгих языках. Это весьма важный факт, который говорит что soundness системы типов должен иметь возможность для динамики! Этот очень важный факт я отложил себе в голове на полочку
Vasily
Полочка, как я понимаю, в дальнем углу чулана
Анна
да он вообще мне голову сломал. Строгая система типов не всесильна. Комбинатор без рекурсии невыразим на строгих языках. Это весьма важный факт, который говорит что soundness системы типов должен иметь возможность для динамики! Этот очень важный факт я отложил себе в голове на полочку
Да мне тоже сломал. Но вроде ж вай-комбинатор скорее для красоты, в жизни им не пользуются. Поэтому для языка норм, если он не позволяет выразить такую упоротую штуку
Doge
да он вообще мне голову сломал. Строгая система типов не всесильна. Комбинатор без рекурсии невыразим на строгих языках. Это весьма важный факт, который говорит что soundness системы типов должен иметь возможность для динамики! Этот очень важный факт я отложил себе в голове на полочку
Так вроде бы можно через всякие Mu и аналоги выразить
Ayrat
это то же самое что объявить рекурсию через рекурсию
Ayrat
Полочка, как я понимаю, в дальнем углу чулана
Я буду иногда доставать этот факт, любоваться им и ставить обратно в чулан. Пригодится может
Ayrat
Так Mu вроде бы тоже без явной рекурсии определяется.
Я вот видел что Y определяется через похожий Mu, но рекурсивно
https://stackoverflow.com/a/5885270/4346877
Doge
Вроде бы можно было через такое определение тоже выкрутиться:
newtype Mu a = Roll { unroll :: Mu a -> a }
Ayrat
на самом деле можно выкрутиться даже на fsharp если в нужном месте подсунуть obj (аналог динамики)
Ayrat
тогда не придётся тайп чекеру доказывать что a == a -> b
Ayrat
надо попробовать.
Ayrat
К ней доков примерно около нуля. Надо постоянно в сорцы лазить
Ayrat
При том что там вокруг неё наверчено тонна всего
Dr. Friedrich
В какой формат сконвертировать JSON 50 Гб, с кучей вложенностей?
Сконвертируй в XML и хавай SAX-парсером.
Dr. Friedrich
Я все ещё не понимаю почему не обычный жсонридер
А это какой? У нас есть какой-то стандартный или хотя бы общеупотребимый ридер, который умеет парсить потоково?
Dr. Friedrich
Уверен что смогу. Не уверен что сегодня. Я вообще кодирую только в рабочее время
Ты очень странный человек!
Ayrat
Ты очень странный человек!
у меня очень много дел. Вот сейчас разырываюсь между Crusader Kings 2: Holy Fire, Path of Exile: Betrayal и Stellaris: Mega Corp.
Пока побеждает последний
Dr. Friedrich
А я пытаюсь Mono скомпилять ._.
Ayrat
А я пытаюсь Mono скомпилять ._.
Ну, тоже наверное интересно. Тебе ж Егор дал сакральные команды. Компиляется долго?
Вообще какие машины в JB дают среднему разработчику Rider/Idea?
Dr. Friedrich
Dr. Friedrich
Вроде норм, не жалуюсь
Dr. Friedrich
Плюсоводам помощнее железо дают, потому что им плюсы надо собирать (внезапно!)
Ayrat
Скалистам наверное сразу кластер личный каждому чтобы компилять хелоуворлды
Dr. Friedrich
Решарпер с включенным R# Build инкрементально собирается от нескольких секунд до 10 минут (в зависимости от внесённых изменений, понятное дело)
Dr. Friedrich
IDEA собирается, пожалуй, минут 15 с нуля
Vabka
Dr. Friedrich
Ну и с инкрементальной компиляцией в Java всё вообще плохо, в Kotlin чуть получше
Ayrat
Решарпер с включенным R# Build инкрементально собирается от нескольких секунд до 10 минут (в зависимости от внесённых изменений, понятное дело)
я вот только понять не могу чем ваш инкрементальный билд лучше нативного? он тоже не пересобирает проект если изменений нет
Dr. Friedrich
Dr. Friedrich
Стандартный мсбилд пересобирает проект, если поменялись депенденси
Ayrat
Ааааа
Dr. Friedrich
А наш анализирует публичный API и пересобирает депсы только если изменилось что-то действительно важное
Vladislav
Ayrat
т.е. если самый глубокий проект изменился, он всё дерево перекомпиляет
Dr. Friedrich
Правда, это раньше приводило к косякам, если, например, ты неявно зависишь от чего-то в другом проекте
Dr. Friedrich
Через рефлекшен или от ресурсов
Dr. Friedrich
Ну тут сорян, на этот случай есть галка «собирать в обычном режиме» :)
Bonart
Fail
Fail
Fail
монадами по лицу водят
Vasily
Суровое башкирское фп
Ayrat
Бля, они ещё к вопросу автора пришпилили
Vasily
Привыкай к известности
Dr. Friedrich
Скажи спасибо что фоточка приличная!
Vasily
Ща сделаем поприличнее
Vasily
Айрат ток пиво принесет
Vasily
Анна
Фил Ранжин
Hog
Хм... из таких бокалов обычно дюбель :)
Vasily
Мальчонка один
Vasily
Ник не помню
Крылатый
Vasily
Дрыщ
Крылатый
Hog
Умный наверное очень - лоб до затылка!
Крылатый
А то
Vasily
Ваще,канеш,на педофила похож
Крылатый
Бле, ещё один)
Hog
На Айрата похож :) только сивый
Roman