в base

имеется в виду, что не надо нарушать это требование на ровном месте, когда можно и не нарушать

да

сиротский в каком-то там модуле

т.е. что я вижу, что хотелось вы в экспериментальном пакете: перевести часть на backpack: a. отладку б. ошибки какой-то общий подход к частичным функциям и ошибкам, lens? использовать пакеты, которые проверяют что что-то там инлайнится и оптимизируется

удостовериться, что для частичных функций есть аннотации для liquid haskell

убедиться, что можно использовать совместно с настоящей base

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

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

в этом пути лучше быть фанатиком

А существует ли чатик по elm ?

наверняка

@elm_ru

@astynax ^ (не в курсе)?

О, спасибо!

вон, Кана написал уже

Только там есть упоротые личности с которыми бесполезно спорить

там бывает весело, когда тайпклассы обсуждаем

но так-то в чате мало жизни

Как только я ухожу, то становится некого троллить :)

вот, но как-то те цели, что выше не достаточные для того, чтобы действительно стоило начинать, даже в игрушечном режиме

в принципе интересно какие ещё вещи из нового мира можно затащить как базовые, какой-нить обобщенный подход к стримингу, чтобы можно было пайпы кондуиты машинки инжектить? свертки и развертки для базовых струткур данных, чтобы можно было controlled fusion пилить вместо(вместе) с правилами? и на основе предыдущего простые вектора, у которых не будет проблем с over-специализацией если звезды не сходятся

в общем все очень смешано и спутано

наверное имеет смысл если и играться с этим то какими-то мелкими шагами

ну вот, никому не интересно :)

Add informative comments to each field in the cabal file (y/n)? [default: n] n <stdin>: hGetLine: invalid argument (invalid byte sequence) cabal-install is so cabal-install

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

не, в какое-то другое поле что-то попало

@A64m_qb0 вот что ещё хорошего придумать можно?

заменить error на Maybe, например в read

ну и ToString в read можно добавить, но не уверен что это будет удобно

проще уж вызывать конкретные функции вместо полиморфной

ну вот уж делать очередной safe имхо неверно

в крайнем случае read :: Prism String a

хотя это тоже не факт что лучшее

ну тоже неплохо

просто error вне IO это так себе

это уже даже не hask

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

это уже даже не hask

вполне себе хаск, каждый лифтед тип в хаск имеет боттом

error возвращает bottom?

ну да

undefined :: a undefined = error "undefined"

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

https://hackage.haskell.org/package/base/docs/Text-Show.html#v:showsPrec

хм, интересно, всегда игнорировал showPrec там правда ассоциативность игнорируется

@A64m_qb0 вот что ещё хорошего придумать можно?

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

в принципе интересно какие ещё вещи из нового мира можно затащить как базовые, какой-нить обобщенный подход к стримингу, чтобы можно было пайпы кондуиты машинки инжектить? свертки и развертки для базовых струткур данных, чтобы можно было controlled fusion пилить вместо(вместе) с правилами? и на основе предыдущего простые вектора, у которых не будет проблем с over-специализацией если звезды не сходятся

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

я боюсь, что нельзя полноценно

я вот где-то вроде видел такую попытку, но особо не вникал, насколько она удачная

сейчас попробую найти

кстати а как звались либы и плагины для проверки того что сфьюзилось?

а вот такой смешной вопрос - кто-то помнит, как устанавливать более свежий ghc на убунту?

где всё всегда несвежее

hvr овский ppa подключить

а то у меня cabal install cabal-install поломался

https://launchpad.net/~hvr/+archive/ubuntu/ghc

а вот такой смешной вопрос - кто-то помнит, как устанавливать более свежий ghc на убунту?

stack?

кстати а как звались либы и плагины для проверки того что сфьюзилось?

такие штуки обычно Joachim Breitner делает, может так найти можно

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

чота не найти, ну и ладно

плагин для проверки что соптимизировалось для тестов только помню http://hackage.haskell.org/package/inspection-testing - т.е. там нужны образцы для того как должно было оптимизироваться

т.е. не для обсуждаемого случая

а вот это более релевантно https://github.com/nomeata/list-fusion-probe/blob/master/Data/List/Fusion/Probe.hs

а да это было

Хакач теперь внутренние библиотеки показывает как обычные зависимости, конечно, с неправильными/битыми ссылками

они вроде так и не решили что с ними делать и как правильно

по-моему, не показывать ложные зависимости лучше, чем показывать

ERROR: S client not available

А как в линзах нетотальные функции сделаны? Призмами?

да

они тотальные. нетотальными можно сделать весь "конвейер" оператором ^?!

он не говорил "нетотальные призмы" он сказал "нетотальные функции", про тотальность призм ничего нет

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

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

Вполне, учитывая что каждый символ тут что-то да значит. ^ - мы делаем view, ? - через призму, ! - мы используем её небезопасно, как нетотальную

crackhead jesus - твиттер про Дункана

> Seriously your developers look underfed and overworked or they have shrunken with the prices...

Криптаны такие токсичные

а че им еще делать?

у них заработок строится на обмане и лицемерии

https://secure.meetupstatic.com/photos/event/4/5/1/8/highres_469877688.jpeg нет ну а чо

он не говорил "нетотальные призмы" он сказал "нетотальные функции", про тотальность призм ничего нет

Зачем делать такой странный ник?

Зачем делать такой странный ник?

а зачем не делать?

ну не мешать другим чат читать

сейчас он много места занимает в окне

РосНикНадзор

надо больше скролить

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

хм, вообще его не доложно быть в окне

ну то есть все нормальные клиенты, что я знаю, транкатят ники

консольный телеграмм может и нет. или вебморда

вебморда

ужасная судьба

спили мушку, Крошка. У тебя слишком большая мушка.

а что за ник был?

(λα.(λβ.α(ββ))(λβ.α(ββ)))(λαβ.(λγδε.γδε)((λγ.γ(λδεζ.ζ)(λδε.δ))β)((λγδε.δ(γδε))(λγδ.δ))((λγδε.γ(δε))β(α((λγδε.(λζ.ζ(ληθ.η))(γ(λζ.(ληθι.ιηθ)((λη.η(λθι.η))ζ)(δ((λη.η(λθι.η))ζ)))((λζηθ.θζη)(λζη.η)(λζη.η))))β))))(λαβ.α((λγδ.γ((λεζ.ε((ληθ.η((λικ.ι((λλμ.μ)ικ))ηθ))εζ))γδ))αβ))

вот так у меня чат выглядил

спаибо что убрал ник