Rafael

Applicative Do вроде без расширения работает. Как оно тогда определяет, когда использовать при рассахаривании аппликатив, а когда монаду? IO же тоже аппликатив, но там порядок...

Думал как написать тип перевода из типа-суммы в тип-пересечение type UnionToIntersection<U> = U extends infer L | infer R ? L & R : U; Не работает. Работает только так: type U...

А если это частое действие? Сильно дорого будет каждый раз пересобирать свою монаду?

Почему в Persistent - upsertBy реализован как Select и потом Insert/Update. Ведь если 2 потока одновременно селектнут одну несуществующую запись и попытаются сделать Insert, т...

А в чём вопрос то? :/

Подскажите тайпкласс, позволяющий получить список всех доступных значений типа? Как связка Boundary и Enum, только чтобы работал не только для типов-сумм.

Недавно смотрел доклад https://youtu.be/dFwWbixJYkA?t=709 ( с привязкой ко времени) Там говорится что монада это последовательность, а аппликатив параллельность. Но там вроде ...

Гвардом может быть?

А есть функции для откусывания от больших Tuple'ов? Например хочу откусить голову и получить её и тюпл на один меньше

function createCounter(){ let count = 0; function inc(){ return count++; } return inc; } Разве inc здесь не лямбда?

Есть тип: data C = A Int | B Int Как линзами взять первое поле любого конструктора? Что-то типа ((A 5) ^. _1) == 5

Ты того? Препроцессор это ТО ЧТО ПРЕОБРАЗУЕТ один язык в другой... Вы какие-то тупые, сори

Почему пост?