Alexander
мне не очевидно, что 0 влияния, если это общий домен
Alexander
вот с rules наверное такое провернуть можно
Антон
Можно, но зачем? Держаться это будет исключительно на честном слове
Антон
нет, не шучу, а вы порекомендуете какую-то другую прелюдию?
Зная его, он предложить, что щас скажет, что все прелюдии говно, так что и смысла выбирать нет
A64m
нет, не шучу, а вы порекомендуете какую-то другую прелюдию?
не любитель обычной прелюдии но универсум это просто какой-то набор Дилевских странностей, я бы использовал вместо нее обычную прелюдию и lens
Anatolii
Anatolii
не любитель обычной прелюдии но универсум это просто какой-то набор Дилевских странностей, я бы использовал вместо нее обычную прелюдию и lens
С обычной прелюдией кол-во импортов огромное и partial функции
A64m
вот борьба с несколькими избранными частичными функциями это одно из того что я называю дилевскими странностями
Anatolii
ну на самом деле partial функции не так страшны, вот сразу затащить все пакеты нужные и импорты - самое приятное
Anatolii
ну и мелочи вроде варнингов о trace - тоже порадовали
A64m
ворнинг для трейса это нормальная идея
Anatolii
насчет линз я пока не уверен
Anatolii
ну всмысле насчет их урезанности
A64m
вот фтпборчество, текстовое ио, всякие странности вроде переименования id и боязни head - идеи вредные
Alexander
Text IO FWT
Alexander
хочу новую прелюдию c first level liquid haskell support, разбитую на части и с модулями
Alexander
и согласен без IO
Alexander
только интерфейсом
A64m
когда уже текст нормальный сделают, а то text тормозной, убогий, неподдерживаемый, как и все осалливановские библиотеки
A64m
все же хаскельная экосистема проделала большой путь, 10 лет назад О'Салливан - это был знак качества, а теперь мрак, ужас, днище
Alexander
чего кстати тексту нужно, правильному7
Dmitrii
хочу новую прелюдию c first level liquid haskell support, разбитую на части и с модулями
В планах есть завести LiquidHaskell в universum: https://github.com/serokell/universum/issues/113
Хочется в итоге в cardano-sl, но сначала нужно же, наверное, в основные используемые библиотеки (в которые мы можем). Дефолтная прелюда выглядит как хороший кандидат для экспериментального поля.
A64m
надо подумать, мне даже причины многих странностей text не понятны, к примеру почему ио тормозит
Leonid 🦇
Text utf8 допилить надо
Leonid 🦇
Правда там вроде хвр занимается...
Alexander
там разве не почаровые записи и конвертации туда-сюда?
Alexander
ну вроде там с кодировками что-то неприятно
Alexander
а зачем IO в тексте то
A64m
тоже загадка
Alexander
ты посмотрю код Data.Text.Interal.IO
A64m
видимо так было нужно чтоб на интерфейс String больше походить
Alexander
в ghc вокруг буфферов меньше
Alexander
т.е. там очень похоже но переизобретено
Alexander
тройная буфферизация!
Alexander
а не, таки переиспользуют из Handle
Alexander
там что-то странное
Alexander
но все равно зачем тексту IO я не понимаю
Alexander
да конечно хелперы какие нужны, но именно как хэлперы отдающие запись другой либе
Alexander
стримингам там фолдам всяким
Alexander
и чтение тоже
A64m
В планах есть завести LiquidHaskell в universum: https://github.com/serokell/universum/issues/113
Хочется в итоге в cardano-sl, но сначала нужно же, наверное, в основные используемые библиотеки (в которые мы можем). Дефолтная прелюда выглядит как хороший кандидат для экспериментального поля.
вот это более здоровая идея чем все эти страдания с нонэмпти списком
A64m
но все равно зачем тексту IO я не понимаю
ничего кроме того чтоб добиться полной замены всего стрингового интерфейса я так и не смог придумать
A64m
тогда какая-то нездоровая мода была эти списочные интерфейсы воспроизводить, что в байтстринге что в тексте что в векторе
A64m
по многу раз причем
A64m
для разных разновидностей
Alexander
нет чтобы сразу mono-traversable сделали
A64m
такое адище как раз тоже давно было, лист лайк
A64m
Снойман его просто переизобрел на новом технологическом витке адищестроения
Alexander
я не серьёзно если что выше
A64m
да кто вообще что серьезно в интернете пишет
Alexander
я иногда
A64m
надо себя сдерживать
A64m
это недопустимо
Alexander
ну извините
A64m
г-ди б-же. а листлайк-то жив, буквально на днях свежайший коммит, для 8.4 уже готов
Dmitry
А где сейчас модно SSL-сертификаты покупать?
sherzod
зачем покупать? letsencrypt
Dmitry
А, ну или так, да. Спасибо!
Андрей
c letsencrypt заморочек очень много
Андрей
если есть деньги на сертификат, то наверно на такое тоже можно потратиться https://www.cloudflare.com
sherzod
о, а какие там заморочки возможны?
Андрей
ну из последнего, то что помню, нет вменяемого способа перевезти сертификаты с одного хоста на другой без даунтайма
Андрей
плейбуки для ансибла писать не очень удобно, там заморочки при регистрации и получении первой версии сертификата
Андрей
обновлять по крону и следить за этими задачками
Евгений
ну из последнего, то что помню, нет вменяемого способа перевезти сертификаты с одного хоста на другой без даунтайма
В смысле? Берёшь и копируешь файлики, как с любым другим сертом
sherzod
а.. я на кубере счас, вроде ни с чем таким нет проблем
но первое это точно не про сертификаты
sherzod
они же к домену привязаны, причём тут хосты
Евгений
У нас есть специальный микросервис, который обновляет letsencrypt, лил
Андрей
В смысле? Берёшь и копируешь файлики, как с любым другим сертом
https://community.letsencrypt.org/t/moving-certs-from-one-server-to-another/29539
ну вот ты про это
Андрей
оно спотыкается при перебросе днс
sherzod
это конечно девопсовская тема ну и ладно
это какой-то ложный тред, они никоим образом к IP не привязаны
sherzod
у нас вообще сертификаты лежат не на хостах, а в асбтрактной конфе, которая маунтится когда поднимается хост
sherzod
я вообще эти сертификаты с девкомпа получал
Евгений
это конечно девопсовская тема ну и ладно
это какой-то ложный тред, они никоим образом к IP не привязаны
Ну этот чувак делает безумную вещь — он мувит сертификат на хост, IP которого не добавлен в A записи искомого доменное имя. У него локально в hosts прописана связка. И он естественно боится, что когда он попытается реньють сертификат, то он не обновится
sherzod
а лол
Евгений
Потому что он не сможет подтвердить, что этот инстанс его 😆 (но он ни одну сервису не сможет это подтвердить, letsencrypt тут не причём)
Андрей
ну само собой А запись прода смотрит только на реально работающий сервак и вот так вот перебросить налету сертификаты со всеми этими сертботами чтобы пользователь не заметили и знать, что сертбот при продлении сертификата не пошлёт по какой-то причине новый хост непонятно как