изи

Я уже подумал "началось". бесит когда доки на китайском

亡不凹 = Смерть не прогнутая? Вообще перевод есть или от балды символы?

? Нет, перевода нет, так же как нет смысла у традиционной записи RWST<R, W, S, R1, W1, S1>

Это просто символы-мнемоники

不 как синоним "False" удобно. Если клава есть подходящая ...

Аллюзии лишь по форме, догадайтесь с одного раза почему 不 — это Write

不 как синоним "False" удобно. Если клава есть подходящая ...

Ну как вариант, просто ассоциации, не более

Аллюзии лишь по форме, догадайтесь с одного раза почему 不 — это Write

лол

юзай emoji

Чтобы что?

emoji нельзя, ты думаешь я не пробовал?)

аа

это же жиес

не фп но https://github.com/renyuanL/pythonTurtleInChinese/blob/master/examples/examples_tc/ryClock.py

это же жиес

Сказал с таким видом будто ?? каждый день????на своём расте

кстати писать это 書, состоящее из радикалов 曰 (солнце) и 聿 (кисть)

年= 現在時刻.year 月= 月份[現在時刻.month - 1] 日= 現在時刻.day имена переменных из 1 буквы, удобно чо

годно

年= 現在時刻.year 月= 月份[現在時刻.month - 1] 日= 現在時刻.day имена переменных из 1 буквы, удобно чо

Не, такое я предлагать не рискую)

Конкретный кейс — в дженериках используются имена из одной буквы, не несущие никакого определенного смысла

И учитывая то, что тип используется значительно чаще чем пишется, то значит вполне можно юзать иероглифы

В случае с переменными всё уже слегка иначе

Еще я понял, что fp-ts gcanti — это симулякр

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

Допустим, есть функция от одного аргумента x => x Иногда кроме аргумента требуется контекст (x, ctx) => x Это Reader Иногда хочется вернуть больше одного объекта x => [x, ctx] Это будет Writer Стоп, а что такое вообще x? Какие-то данные, которые сохраняют свой тип во время вычислений, какой-то буфер или контекст, типа this Ок x => x Это State RWS — это функция которая принимает несколько аргументов, возвращает несколько объектов и имеет свой this Проще говоря, RWS — это и есть функция жс А функция которая принимает одну функцию и возвращает другую — это RWST Раунд

что значит T в RWST?

transform

Мнемоника Natural transformation, если не ошибаюсь

https://leanpub.com/purescript/read#leanpub-auto-the-rws-monad Про RWS есть тут

Народ, вкратце. Рамда сдохла и вместо нее лучше Sanctuary?

Почему сдохла??

ramda不亡

Народ, вкратце. Рамда сдохла и вместо нее лучше Sanctuary?

как раз наоборот все

Если fp-ts — это симулякр, то sanctuary — это диснейленд

Почему сдохла??

А чем рамда лучше? ramda-fantasy рекомендует sanctuary, в sanctuary кроме перфоманса вроде не видно недостатков

А чем рамда лучше? ramda-fantasy рекомендует sanctuary, в sanctuary кроме перфоманса вроде не видно недостатков

Их некорректно сравнивать напрямую (хотя автор и пытается, что я считаю демагогией), потому что они решают задачи разного уровня

ок

То есть ramda — это базовые функции, sanctuary — вздорные рантаймовые ADT

Это максимально бессмысленная затея, так как то, что автор выносит в рантайм должно выводиться статически

Поэтому ему альтернатива это скорее fp-ts, чем ramda Я устал выбирать по теореме эскобара, поэтому юзаю свою библиотеку apropos

Конкретный кейс — в дженериках используются имена из одной буквы, не несущие никакого определенного смысла

Имена в дженериках вполне себе должны нести смысл.

Имена в дженериках вполне себе должны нести смысл.

Мнемоника символа — это главный и основной смысл названия дженерика

Попробуй подобрать "имя" дженерику в следующем типе:

Array<T>

Я предлагаю назвать гошей

Короче нифига ничего они не значат, это просто буквы чтобы различать их между собой

Array<Element>

А теперь для двух: Array<[A, B]>

Играем до конца строки

PairElement1 PairElement2

Для трёх будет так [A, B, C][] А для четырёх ничего не будет, потому что у вас четыре типа уже не поместятся

При это будут отличаться всё тем же одним символом в каждом То есть по прежнему ничего не значить)

странная логика

Нормальная

Как ты думаешь, почему в x^2 + y^2 = z^2 будет использован мой подход а не твой?

Математики уже по три алфавита переюзали

потому что здесь арбитрарные значения и мы о них вообще ничего не можем сказать

Вот о чём я и говорю

нет

мы можем сказать чему они принадлежат

Чему?

и это значение никак не теряется если они "отличаются одним символом"

Чему?

паре, массиву, ну

Круто

и это значение никак не теряется если они "отличаются одним символом"

Это доказательство того, что ты можешь хоть по 140 символов делать названия)

я же не говорю что нельзя сокращать

ERROR: S client not available

Нотч с Кармаком в твиттере недавно обсуждали, как назвать элементы октодерева - node, child, element или ещё как-то. А вы говорите - дженерики.

Даже по поводу такой мелочи неопределенность )

Я обнаружил, что такой финт можно провернуть ограниченное число раз, и ты возвращаешься к бессмысленным названиям уже когда появляется второй K V S, так как K1 отличается от K2 не больше чем 一 от 二

интересно почему K2 бессмысленно ?

использовать ханзи странно. Проблема наименования извечна но всё же назвать State китайским словом для "False" ...

Array<T>

Array<Item>

по-сути "T" несет в себе столько же информации сколько и "Item"

использовать ханзи странно. Проблема наименования извечна но всё же назвать State китайским словом для "False" ...

Я не настаиваю, как бы. Убеждён, что если бы я показал идею на примере слогового письма канадских аборигенов, как и собирался, то всё равно бы нашлась пара канадцев, которая бы сказала что мне надо подтянуть орфоэпию

по-сути "T" несет в себе столько же информации сколько и "Item"

(но это больше чем "A" или рандомный кандзи который автору показался похожим на что-то)

А ничего, что Т всегда было сокращением от Type? Общепринятые же сокращения, камон.

Ничего

А теперь для двух: Array<[A, B]>

Array<[First,Second]> в этом частном случае и Array<[...TuppleItems]> в общем.

lens s t a b

всегда обожал

Вот! Вот именно в этом вся хурма

ну и в парсеке то же самое

причём там можно дать имена

Вот! Вот именно в этом вся хурма

я не на твоей стороне короче

но лень сраться

Array<[First,Second]> в этом частном случае и Array<[...TuppleItems]> в общем.

EntityCreatorFactoryConstructor, ага. Больше букв там, где они не нужны.

я не на твоей стороне короче

Не, погоди, попробуй развить мысль) Как удобно, почему, чем отличается s от a и как это предлагается пояснять)

Сорри, немного бомбит от джава-мышления. Не буду разжигать. Всех с наступающим )

lens s t a b

как насчет lens li lo si so

lens s t a b

sometimes I stab people

?

HashMap< KeyPrev, ValuePrev, StatePrev , KeyNext, ValueNext, StateNext > если я правильно понял, что значит это подражание математике: K, V, S, K2, V2, S2.

как насчет lens li lo si so

норм

Да, норм, это логичный следующий шаг

Не, погоди, попробуй развить мысль) Как удобно, почему, чем отличается s от a и как это предлагается пояснять)

ну тип проще было бы видеть fromContainer fromValue

Да, норм, это логичный следующий шаг

Но опять же, он работает ограниченное число раз, да и в целом не сильно отличается от производной в моём примере (если кто не заметил, то каждый иероглиф повторяется дважды)

по-сути "T" несет в себе столько же информации сколько и "Item"

T - это что? Тип элемента? Тип итератора? Тип поля length? Тип менеджера памяти? Стратегия ресайза? Статическая длинна массива?

))