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

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

Не выходи из рекурсии,не совершай ошибку. Зачем тебе 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

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

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

⬆⬇⬅

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

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

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

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

Стрелки тут мало о чём говорят

А ┤ изображает углы скобминированных картинок

мнемоника!

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

Это же Unit вроде?

не

это Top

Это символы рисования рамок. Они точно не заюзаны в unicode syntax

⊤┬

а не

разные символы

А что топ?

Для горизонтальной композиции блоками нарисовалось норм

a ▌▘ b a ▌▖ b

Для вертикальной не придумал

А что топ?

универсальный супертип

юнит просто топ

Any в расте

в Агде боттом это Void, топ это Unit

tt : ⊤

вроде

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

терминал объект может...

https://en.wikipedia.org/wiki/Top_type#In_logic

ERROR: S client not available

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

две стрелки заюзать?

Вообще можно использовать любой непустой тип, но обычно берут самый простой — Unit.

https://en.wikipedia.org/wiki/Arrow_(symbol)#Arrows_in_Unicode вот например кучу таких стрелок

вот скажите мне любители серванта, насколько для вас важно то что на нём можно и клиент на хаскеле писать? Или таки важнее всякие доки и сваггеры?

ну всё важно

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

только ради этого и держим этот плохокомпозируемый кусок бойлерплейта

Просто если нужны только доки и сваггер то можно сделать апишечку на аппликавном "парсере" запросов.

вот клиента уже наверно не запилить.

или запилить, но APi будет на Data.Functor.Conctravarian.Divisible наверно :)

или нет

Документация от Кметта: A Divisible contravariant functor is a monoid object in the category of presheaves from Hask to Hask, equipped with Day convolution mapping the cartesian product of the source to the Cartesian product of the target.

А у вас тут не упарывают всякие штуки типо теории категорий, комбинаторной логики и лямбда-исчисления? Это считается тут онтопиком?

Типизированное лябмда-исчисление это основа Haskell, ес-сно это on topic

Теоркат в меньшей мере

и за оффтопик тут не банят

@lonokhov клиент полезен очень

ну тогда только боль на типах

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

фри же! Нужны только интерпретаторы

если делать на фри то как быть с расширяемостью?

Мы же с тобой обсуждали :) И я предлагал иметь некоторые типы вида PathSegment и прочие нужные для роутинга в полях произвольных структур, умеющих в дерево и Generic

Хм... это вроде не то что я думал

Зато это то, что я думал :)

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

Для роутера же будет важно, что у коленцев дерева есть PathSegment

т.е. интерпретатор пишешь под себя, а в либе будут только хелперы типа "поматчить путь" или "ковертнуть капчу"? Или тут как-то это на женерики завязано?

можно на женериках, чтобы иснтансы не писать, думаю. Но да, смысл в этом - интерпретаторы пишешь сам

хм... на женериках забавно наверно

Можно при роутинге, вызывать некий обработчик коленца, который уже и контекст накопит при траверсе пути и права проверит и ещё чего

ну по идее надо накопить "delayed IO" из серванта

кстати если кто смотрел мой talk, то любые комментарии мне очень помогут сделать следующий доклады лучше, что правильно, что нет что изменить, что оставить