и добавил еще один эффект - writer

осталось самое главное - понять как использовать несколько эффектов

мне в принципе понравился халоген, хоть он не такой простой, как реакт, в него ввели еще несколько сущностей типа инпута (не пропсы), аутпута, еще всякой хрени

инпут аутпут как в ангуларе?

ппц

Это ты писал? :)

Это ты писал? :)

Нет

Ааа, Андрей?

В моем проекте 0 упоминаний jQuery)

а потом короче у них какие-то проблемы с сайтом, я в прошлом был фронтом, и короче я теперь снова с html вожусь, больше некому

Судьба)) (подозреваю что так и планировалось) ?

"ваш любимый фреймворк"

че это

лол

Чёрный фон — ето просто столбик jquery

лол)

github.com/graninas/GraphServer

https://fy.blackhats.net.au/blog/html/2017/07/12/time_safety_and_rust.html

|>

https://gist.github.com/kana-sama/34788f55f93c867853002276638079e5

сейчас пожалуй на массивы перепишу

С двумя интами в аргументах он что скажет?

просто первый читает

Странно. Откуда ask берётся? Ну там же пишется какой-нибудь бойлерплейт для ридера?

я же код скинул

шо?

откуда это?

откуда это?

Holyjs

Holyjs

ой все

и более менее красивые констрейты для указания нужных эффектов

ееее эффекты

не-не-не, не пиши ничего, не ломай мне кайф

я потом буду пейпер по фрир читать

лол зига

Все равно у этого есть проблемы с производительностью, даже с очередями что у Киселева, ну и у Чепляки пост был про это) есть ещё эфир или как-то так, эффин, extendible effects, freer effects) их много

проблемы с производительностью не так страшны

Ну а так это игрушки на тайп левеле) одна монада чтоб всеми править)

теперь зига будет про производительность писать

Но как оказалось, что freer в Черче есть просто хитрый переход в Continuation monad

ну так это написано в самом начале пейпера по ext-eff, аналогично и в freer

и по реализации выше видно, я там next передаю и вызываю, реализация корутин

и по реализации выше видно, я там next передаю и вызываю, реализация корутин

Да, это видно в твоей модели с Done, Next

Кстати на степике было задание про корутины на cont monads

оооо

нужно закончить

короче

я вроде как прочитал (еще нет, это типа санк) пейпер по расширяемым эффектам и там есть несколько интересных концепеций и технологий, которые лежат в основе имплементации. Так как никто пейперы не читает, я могу ими поделиться в своей форме, если кто-то хочет

я вроде как прочитал (еще нет, это типа санк) пейпер по расширяемым эффектам и там есть несколько интересных концепеций и технологий, которые лежат в основе имплементации. Так как никто пейперы не читает, я могу ими поделиться в своей форме, если кто-то хочет

я читал про EF

ну ты-то понятно)

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

Норм

ну типа того https://hackage.haskell.org/package/open-union-0.3.0.0

А извлекать как

через gcast, сейчас напишу метод

ну типа того https://hackage.haskell.org/package/open-union-0.3.0.0

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

хотя Union только для *

а для EF нужен * -> *

https://github.com/int-index/union

ERROR: S client not available

у него же и https://github.com/int-index/ether

https://ro-che.info/articles/2014-12-06-abstracting-from-transformer

? меломан ?

Typeable-магия

а coerce нельзя?

rows?

да, все это попытка эмулировать рядовой полиморфизм

ave purescript ?

а coerce нельзя?

не думаю, coerce все таки в компайлтайме типы знает

а мы в рантайме делаем проверки по TypeRep

рядовой

Там нет параметрического? Вроде List Double в примере в туториале, значит List :: * -> *, я думал там хиндли-милнер

хотя бы рядовой полиморфизм дайте

рядовой Полиморфизм, шаг вперед!

"Рядовой полиморфизм" — просто топ, мой новый любимый термин в ФП

А что это?

Я сначала подумал, что под "рядовой" имеется в виду "самый обычный, как везде"

я старался

Потом @catamorphism предложил, что это рядовой

Потом по примеру доехало, что это row polymorphism

обожаю этот термин

И Identity чтобы с типом gcast бороться?

для чего identity я вообще хз

а forall везде есть, просто он имплиситный

Ну да

И Identity чтобы с типом gcast бороться?

в смысле, для чего с в gcast я хз

а identity просто проще всего для этого использовать

Тогда почему не cast?

для EF нужен gcast1 потому что

там же эффекты как *->* хранятся