но в теории тебе необязательно знать что находится в объектах категории

а в множестве обязательно?

ну да

почему

Нет

In mathematics, a set is a well-defined collection of distinct objects

ну, спорить не буду. надо так надо

In mathematics, a set is a well-defined collection of distinct objects

Дальше читай, ага)

?

Кроме того, в составе категории Set вообще не единственный возможный вариант

а как ты ещё можешь создать сет

как угодно

множество всех морфизмов

всё создал

проверяй

Зайду с козырей - Fuzzy Set

это же расширение обычного определения

это же расширение обычного определения

Просто один из вариантов

an extension of the classical notion of set

Не вижу противоречия

Почитал за трандьюсеры - годно, почему не применяете?

Предпочитаю энергичные вычисления

Предпочитаю энергичные вычисления

?

Почитал за трандьюсеры - годно, почему не применяете?

ведь нет профита над процедурным форматом

ведь нет профита над процедурным форматом

тут никто процедурно не пишет лоло

не верю

?

?

В D поебать как писать, если функция pure, значит, она соответствует требованиям фп

ы

В D поебать как писать, если функция pure, значит, она соответствует требованиям фп

Банально, гораздо интереснее как раз таки как он разруливает обратные ситуации

какие?

Банально, гораздо интереснее как раз таки как он разруливает обратные ситуации

полу-чистые функции?

вообще D не нужен. Раст есть

полу-чистые функции?

IO

D не фп язык же вообще

знаю

В d кстати есть интерфейсы, трейты?

В d кстати есть интерфейсы, трейты?

Есть интерфейсы. https://dlang.org/spec/interface.html

И шаблоны с миксинами. https://dlang.org/spec/template-mixin.html

А трейтами там называется вот это: > Traits are extensions to the language to enable programs, at compile time, to get at information internal to the compiler. This is also known as compile time reflection.

полу-чистые функции?

Запилил пост про сайд-эффекты @leadingedge

Запилил пост про сайд-эффекты @leadingedge

Подписался

Репостнул

> часть кода была рассчитана на то, что результаты будут доступны в течении текущего тика эвент лупа

как?

Закрытие соединения через 20 мс и создание запроса, надеясь, что успеет)

Есть операции, которые выполняются очень быстро, условно, функция - инкремент, есть те, которые выполняются очень долго, мощно подвешивая компьютер пользователя, чтобы этого избежать, последние активно использовали nextTick и setImmediate и в паре мест складывалась ситуация, когда мы уже напихали задач на следующий таск и микротаск и рассчитываем на то, что для следующих операций immediate будет действительно immediate, а тут между ними внезапно оказывается существенный промежуток (причём абсолютно синхронный)

То есть, ожидается, что код (i) =>{ i++; // 1 console.log(i) // 1 i++; // 10 omg kill me } будет реально синхронным, а тут внезапно не совсем

i каким-то образом расшарена с другим кодом?

Плюс сосноль.лог тормозил вообще всё выполнение кода на эти самые 100 мс что тоже было критично для алгоритма, активно завязанного на таймстеп

и ещё интересно: ты делаешь setImmediate чтобы блокирующие в синхронном коде IO операции не создавали лаги на UI, но оказывается что код не синхронный

То есть, ожидается что после выполнения синхронного кода таймстеп будет как минимум актуальным с погрешностью на порядок меньше

а что за алгоритмы завязаны на таймстеп?

В телеграме msg_id связан с ним и при этом должен строго возрастать (защита от replay attack), при обнаружении атаки сервер немедленно прерывает всю сессию целиком

Запилил пост про сайд-эффекты @leadingedge

и как бы в js для этого надо возвращать тип данных из функции, описывающий все сайд эффекты ?

Ну да, нужно запилить что-то типа этого самого Eff

не видел пока ни одной красивой/популярной реализации

вероятно ответ где-то в генераторах

Естественно, потому что тайпскрипт row type эффектов вообще не вывезет, а на флоу этой темой занимаюсь только один я ?

ERROR: S client not available

вероятно ответ где-то в генераторах

Нет, тут без влияния на рантайм всё решается

Нет, тут без влияния на рантайм всё решается

а как?

a => [value:T, eff:Eff[]]

возвращать несколько аргументов, я так понимаю

Нет, тут без влияния на рантайм всё решается

А на каком этапе обрабатывать их предлагаешь ?

Естественно, потому что тайпскрипт row type эффектов вообще не вывезет, а на флоу этой темой занимаюсь только один я ?

Flow has row type polymorphism

)))

?

?

а как?

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

То есть код на purescript компилируется напрямую в аналогичный код на жс, но при этом просто описан в статически выводимой форме

Код -> результат компиляции. Читабельнее чем в тайпскрипте ?

оригинал выглядит страшненько

но идея крута

так то не очевиден прок выражать сайд эффекты в монады в джс

оригинал выглядит страшненько

Да ладно, обычный код)

так то не очевиден прок выражать сайд эффекты в монады в джс

Ничем не отличается от purescript только возмодностей меньше

я вижу прок что типы запрещают тебе писать сайдэффекты где попало

пойду изучать purescript

кстати, а его на сервере можно юзать?

или в реакте?

дальше хз зачем биндить все лямбдочи

кстати, а его на сервере можно юзать?

Он компилируется в обычный жс, хочешь — юзай на сервере)

или в реакте?

Ага

Он компилируется в обычный жс, хочешь — юзай на сервере)

а с типами что делать?

тайпинги тож писать?

Но я недавно узнал хорошую идею — продакшн код писать на нём может быть тяжело с непривычки, а вот тесты — совсем другое дело, так как их не нужно думать как паблишить и так далее

а с типами что делать?

С какими?)

С какими?)

ну например для сторонних пакетов Типа telegraf, express, koa и т.д.

Ну в расширяемые эффекты (это же и есть Eff в пурсе, не? Не знаком с ней) как раз таки корутинность и эмулирует