Лещинский, кстати, вернулся в хаскель сразу в комитете заседать, а вектор что-то развивать не хочет

https://www.stackage.org/lts-10.3/package/multiset-0.3.3

от того же Лаарховена

а что это за новый проект у Кметта - coda?

вскод плагин для хаскелеподобного языка

@A64m_qb0 я замеитл

обругал linear types

верните старого лещинского

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

они ок?

Я правильно понял, что Снойман в докладе "почему хаскель уникален" заявил, что в строгих языках спейсликов нет?

ну что-то такое промелькивало

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

https://ghc.haskell.org/trac/ghc/wiki/UnpackedSumTypes а мне бы вот и packed подошли анонимные суммы

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

нужно наверное что-то вроде полиморфных вариантов, нет?

Ну я пока смотрю на Union Identity '[Foo, Bar, Baz] от @int_index

Но это That That That This как-то смущает

а как планируется использовать-то?

Правда не на скоростном участке, так что на производительность срать

Ошибочки из апишечки

не понял, зачем для этого анонимные суммы

-XDuplicateConstructorNames же нету

потому что бойлерплейт

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

Правда мне уже кажется что проще руками доки писать

что лучше? a) (i + 1) <- foo b) i' <- foo let i = i' - 1 c) i <- fmap pred foo d) i <- (-1) <$> foo

d

дык a) же депрекейтед

нет

ну я тоже d) использую, хоть хотел бы a), только чтобы он нормально был реализован (что я представить не могу, кроме S k <- foo)

а что не нравится в том, как реализован a?

в основном в том, что + там - нифига не оператор Num же, использовать какие (n * 2) <- foo мы уже не сможем, это какое-то adhoc решение

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

a) лучше

матчить можно по конструктору же, + же конструктором не является, в то время как :: вполне себе опять же, (S k) - норм, то есть дело чисто в нейминге

ну если бы являлся, то и n+k паттерны как отдельная фича не нужны были бы, но фича к тому и сводится, что как-бы является

Это же с integer работает? Т. е. вполне можно получить отрицательный i?

Это же с integer работает? Т. е. вполне можно получить отрицательный i?

можно

e) (pred -> i) <- foo

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

e) (pred -> i) <- foo

это уже будет f e) - это S i <- и соотв. паттерн-синоним

о, я смотрю ghcjs для 8.2 сделали

где его тестить можно?

в nixpkgs уже попал?

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

а в haskell же были какие-то опции для lto?

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

-split-sections?

он разве не включен по умолчанию везде (кроме виндовс, конечно)

угу включен

--gc-sections вроде можно передать

@A64m_qb0 ветке уже сто лет в обед - https://github.com/ghcjs/ghcjs/issues/602

@A64m_qb0 ветке уже сто лет в обед - https://github.com/ghcjs/ghcjs/issues/602

ветка вчера создана

и то правда

https://github.com/ghcjs/ghcjs/commits/ghc-8.2

Подскажите, термин bottom (type) в отечественной computer science действительно переводится как "дно"?

некоторые переводят его как жопа

_|_

Довольно таки жопа

Ну а если цензурно? )

Ну почему бы и не дно

почему бы и не _|_ или bottom

боттом

ну можно еще как-то типа "неразрешимость/парадокс"

А почему бы не "вакуум"?

Переводят как боттом

Добрый вечер! Так какой всё же наиболее распространённый подход в Haskell при работе с SQL-базами? (В моём случае SQLite3) Какие библиотеки чаще всего используют, может быть, ORM или ещё какие-нибудь приблуды?

persistent (+ esqueleto, если нужны сложные запросы)

1. persistent 2. persistent + esqueleto 3. opaleye 4. opaleye + girella

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

ещё beam вроде сикелайт умеет

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

Ок, спасибо )

Блин, за persistent вообще лайк от души. Прямо то, что я искал в том виде, в каком мне надо.

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

это

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

select внутри select, например

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

Сложные запросы консидеред хармфул. У меня из-за такого подхода SQL стал тьюринг-полным

Надо б библиотеку с автогенерированным AST PostgreSQL, без семантики

Сложные запросы консидеред хармфул. У меня из-за такого подхода SQL стал тьюринг-полным

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