ты на русском ее пишешь?

конечно я ее еще буду редачить и сокращать но все равно дохуя

ты на русском ее пишешь?

изначально да, потом на инглиш буду переводить

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

не нужно

С гуи ты уже завязал?

Мне что теперь дальше на куте говнокодить?

Вообще я по серьезному вопросу, как мне в однострочнике из вектора структур взять из каждой структуры поле и передать в аргумент каждой другой структуры в векторе, который принадлежит изначально итерируемой структуре?

Я конечно сделал через циклы, все работает, но это слишком императивно

С гуи ты уже завязал?

нихуя

просто статья еще в процессе

плюс я еще и пишу боилерплейт почище и попроще для новичков

статья расчитана на уровень овощей

нужно больше овощей в комьюнити

ибо овощи вершат историю

Мне что теперь дальше на куте говнокодить?

да

То есть гуи фреймворк и не планировался? Планировалась статья?

блин недавно чот глянул на текствью компонент кьютов

господи какой же у qt охуенный апи для текст блоков

аж прослезился

То есть гуи фреймворк и не планировался? Планировалась статья?

ващет да

с качественным боилерплейтом и спекой с бестпрактисом как компоновать удобно и просто

Вообще я по серьезному вопросу, как мне в однострочнике из вектора структур взять из каждой структуры поле и передать в аргумент каждой другой структуры в векторе, который принадлежит изначально итерируемой структуре?

ты так скучно всё описываешь, что даже не хочется читать что ты там хочешь

сегодня сходил на митап и ушел почти сразу, топхикка-посетитель-митапов

Алиса вообще оказался такой няша-стесняша

ты так скучно всё описываешь, что даже не хочется читать что ты там хочешь

By now you should be pretty familiar with the definition of a monad as a monoid in the category of endofunctors. Let’s revisit this definition with the new understanding that the category of endofunctors is just one small hom-category of endo-1-cells in the bicategory Cat. We know it’s a monoidal category: the tensor product comes from the composition of endofunctors. A monoid is defined as an object in a monoidal category — here it will be an endofunctor T — together with two morphisms. Morphisms between endofunctors are natural transformations. One morphism maps the monoidal unit — the identity endofunctor — to T:

Алиса вообще оказался такой няша-стесняша

Алиса вообще оказался такой няша-стесняша

а ты?

он тоже

А я чё?

он альфа, всех задоминировал там!

моего лида склеил и стоял общался с ним, я аж ушел, чтобы им не мешать

а какое состояние оптимизаций компилера на всякие векторы? e.g sse/avx

а какое состояние оптимизаций компилера на всякие векторы? e.g sse/avx

Охуенное просто состояние. LLVM ЖЖОТ, оптимизирует все круче некуда

моего лида склеил и стоял общался с ним, я аж ушел, чтобы им не мешать

че за лид

ни скажу, он мой!11 😠

Охуенное просто состояние. LLVM ЖЖОТ, оптимизирует все круче некуда

скачать бесплатно без регистрации?

ОН СЕКСИ??!!

колись и фотку в студию)

А он знает что ты сидишь на канале про раст? Что ты функциональщик?

а какое состояние оптимизаций компилера на всякие векторы? e.g sse/avx

там вроде был набор симд структур в найтли, а в основном как и в сях, врубает симд с вероятностью 50%

У вас же ассемблерные вставки есть

у нас всё есть

кроме монад

завтипов еще тоже нету пока что

И вакансий

А типы высшего порядка?

Чтобы из функции тип вернуть?

Я не знаю, я этим не балуюсь

можно TypeId вернуть

Там 3 закона каких-то, но чтобы их знать нужно быть девственником

что за законы?

че за фигню он мелит)

из функции тип вернуть можно

как?

ну tipeid

же

у нас же нет другой рефлексии

не очень полезно

ну учитывая, что рефлексия в статически типизированном языке - вообще сомнительная тема, то да

Чтобы из функции тип вернуть?

завтипы же и есть

пока что нету

f : Bool -> Type f True = String f False = Nat x : (b : Bool) -> f b x True = "hello" x False = 123

че такое завтипы

зависимые типы, Dependent types

ясно

а оно нужно?

кроме монад

есть ж Optional

мне если честно слабо верится внедрения такого. Язык то строгой типизации. Не понятно как потом юзать такие функции. А сейчас это в виде энамов и перекладывание на динамическую типизацию решается

а оно нужно?

зависит от задачи конечно. Фича расширяет возможности типизации безгранично. Пример, имеем функцию head, которая отдает голову списка. В хаскеле она отдает сам элемент или падает в рантайме, очень плохо, многие испльзуют другую реализацию, которая maybe отдает (оптионал), хорошо, но геморно С зависимыми типами можно сделать тип Vector (n: Nat) (a: Type), то есть тип с двумя "генериками", первый - натуральное число (Z - 0, S Nat - инкремент, то есть S Z - 1, S (S Z) - 2). И потом описать функцию head : Vector (S k) a -> a, которая принимает только непустые вектора и ругается в компайлтайме. Это самый избитый пример, но он самый понятный) Используется такая тема довольно часто в продакшене для верификации софта (а вот софт верифицируют не часто, всякие крипты), ведь зависимые типы полностью изоморфны интуицинистой логике и исчелению конструкций (в языках типа Coq, Lean, Agda?), то есть на этих языках можно писать теоремы (типы) и доказывать их (термы). Обычные математические теоремы. На Coq сейчас формализуется одна ветвь современной математики HoTT.

раст язык для веба

там это не нужно

ну это тоже зависит, может хочется как-то очень точно описать проткол, где тип одно поля зависит от значения друого)

вот идрис в двух словах: типы - обычные значения, тип результата функции зависит от значения аргумента функции

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

типа такого: значения a = (True, 1) и b = (False, "hello") выглядят как термы разных типов (в одном второй элемент - число, во втором - строка), но в идрисе это может быть один тип: a, b : ((x : Bool), if x then Nat else String)

собственно поэтому вывод типов в идрисе в общем случае невозможен

самый простой пример использоавния - описание протокола, где первый байт отвечает за тип контента сообщения Значения (False, 1) конечно быть не может, ошибка типизации, ожидается строка, получено число

но ладно, пошел оффтоп, для интересующихся темой есть это - https://t.me/joinchat/AAAAAD9SWO_tLd7rJ9S7Ig