его компания были early adopters

Не знаю можно ли говорить

Так что не буду)

логично

Учитывая сколько компаний пробуют перейти на базель, он не заглохнет

Я думаю у нас минимум 6 клиентов которые перешли или в процессе

надо бы тоже попробовать, хотя у меня multilanguage нету

Мэтью хочет там на сайте прилепить громкие (в хаскельном мире) имена))

Но надо разрешения получить

Всех поздравляю с праздником

кто-то видел уже такое? https://github.com/morphismtech/squeal

Рассматривал как альтернативу opaleye

радует, что у них есть RN https://github.com/morphismtech/squeal/blob/master/RELEASE%20NOTES.md

Создание и миграции итого всё равно делают через велосипед на списке SQL скриптов

меня всегда пугают такие фреймворки

надо все-таки находить время и пилить олегостатью

тем более что основа уже есть

надо все-таки находить время и пилить олегостатью

А что за статья?

quel или как-то так

http://logic.cs.tsukuba.ac.jp/~ken/quel/

Спасибо!

хотя там тоже минус, вроде с тем подходом нельзя произвольный sql добавить

и нужно все через все процессы прогнать

Привет, я ньюби, можете рассказать, как в данном случае работает cons перед zipWith' ? zipWith' :: (a -> b -> c) -> [a] -> [b] -> [c] zipWith' f (x:xs) (y:ys) = f x y : zipWith' f xs ys

y : ys конструктор списка, что слева голова, что справа хвост

тут голова списка это f x y - к функции f :: a -> b -> c применяются аргументы x :: a и y:: b

получается элемент типа c

@vkshv ^

или я не понял вопроса?

ааааа. все правильно понял, мозг в некоторых местах ломается пока просто) спасибо.

Ну линзы магией были лет 10 назад, щас-то они задокументированы донельзя

Пожалуй ссылки на документацию линз... ?

сам пакет?

Там всё должно быть понятно?

более-менее

понятно, но интуицию не даст

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

как с исключениями и асинхронностью

документация прекрасная, но не дает интуицию

и её нихрена не читают

: (

у меня нету интуиции когда что композить, а когда не надо композить

"1. Знаешь, что можно теоретически. 2. Пишешь аннотацию и входное значение 3. Перебираешь варианты с множественными traversed и folded 4. Получаешь нужное 5. Убираешь аннотацию 6. М.б. без аннотации продолжит работать"

так применяю линзы

Похоже на TDD только на типах

Просто линзы суперполиморфные

вроде поиск подстановок для дырок для линз работает (сам не пробовал, в пейпере есть пример)

Было бы отлично. И ещё более вредно для формирования интуиции.

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

Если какие нибудь хорошие сайты по типу 99, но для более прикладных вещей? Сделай веб сервис с базой склайт для...

Идей уже нет, хочется на хаскеле что нибудь прикольное пописать, устал математику на нем решать

Идей уже нет, хочется на хаскеле что нибудь прикольное пописать, устал математику на нем решать

Приходи к нам работать;) jobs@serokell.io

Приходи к нам работать;) jobs@serokell.io

удалённо берёте?

удалённо берёте?

У нас все сотрудники (около 50 человек) работают удаленно

У нас все сотрудники (около 50 человек) работают удаленно

зашлю резюме

зашлю резюме

Будем ждать, спасибо!

> Think back five years ago. How many technical opinions did you deeply hold which you now repudiate? 0 вот десять лет назад я верил в кучу ахинеи, к примеру, что ленивость по умолчанию не принципиально лучше энергичности и можно сделать нормальный ФЯ с выводом регионов

тебе бы сразу на реддите комментить

avoid reddit at all costs

это твиттер

> нормальный ФЯ с выводом регионов В смысле частчным выводом или полным?

без гц для базового региона

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

наверно туда скалисты заходили )

ERROR: S client not available

заметил, что я почти никогда не использую Text.Lazy

Дык GHC опенсорсный, пусть форкают и делают себе Goskell

ты какой-то нетолерантный

заметил, что я почти никогда не использую Text.Lazy

А он нужен только в очень специфичных случаях

да

Это вершина толератности! Они меня не трогают, я их не трогаю

так нельзя

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

ой, блин это не _blah

Backup туториалы уже есть, как к либе прикрутить интефрейс полиморфный над строками?

backpack?

тьфу

@chshersh ^

надевопсил

https://kowainik.github.io/posts/2018-08-19-picnic-put-containers-into-a-backpack

наверно туда скалисты заходили )

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

https://kowainik.github.io/posts/2018-08-19-picnic-put-containers-into-a-backpack

Идеально, спасибо

заметил, что я почти никогда не использую Text.Lazy

так это для лэзи ио только. причем каким-то чудом тектовое лези ио тормозное

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

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

ну я примерно так и пишу )

т.е. Text.builder

Или замкнутые сами на себе

правда редко нужен

> Exceptions that actually get reflected in the type. видимо 2 + 2 :: Int '[SomeAsyncException, AllocationLimitExceeded, CompactionFailed] или что-то вроде

при том, что сейчас SomeAsyncException не гарантирует что оно асинхронное

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

и не все асинхронные ловит, то добавь ещё SomeException

> Exceptions that actually get reflected in the type. видимо 2 + 2 :: Int '[SomeAsyncException, AllocationLimitExceeded, CompactionFailed] или что-то вроде

ArithException ещё

а оно может?

не вообще круто наверное было бы если бы функцию можно было аннотировать как-то: {-# ANNOTATION "Exception" [ArithException] <> (Exception a) <> (Exception b) foo :: a -> b -> c

а лучше язык каких нить предикатов