
Quet
11.03.2017
10:36:57

? animufag ?
11.03.2017
10:45:35
Андроид иос
Да был не прав
Возможно

Google

? animufag ?
11.03.2017
10:46:42
Такой вывод у меня был сделан из-за того что я частично реализовал интерфейс но не вызвал нереализованную функцию
В общем не принимайте за дауна. Что-то меня натолкнуло раньше на такие выводы)

Quet
11.03.2017
10:49:41
думал java
ну раз там андроед то почти угадал)

? animufag ?
11.03.2017
10:55:59
Ну тип зашквар да?
Ну мы тут на котлин перешли но в плане либ всё тухло

Quet
11.03.2017
10:57:00
там же интероп с жабой вроде прозрачный обещали?

? animufag ?
11.03.2017
10:57:31
Тима пишет всё также как на джаве и я стараюсь своих не напрягать всяким фп
Ну хотя бы нулейбл типах

Quet
11.03.2017
10:58:23
ну в смысле откуда проблемы с либами
если можно просто цепляться к жабовским
коих миллионы

Google

? animufag ?
11.03.2017
10:59:22
То есть внутри котлина всё проверяется на нулы, а если что-то из джавы приходит, то проверяй сам
Также функциональные интерфейсы - из джавы, внутри котлина нельзя
Тесты ставятся только над дб-релейтед классах
Ну и авто тесты от тестировщиков
Я не знаю как надо и не уверен что rxjava всех спасёт

Quet
11.03.2017
11:02:33

? animufag ?
11.03.2017
11:02:36
Но кажется можно лучше

Quet
11.03.2017
11:04:22
я ж говорю ситуация похожа но СИЛЬНО хуже

? animufag ?
11.03.2017
11:04:32
Ну то есть в случае котлина всё приходящее из джавы лучше бы обернуть и норм живём

Quet
11.03.2017
11:04:33
потому как котлин и жабка все ж много общего имеют

? animufag ?
11.03.2017
11:05:52
Ну реально если проект зависит от джавы котлин лучше всего из джвм языков. Причины понятны
Да и реально не представляю как в реальном мире людей настраивать на скалу например.

eugene
11.03.2017
11:07:33
Берешь и пишешь

Тёма
11.03.2017
11:07:38
Смотря каких людей.

eugene
11.03.2017
11:07:38
Вся настройка

Тёма
11.03.2017
11:08:08
Ну вопрос времени, конечно.

Quet
11.03.2017
11:08:27
Берешь и пишешь
а потом оказывается что мог бы и на жабе (восьмой) и примерно та же херня, только работает быстрее )

eugene
11.03.2017
11:09:37

Google

? animufag ?
11.03.2017
11:10:12
Не 8я же скучно. Тустрим, тулист

Quet
11.03.2017
11:11:49
второй вариант скалы -- обмазываешься scalaz, ехала монада через функтор
и внезапно оказывается что OO хаскель на jvm это какое-то говно
пишешь на хаскеле, забирают в дурку
откуда не глянь -- не очень нужна эта скала (

Тёма
11.03.2017
11:13:23
А что есть лучше скалы на jvm?

Quet
11.03.2017
11:14:00
java )
ну котлин это кажется правильная скала такая

Тёма
11.03.2017
11:14:09
Я конечно не особо "в теме", но вот этот вот Котлин мне показался мешком сахара.

Quet
11.03.2017
11:14:28
зато это правильный сахар )

? animufag ?
11.03.2017
11:14:38
Ну всякие более хаскельные джвм языки совсем без инфраструктуры, выбор небольшой

Тёма
11.03.2017
11:14:42
Ну всё лучше джавы, конечно.

? animufag ?
11.03.2017
11:15:28
А так особо лишнего сахара не помню
Ну делегейтед классы -думаю никогда таким не воспользуюсь, но мне на работе человек показывал ситуацию где ему бы пригодилось
Ну тогда ещё не было "?"

Quet
11.03.2017
11:22:41
эмм
if let where и ? это разные вещи ж
? это такой комбинатор для одной монады )
которая в расте сильно в ходу )

? animufag ?
11.03.2017
11:33:02
Не я про то что if optional?.condition()==true можно сделать, что покрывает большую часть нужд
Насчёт го: в разных модулях быть разные имплементации интерфейса? Если да то они могут перекрывать друг друга?

Google

Quet
11.03.2017
11:36:53
перекрывать?
это как

eugene
11.03.2017
11:45:05
https://github.com/haskell-perf/sequences
https://github.com/haskell-perf/dictionaries

? animufag ?
11.03.2017
12:46:09
В модуле а определишь ф1
Модуль б импортирует а, в нём тоже определяешь ф1 но по-другому

Мерлин
11.03.2017
12:52:46

Denis
13.03.2017
08:15:16
Привет! Изучаю Хаскел, есть ли возможность унифицировать эту структуру
data ProductK m n f = ProductK (m f) (n f)
чтобы работала для любого вида f.
Т.е. и для f :: * и для f :: * -> * и т.д. ?

Oleg
13.03.2017
08:33:58

Denis
13.03.2017
08:43:25
let me check
А есть уже такая структура в Prelude может быть?

Oleg
13.03.2017
09:05:51
А есть уже такая структура в Prelude может быть?
https://www.stackage.org/haddock/lts-8.5/base-4.9.1.0/Data-Functor-Product.html
Kind Polymorphism, как я понимаю с 7.8, т.е. он нифига ни с кем не совместим, поэтому в Prelude нескоро что-то такое появится

Denis
13.03.2017
09:18:38
Спасибо

Мерлин
13.03.2017
09:46:52
[last news]
Retrofitting Linear Types in Haskell [pdf](https://www.microsoft.com/en-us/research/wp-content/uploads/2017/03/haskell-linear-submitted.pdf)

Dmitry
13.03.2017
15:29:16
А есть у нас где-нибудь (желательно йесод не тащить) функции для валидации/нормализации URL-ов?

Quet
13.03.2017
15:51:57
network-uri?

Dmitry
13.03.2017
15:52:04
ага
сойдет. спасибо

Alexander
13.03.2017
18:20:30

blkmrkt
13.03.2017
23:08:54
Подскажите, чем деплоить бинарник хаскеля на Debian, чтоб бегущий процесс перезапускался с теми же параметрами? У меня CircleCI делает нужные артефакты, но я их вручную заливаю и вручную перезапускаю после каждого билда
На самом деле нужно скалировать этот процесс на N машин, чтоб с новым пушем в ветку production, каждый линукс-клиент где оно запущено, получал новую версию.

Google

Максим
14.03.2017
03:55:47
@blkmrkt Ну простое решение - Ansible. Напиши один раз playbook и деплой.

Тёма
14.03.2017
07:39:34
Раз заговорили, то кто-нибудь пробовал nix? Как оно?

Max
14.03.2017
07:39:51
я не осилил
очень сложно пользоваться
так-то идея хорошая и правильная, но оверхед показался неоправданно большим
но это субъективно, может чего и не понял
в nix-shell очень гиморно подключать все используемые библиотеки, например
в теории это позволяет разрулить dep-hell, но на практике такое редкость
и решается средствами языка, когда всё подряд не ставится в систему, а компилится в бандл какой-то

Dmitry
14.03.2017
07:42:34
кстати да, еще в никсе какой-то дикий контр-интуитивный cli
@mtreskin а чем ты пользуешься для деплоя? ansible?

Max
14.03.2017
07:43:09
да
ансибла хватает

Dmitry
14.03.2017
07:43:14
фак, да что ж такое

Max
14.03.2017
07:43:20
ну что поделать

Dmitry
14.03.2017
07:43:22
да он блин уродский

Max
14.03.2017
07:43:26
уродский