спасибо

asterius на этом бенчмарке не проверить, у него же гц нету

А что значит "если бы он оптимировал как ghc"?

это значит что я переписал оптимизированную гхц корку на этот язык

Что можете сказать хорошего или плохого по eta language?

Ничего ;)

это допотопный хаскель (гхц 7.10)

это допотопный хаскель (гхц 7.10)

И планов у них нет хотя бы на 8.2?) Вот тот же ghcjs и тот под 8 есть

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

может их жизнь и затавит когда-нибудь, но не факт

Индия)))

Можно обновиться до 8.2 и не парится, фичей после него всё равно не будет

Можно обновиться до 8.2 и не парится, фичей после него всё равно не будет

8.4 умные дырки

Ну и мб когда-то DC разродится

Систем который

8.4 умные дырки

Что умеют?

Что умеют?

Как в пурсе саджешены есть

Не просто тип, но и варианты

Прямо как боженька завещал.

прям как в идрисе

я чето думал что это в след релизе будет

а оно уже в 8.4 - надо переезжать

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

8.4 умные дырки

там тупые умные дырки, умные умные дырки только в 8.6

прям как в идрисе

Прям как в агде))) откуда и пошло

В агде кстати ду нотации добавили

там тупые умные дырки, умные умные дырки только в 8.6

А в чем отличие?

Что можете сказать хорошего или плохого по eta language?

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

в 8.6 они лучше сортируются по релевантности и есть предложения в которых самих есть дырки

т.е. это уже как-то можно с пруфассистантами и зависимым от типов автокомлитом

в 8.6 они лучше сортируются по релевантности и есть предложения в которых самих есть дырки

Иерархия дырок

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

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

Ну ghcjs вроде быстрее начал двигаться

да ничего не быстрее

а когда релиз 8.6 планируется?

наверное уже лучше на него перееду

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

а когда релиз 8.6 планируется?

осенью

а там какие-то изменения будут после которых перестанет собираться половину либ?

осенью

Чё классного будет?

релиз без фитч же

ну дырки умные умные

:)

но боюсь чтобы там что-то не поломали

до заморозки 8.6 неделя, с фичами дела обстоят сейчас так: вмерджены 4 микрофичи литералы с подчеркиваниями блоки кода передаваемые в функции без скобок @ в паттерн-синонимах вайлдкарты в стендалон дерайвингах приняты комитетом и имплементированы, но пока не вмерджены две немикрофичи QuantifiedConstraints https://phabricator.haskell.org/D4724 DerivingVia https://phabricator.haskell.org/D4684 вынесены на рассмотрение комитета и имплементированы две фичи или-паттерны https://github.com/ghc-proposals/ghc-proposals/pull/43 читатель все никак не соберется прочитать лин.типы - читатель и не собирается читать до начала заморозки приняты комитетом но не имплементированы ньютайпы для анлифтед типов, массивы анлифтед типов и анбоксед типы величиной не со слово недоимплементированы и не на рассмотрении комитета - мутабельные объекты. таким образом пока есть надежда на второй релиз (почти) без фич, но ведь две нормальные фичи могут и успеть сделать

только вместо "до заморозки неделя", "до заморозки один день"

а там какие-то изменения будут после которых перестанет собираться половину либ?

не должны вроде

осенью

Надо успеть Ivory пропатчить ?

товарищи, а как вот эта фича называется в хаскеле чтобы посмотреть примеры и почитать можно было поподробнее pattern a :- b = (a, b)

а то гугление по слову pattern приводит к паттерн матчингу

товарищи, а как вот эта фича называется в хаскеле чтобы посмотреть примеры и почитать можно было поподробнее pattern a :- b = (a, b)

Pattern synonyms

спасиб, не мог вспомнить

Я вот прям заинтересовался "или-паттернами"

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

высокая, им сто лет в обед(в других языках)

Это радует

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

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

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

А есть какая-то граница?

всегда есть

*скучный спор об антиномии конечного и бесконечного был здесь*

а то гугление по слову pattern приводит к паттерн матчингу

поиском по оглавлению гхц-мануала зато легко находится

хотеть unfoldr, который даёт только бесконечные списки это то же самое, что хотеть foldr, который принимает только бесконечные списки (т.е. ему не нужен второй аргумент)

А хотеть fold, который принимает только непустые?

А хотеть fold, который принимает только непустые?

unfoldr это базовая операция

изобрести свой который будет обёрткой и не надо заворачивать в Maybe достаточно просто

Ну понимаю, но небазовую тоже хочется

отсутствие его в стандартной либе не странно

PL на \f x -> unfoldr (pure f) x

натрави

pure . f

видимо никому сильно не пригодилась

А хотеть fold, который принимает только непустые?

тип такого foldr по-хорошему должен быть (a -> b -> b) -> (a -> b) -> [a] -> b

тип такого foldr по-хорошему должен быть (a -> b -> b) -> (a -> b) -> [a] -> b

^ только вместо [a] тут надо вставить тип "непустой список"

А хотеть fold, который принимает только непустые?

foldr1?

foldr1?

Ага. Он недостаточно неалгебраичный?

Ага. Он недостаточно неалгебраичный?

это ко мне вопрос?

Да нет, он скорее риторический

Ага. Он недостаточно неалгебраичный?

foldr1 :: (a -> a -> a) -> [a] -> a не алгебраичен в смысле свёртки для непустого списка правильный foldr для непустого списка это (a -> b -> b) -> (a -> b) -> [a] -> b

criterion, но его сейчас принято ругать

А за что?

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

А что, его ещё и унижают? Это зело полезная вещь

А что, его ещё и унижают? Это зело полезная вещь

конечно, почитайте комментарии начиная вот с этого https://github.com/ghc-proposals/ghc-proposals/pull/43#issuecomment-370136509

Всем Привет. Почему Haskell?

Всем Привет. Почему Haskell?

ну не rust же, </troll> или, прости господи, C++

ну не rust же, </troll> или, прости господи, C++

Давайте подробно. Rust как вполне хорошая замена C/C++. Учу его сейчас. Очень гуд. Понравилось, что нет GC

Всем Привет. Почему Haskell?

а если серьёзно, то в честь Haskell Curry

а если серьёзно, то в честь Haskell Curry

Лучше просто дай ссылку на статью, где описываются плюсы Haskell

Более того, в честь него ещё один ЯП назвали. Отгадай, как он называется

?

Лучше просто дай ссылку на статью, где описываются плюсы Haskell

На главной haskell.org

плюсы хаскеля: есть гц

плюсы хаскеля: есть гц

Толсто

плюсы хаскеля: есть гц

no

йес

no

это не вопрос был

есть алгоритм с 5 переменными. на каждом шаге любая из них может измениться, в том числе все сразу. как идиоматично такое писать — рекурсия с 5 аргументами, State c 5-кортежем (и линзами), ST?

это не вопрос был

Утверждения тоже можно оспаривать.