хотя насчет хаскелла я хз

в хаскеле нет сабтайпинга

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

у функторов это про сторону стрелок

аа ну да

думаю можно употребить слово с вариативностью если в разных местах функции поставить forall

А есть что-то вроде функтора, у чего map с такой (a -> b) -> (b -> a) -> f a -> f b сигнатурой?

это ж профунктор https://hackage.haskell.org/package/profunctors-5.2.1/docs/Data-Profunctor.html#v:dimap

Как вам Idris? Какие у него неожиданности?

Пошёл в #Idris :)

grug gateway to зависимые типы

неожиданностей нету, от языка плейграунда Брейди и не ожидаешь большего

Знания теории графов необходимы для разработки? А если и менее обходимы, то есть ли смысл лезть в дискретный матан и изучать все эти штуки?

Если ты не угораешь по всяким лизергиноморфизмам, то единственная область дискретки, которая тебе на самом деле нужна будет на практике, -- теория типов

Если ты не угораешь по всяким лизергиноморфизмам, то единственная область дискретки, которая тебе на самом деле нужна будет на практике, -- теория типов

а графы и булевая логика?

Ну графы любому программисту нужны, хаскель тут не при чём. А булева логика это не раздел никакой, чо там изучать-то?

Ну графы любому программисту нужны, хаскель тут не при чём. А булева логика это не раздел никакой, чо там изучать-то?

разложение булевых функций на всякие СКНФ и NAND

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

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

лизергиноморфизмы надо запомнить и взять на вооружение

у меня ассоциации только с морфизмами между линзами и зергами

хаскель больше на язык от протосов похож

хаскель больше на язык от протосов похож

у терранов слишком маленький мозг, они не способны понять технологии протосcов LOTV

а вообще весь этот чат нужно сжечь за использование ксенотехнологий

лизергиноморфизмы надо запомнить и взять на вооружение

🏳️‍🌈

у меня ассоциации только с морфизмами между линзами и зергами

Ну ЛСД же

я в этом вашем не шарю

мескалиноморфизм

это ж профунктор https://hackage.haskell.org/package/profunctors-5.2.1/docs/Data-Profunctor.html#v:dimap

Нет, профунктор Type -> Type -> Type, контравариантен по первому параметру и ковариантен по второму параметру, а экспоненциальный функтор Type -> Type и его вариантность заранее неизвестна.

никто в квантовые шахматы не хочет поиграть? (знаю что оффтоп)

если ключ кинешь

никто в квантовые шахматы не хочет поиграть? (знаю что оффтоп)

Что такое квантовые шахматы? Это когда в игре несколько партий, находящихся в состоянии суперпозиции? А как происходит декогеренция?

http://truly-quantum-chess.sloppy.zone

бесплатная версия

там wiki почти полная

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

и со всем из этого ввтекающим

Декогеренция происходит в момент атаки?

Затестил сейчас, интересная концепция)

атаки или занятия позиции где квантовая фигура стоит

и.е. например если "квантовая" фигура стоит перед пешкой - то пешка может сходить вперёд тем самым зафорсив вычисление

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

Не выходи из рекурсии,не совершай ошибку. Зачем тебе tail recursion optimization, ты что, умный шибко? За стеком бессмыслено все - особенно функции, кайся, Выходи только для такта GC и сразу возвращайся.

Не выходи из рекурсии,не совершай ошибку. Зачем тебе tail recursion optimization, ты что, умный шибко? За стеком бессмыслено все - особенно функции, кайся, Выходи только для такта GC и сразу возвращайся.

В сабже TCO не нужен

поч?

https://wiki.haskell.org/Tail_recursion#Tail_call_optimisation

и.е. например если "квантовая" фигура стоит перед пешкой - то пешка может сходить вперёд тем самым зафорсив вычисление

Я бы предложил сделать квантовую Доту, в неё хотя бы люди играть будут. Но не осилят же, не сделают.

квантовая дота это как?

обе команды одновременно выиграли и не выиграли?

последствия скилов не детерминированы?

последствия скилов не детерминированы?

А бог знает. Любители лизергиноморфизмов сумели извратить шахматы, стало быть и с дотой справятся. Я когда-то продумывал идею походовой игры вроде HoMM, но с тем условием, чтобы игроки не ждали друг друга до тех пор, пока их области деятельности не пересекутся.

В сабже TCO не нужен

Нужен. В math-functions из-за несработавшей TCO срывало стек

Но это было давно

А бог знает. Любители лизергиноморфизмов сумели извратить шахматы, стало быть и с дотой справятся. Я когда-то продумывал идею походовой игры вроде HoMM, но с тем условием, чтобы игроки не ждали друг друга до тех пор, пока их области деятельности не пересекутся.

Они же так и работают всегда

Они же так и работают всегда

Нет, сейчас один игрок ждёт, пока второй бегает по карте, думает и так далее.

Хз, я точно помню что подобный режим в том или ином виде был

Там тащемта не rocket sience, достаточно разметить на карте все области на которых игроки оказываются на расстоянии одного хода от территории другого

есть игра frozen synapse

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

о у них сделали multiplayer?

давным давно когда я смотрел не было

хочу игру про реальную экономику

где ты строишь-строишь, а потом Черный Лебедь сносит всю твою экономику недерминистическим парадоксом

Кто хочет побайкшедить? Мне надо придумать имена четырем комбинаторам

Давай!

комбинаторы размещают два изображения на плоскости, создавая новое, т.е. f :: Image -> Image -> Image 1. разместить горизонтально. При несовпадении высоты, второе изображение будет выше (под ним пустота) 2. разместить горизонтально, второе изображение внизу 3. разместить вертикально, left alignment 4. разместить вертикально, right alignment

HorizontalUpper Horizontal LeftVertical RightVertical

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

HU H LV RV

<> <> <> <>

HU H LV RV

У меня пока примерно так и есть — htop, hbot, vleft, vright. Но это ж кошмар нечитаемый

ну да

а как короче?

а как короче?

emoji

asideTopAligned, asideBottomAligned, belowLeftAligned... и алиасы <^>, <_>, <<->, <->>

\xE2\xAC\x86

Может юникод есть подходящий? 🤔

мне нравится как на курсах о структурах данных на степике питон называют псевдкодом)

⬆⬇⬅

ты что, все же знают что питон это не настоящий ЯП

Может юникод есть подходящий? 🤔

┬ - рядом и прижать к верху

┤ друг под другом и прижать вправо