@haskellru
Denis04.12.2017
22:07:03
22:07:03
Alexander04.12.2017
22:07:16
22:07:16
@catamorphism да просто тип, в котором элементы упорядочены
GoogleAlexander04.12.2017
22:07:55
22:07:55
а какой ты от них хочешь профит?
можно выразить требование линейности на типах
пока ж никакой магии лишней нету
типа off-heap хранения и т.п.
kana04.12.2017
22:08:27
22:08:27
тоже +1 за haskell_learn
Denis04.12.2017
22:08:51
22:08:51
Alexander04.12.2017
22:09:13
22:09:13
Denis04.12.2017
22:09:34
22:09:34
что за haskell_learn?
Denis04.12.2017
22:09:36
22:09:36
ну это мультисет обычно называется
Denis04.12.2017
22:10:13
22:10:13
https://hackage.haskell.org/package/multiset
Egoarka04.12.2017
22:10:24
22:10:24
дошел до 9 главы io haskell_learn, до сих пор сдвинуться дальше не могу из-за нехватки времени ;(
GoogleAlexander04.12.2017
22:10:42
22:10:42
https://hackage.haskell.org/package/multiset
я сейчас просто играюсь с линейными типами, в общем-то толку от чужого мультисета нетухочу таки запилить сортировку, проверка того что все элементы на месте нахаляву есть
а что сортированы нету
Denis04.12.2017
22:11:13
22:11:13
ну я сам пакет не юзал, просто это то, что ты хочешь
А какое отношение линейные типы к мультисету имеют тут?
может я вопрос не понял
Alexander04.12.2017
22:15:55
22:15:55
никакого, я играюсь с линейными типами и делаю (сделал) сортировку
мне было интересно как добавить то, что они ещё и сортированы
в идрисе кстати я даже такого не осилил с их UniqueTypes там это ад
Слава04.12.2017
22:17:32
22:17:32
Есть такой язык, пересекающийся с ada, называется ada spark. В нем можно сделать контейнер, который будет хранить элементы и давать гарантию, что элементы упорядочены. Но, для этого потребуется повесить постусловия на все методы работы с контейнером - вставка, удаление, и написать доказательство для верификатора. Как это сделать на типах - не представляю.
Евгений04.12.2017
22:17:46
22:17:46
В хаскель завезли линейные типы? :О
Denis04.12.2017
22:18:05
22:18:05
никакого, я играюсь с линейными типами и делаю (сделал) сортировку
думаю со значениями-синглтонами можно изобразитьно лучше мультисет, ей богу
Alexander04.12.2017
22:19:27
22:19:27
я не уверен что я нахаляву получу линейный мультисет
Denis04.12.2017
22:19:54
22:19:54
Alexander04.12.2017
22:19:54
22:19:54
точнее я так понимаю он вообще не может быть линейным просто ну никак
Denis04.12.2017
22:19:57
22:19:57
ни про что линейное я подсказать не могу, я в них не умею
GoogleDenis04.12.2017
22:22:08
22:22:08
Наверное можно, но зачем?
kana04.12.2017
22:27:28
22:27:28
Надо завести @haskell_learn
ну я создал, посмотрим, приживется ли, или все будут и дальше писать вопросы сюдаhttps://t.me/haskell_learn
kana04.12.2017
22:29:34
22:29:34
Чтобы конфа использовалась, нужно активно туда людей редиректить по вопросам и добавишь в шапку
Евгений04.12.2017
22:44:25
22:44:25
Чо-то я не могу в ghc 8.2.2 найти доку по линейным типам
https://downloads.haskell.org/~ghc/8.2.2/docs/html/users_guide/index.html
Alexander04.12.2017
22:44:57
22:44:57
а в 8.2.2 и нету
Евгений04.12.2017
22:45:48
22:45:48
Вы на мастере сидите?
Alexander04.12.2017
22:46:08
22:46:08
на своей ветке
Евгений04.12.2017
22:52:17
22:52:17
Какой-то раст-мир прям :) а вы черри-пикаете из мастера или еак это работает
Index04.12.2017
23:28:31
23:28:31
Ок, вопрос от новичка - как начать получать деньги за кодинг на хаскеле? Желательно на удалёнке. Какой минимум знаний нужен для такой работы, и что следует прочитать и прорешать?
К примеру, для работы на java достаточно прочитать Эккеля, узнать, зачем нужен Spring (загадка великая, до сих пор никто не ответил), чуть-чуть знать так называемые прости господи паттерны проектирования и уметь делать простые запросы на sql, для чего достаточно упражнений на sql-ex. И ещё уметь пользоваться maven'ом (чего там уметь-то).
Итак, что нужно для Хаскеля? И где под него ищется работа?
Нужно знать рекурсию, rm -rf ~/.cabal, и две теории категорий (одна запасная)Всё это описано в книге "Haskell для чайников, или как перестать сопротивляться и полюбить тайпчекер"
Igor05.12.2017
00:32:57
00:32:57
это всё равно. задача была достаточно простой, чтобы человек сам разобрался. представь, что всякий раз, когда ты пытаешься что-то решить, тебе сразу спойлерят решение. так ничему не научишься.
kana05.12.2017
01:57:30
01:57:30
это всё равно. задача была достаточно простой, чтобы человек сам разобрался. представь, что всякий раз, когда ты пытаешься что-то решить, тебе сразу спойлерят решение. так ничему не научишься.
в конкретном случае я в корне не согласен. Там не была какая-то головоломка или какая-то хитрость языка, это была задача на банальное понимание того, что если рекорд хранит функцию, то он хранит функцию, а создавать рекорд нужно с функцией. И узнать эту инфу можно прочитав или увидив пример кода. Я дал и то, и топытаться идти тут окольными путями это как пытаться объяснить, что нельзя складывать в хаскеле 2 + “qwe” не потому, что это разные типы, а + требует один и in Num, а как-нибудь через теоркат
GoogleDen05.12.2017
02:04:41
02:04:41
А как заставить cabal пересобрать все установленные пакеты (был добавлен флаг PIC), но чтоб он использовал строго уже установленные версии, а не пытался их обновить?
cabal install —reinstall world пытается
вопрос снят: —force-reinstall не пытается (правда, всё равно не получилось - полезли странные ошибки, а ghc всё равно не собирает ничего, т.к. rts из haskell platform собран без PIC :( )
короче, подложили свинью с этим PIC-ом в Debian 9
AdminERROR: S client not available
Vyacheslav05.12.2017
08:53:35
08:53:35
а подскажите плз хорошую либу для логгирования в файл?
Hot05.12.2017
08:53:59
08:53:59
log4j вроде перенесён уже повсюду, куда только можно.
Мб и до хаскеля добрались.
И нет, я не жавист.
Aleksey05.12.2017
08:55:40
08:55:40
https://hackage.haskell.org/package/fast-logger
Vyacheslav05.12.2017
08:55:42
08:55:42
я нашел такую штуку, но он во-первых с 2015 года не поддерживается, во-вторых там блин надо свой хэндлер писать
https://hackage.haskell.org/package/fast-logger
видел, но смущает, что надо везде с собой таскать объект логгера и нет приоритетовAleksey05.12.2017
08:56:31
08:56:31
над fast-logger есть надстройки
Можно поискать через обратные зависимости
https://hackage.haskell.org/package/log-warper
Чтобы не "везде таскать с собой" можно monad-logger - этот поверх fast-logger работает и MTL-style констреинт даёт
GoogleAlexander05.12.2017
09:14:22
09:14:22
катип хороший, не реордерит сообщения
и можно делать как и дурацкий таймер, так и точный
и контексты таскать можно
и свой handler подставлять
но на эти контексты будет оверхэд, если кто померяет и там много будет, то можно потратить время и улучшить, там есть куда
Anatolii05.12.2017
09:32:20
09:32:20
а в миграции persistance можно куда-то индексы добавить?
а то я что-то не нашел
какие-то странные миграции получаются
вроде мигрируют - но не все что нужно
и еще я в доках нашел что он не поддерживает переименование полей, но как это обойти я не нашел
ему чтоли никак нельзя подпихунть sql файлик для миграции
Denis05.12.2017
09:48:23
09:48:23
у нас свои костыли на fast-logger
Открыть в Telegram