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

DnD же! data Law = Chaotic | Neutral | Lawful data Align = Good | Neutral | Evil type Descr = (Law, Align)

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

DnD же! data Law = Chaotic | Neutral | Lawful data Align = Good | Neutral | Evil type Descr = (Law, Align)

Rich white male

DnD же! data Law = Chaotic | Neutral | Lawful data Align = Good | Neutral | Evil type Descr = (Law, Align)

Neutral redefined

DnD же! data Law = Chaotic | Neutral | Lawful data Align = Good | Neutral | Evil type Descr = (Law, Align)

Ну да, потому что люди ведут себя одинаково во всех ситуациях.

чОрд! data Align = Good | NeutralA | Evil ; data Law = Chaotic | NeutralL | Lawful

Ну да, потому что люди ведут себя одинаково во всех ситуациях.

Lawful ведут себя одинаково, Chaotic по-разному. это тоже предусмотрено

по-моему одинаковое и lawful поведение это разные вещи

или под law подразумеваются не обязательно социально установленные нормы или закон, а просто следование личным принципам?

Под lawful подразумевается противополжность chaotic

а под chaotic противоположность lawful

ну chaotic же сразу ясно что

нет

ничего не ясно

это еще хуже, чем 16 personality types

ну это же лишь guildelines for roleplaying а не правила

https://en.wikipedia.org/wiki/Alignment_(Dungeons_%26_Dragons)#Law_vs._chaos и вообще это в blah

или под law подразумеваются не обязательно социально установленные нормы или закон, а просто следование личным принципам?

да, следование установленным нормам — это good, а lawful — следование собственным нормам, предсказуемость

ну это же лишь guildelines for roleplaying а не правила

кодекс пиратов — это рекомендации, а не закон

булевая слепота у вас. data Goodness = Good | NoGood

Good | Bad | Ugly

только good это не "установленным нормам", а христианским таким

только good это не "установленным нормам", а христианским таким

христиане? в моих подземельях?

а то я помню срачи на тему "ну я good хоть и расист, потому что я делаю good для свой расы"

Эльфы расисты

Эльфы расисты

тогда священная война это не good?

а есть QQ для многострочного Text?

уважаемые мэйнтейнеры katip, а не могли бы пояснить отсутствие последнего в stackage?

можно без интерполяции

Illegal type variable name: ‘TypeName’

а на такое кто нибудь натыкался уже?

а есть QQ для многострочного Text?

interpolate:Data.String.Interpolate.IsString.i

уважаемые мэйнтейнеры katip, а не могли бы пояснить отсутствие последнего в stackage?

они все в irc сидят

Illegal type variable name: ‘TypeName’

покажи код

проприетарщина

щас анонимирую

Illegal type variable name: ‘TypeName’

опечатка? может, там какой-то невидимый символ затесался? или одна из букв не буква, а буквоподобный символ?

Illegal type variable name: ‘TypeName’

а переменные разве не с маленькой?

Дак это и не переменная, а тип

щас

переменная уровня типов, как я понимаю

или в этом месте ожидается только переменная

переменная уровня типов, как я понимаю

https://gist.github.com/s9gf4ult/f75b77a92cbc1677887a0547bf564e4e

вот код

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

короче щас нормально поправлю

https://gist.github.com/s9gf4ult/f75b77a92cbc1677887a0547bf564e4e

у меня нет такого E.HasLens

то есть компиляция доходит до ненахождения E.HasLens

у тебя ошибка в B?

https://github.com/int-index/ether/blob/master/src/Ether/Internal/HasLens.hs#L17

откуда HasLens

Добрый день! Рассказали про cloud haskell. Насколько он production ready? Действительно ли может полностью заменить erlang?

есть те, кто применял. работает

не оставляет ощущение, что можно было более лучше

@int_index вероятно ты сталкивался

попытка сделать более лучше (transient) не работает

@int_index вероятно ты сталкивался

Я знаю про него, но не пользовался

вут?

Я знаю про него, но не пользовался

https://gist.github.com/s9gf4ult/f75b77a92cbc1677887a0547bf564e4e

я про это

я тут пытаюсь генерить инстансы для твоего HasLens

(не спрашивай зачем)

Я думал про cloud haskell

нет

ERROR: S client not available

ерунду писал выше

у меня воспроизводится

Так, ну я сейчас не дома уже, неудобно смотреть. Можешь пингануть через пару часов если не разберешься сам

ок

Навскидку там var и con перепутаны

По сообщению об ошибке

это как?

вот такое сообщение B.hs:15:1: error: Illegal type variable name: ‘SomeApp’ When splicing a TH declaration: instance Ether.Internal.HasLens.HasLens B.Typ1 B.SomeApp B.Typ1 where Ether.Internal.HasLens.lensOf = lens B._taTyp1 (\s_0 a_1 -> s_0{B._taTyp1 = a_1}) | 15 | makeEtherHasLens ''SomeApp | ^^^^^^^^^^^^^^^^^^^^^^^^^^

я прикрепил комментом к гисту

аналогичное

genHasLens (VarT name) fields

гист обновил

Почему VarT

Там ConT

Если ''Rec

вот это я тупой

лан спасиб

Illegal type variable name variable VARIABLE

подозреваю, что фундеп Typ1 SomeApp -> Typ1 не выполняется

потому что у Typ1 не тот кайнд

Скорее всего Typ1 имеет не правильное представление в core

изза коерсов

я вот пожаловался, например, на Alexander Vieth из Well-Typed, который консалтит не пойми как и в коде страшные вещи наворотил, но в то же время не буду отрицать, что он умный, крутые вещи время от времени придумывает (вроде https://github.com/avieth/type-lambda), и в GHC полезные contributions делает, и т.д.

Тоже сталкивался с этим типом. Считает что DI в любом виде, даже Reader это мерзкая ООПщина и все нужно передавать ручками в лямбды до посинения

или в фундепах пробел не аппликация?

Тоже сталкивался с этим типом. Считает что DI в любом виде, даже Reader это мерзкая ООПщина и все нужно передавать ручками в лямбды до посинения

Именно так

подозреваю, что фундеп Typ1 SomeApp -> Typ1 не выполняется

В смысле, почему не выполняется?

В смысле, почему не выполняется?

потому что аппликация невозможна

я думал это тролинг ...

сорян

Так это не аппликация

У фандепов a b -> c это (a, b) -> c