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

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

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

-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 стал тьюринг-полным

ERROR: S client not available

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

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

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

так что lesser evil

вьюхи и хранимки же. все сложности переносятся поближе к данным.

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

в смысле динамической типизации

> вьюхи и хранимки же Ага, всё приложение в хранимке написать

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

По-моему, и для хачкеля что-то такое есть

> вьюхи и хранимки же Ага, всё приложение в хранимке написать

отпадает необходимость хранить приложение в гите! выгода!

хранимки только для data integrity же

class RestrictTime xs where restrict :: TimeUnit -> Maybe (Unit xs)

тогда это с type application испольщуется как: foo (restrict @ ['Day,'Week] -> Just x) = .. ?

или я опять туплю

тупой ghc теперь компиляет годами :/

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

тупой ghc теперь компиляет годами :/

?

тупой ghc теперь компиляет годами :/

верните нам компилятор, который ничего не делал!

не, мне конкретно тот кусок интересен был

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

там неясно, чего так тупить

мб специализаций генерил

ghc всегда что-то делал

но теперь делает больше, чем делал до

судя по скорости

это-то да

ну с фиксом https://ghc.haskell.org/trac/ghc/ticket/14338 возможно хоть чуток умерит свой был

иногда