А explicit forall для оскопления типопеременных всегда надо писать?
Да
Vladislav
Vladislav
вроде недавно видел какой-то пропосал, чтобы не обязательно было
Предлагали только по-другому их биндить, через @a в паттернах
A64m
может речь про 128-й пропозал? f (Just (x :: a)) = <body> это даже имплементировано уже
A64m
в 8.8 будет
A64m
а с ограничениями это давно было
A64m
такое вот
> foo (x :: a) = read :: String -> a
> foo 2 "4"
4
работает и не в 8.8
Cheese
А explicit forall для оскопления типопеременных всегда надо писать?
для переноса из сигнатуры в тело — да
Ю ли я? 🤔
Count - не Num
Cheese
вроде недавно видел какой-то пропосал, чтобы не обязательно было
только для сигнатуры-веражения, если я правильно понял
кана
1 + getCount (count @Nat)
кана
вообще конечно ничего не мешает вывести Num для Count
Ю ли я? 🤔
Или mapC S $ count @Nat
Ю ли я? 🤔
Мешает то, что будет несколько разных каунтов для одного типа
кана
да, это да
Cheese
а какой смысл в Сountable Nat?
Cheese
count @Nat == count @Nat всё равно не напишешь
Alexander
аа я хочу более композабельные процессы
Alexander
у меня есть функция, которая что-то там внутри форкает работает и отдает результат (информацию как получить статус)
Alexander
хотелось бы не меняя её код уметь прицеплять финализатор
Cheese
я тоже много чего хочу. например, растовую передачу владения в моей айвори
Alexander
ладно я передумал, у меня тут resourcet проталкивается
Alexander
а в чём проблема?
Alexander
линейные типы вроде приделываются за пару дней, как картер писал
Cheese
у меня есть функция, которая что-то там внутри форкает работает и отдает результат (информацию как получить статус)
что-то такое? https://skillsmatter.com/skillscasts/12631-a-formal-approach-to-distributed-systems-implementing-a-pi-calculus-interpreter-in-haskell
Alexander
смотреть надо
Cheese
линейные типы вроде приделываются за пару дней, как картер писал
я не Картер, у меня больше 2 дней может уйти, чтобы разобраться
Alexander
но скорее всего нет, но может там и выражается
Alexander
зато ты сделаешь!
Alexander
в отличии от Картера
Ю ли я? 🤔
"Петрович говорит, что тут работы на четыре месяца. Значит, на самом деле на восемь. В итоге <...>"
Alexander
я ж писал эту историю
Alexander
начальство спрашивает типа вот фича когда:
1. - месяц, ну два
2. - два месяца норм
архитектор: полтора гоад
Anonymous
архитектор не нужен
Ю ли я? 🤔
@kana_sama ты доделал кату? Хотел бы ещё пару вопросов
Ю ли я? 🤔
Всё, вопросы сняты :)
Anonymous
Vlad Lopatin будет жить. Поприветствуем!
Anonymous
Всем привет. Александ Гранин жалуется в твиттере, что сообщество хаскель тяжело больно, за подробностями отправил в телеграм-чатик. Хочу узнать подробности. Я по адресу?
A64m
да
Alexander
нет
Alexander
в _blah пожалуйста
Kakadu
"Мамы, мы все тяжело больны, Мама, мы все давно сошли с ума"
Alexander
@haskell_blah
Anonymous
Так и что за драма, можно синопсис или линк?
Alexander
если есть история мотай на начало того дня, когда он жаловался, в _blah можно подробнее рассказать
Andrey
если вы интересуетесь хаскелем, то задавайте сюда ваши вопросы, а за драмой - в
@haskell_blah, да
Алексей
мне там в _blah драмы накинуть на вентилятор?
а не, мне лень
Anonymous
спасибо!
Alexander
в общем в том канале накидали достаточно инфы, а тут можно задавать вопросы делиться опытом и проектами и всячески развивать комьюнити
Cheese
мне там в _blah драмы накинуть на вентилятор?
а не, мне лень
как всё-таки полезна лень в Хаскеле!
Alexander
все равно там все накинули и опять это переливание из пустого в порожнее
Y
Сколько зарабатывают хаскелл-корифеи?
Leonid 🦇
Кастрюля борща в день
Andrei
вообще лучше переходить сразу к оскорблениям
Alexander
у alphasheets была вакансия $50/h
Alexander
но вроде всех выгнали, и остались работать только с посредниками
Alexander
а не, Слоана потом из FPCO сманили
Y
Жесть
Alexander
что жесть. мало?
Alexander
js-человеки на такое даже смотреть не будут
Alexander
в US если
Andrei
хз, в Беларуси жсеры на аутсорс порядка $20±5/h стоят
кана
да, где-то так
Ilya
Смотря как считать. Есть контрактная работа на js и за 70-80+. При этом есть заказы, привязывающие к локации (налогам, расходам), а есть полноценная удаленка (дополнительные возможности по сокращению расходов)
Alexander
у них же у js-ера $65
Leonid 🦇
В вашей сраной Калифорнии мало
Alexander
вообще в _blah
Artem
Всем добрый вечер.
Есть ли в Servant возможность при ошибке рестартануть сервер? ExceptionHandler ждет функцию exp -> err, а мне нужно вызвать функцию с типом IO ()
Alexander
нужно выше по стеку рестартовать
Alexander
перед тем, как запущен warp
Alexander
но вообще warp написан таким образом, что просто так он не падает
Андрей
Alexander
наверное только асинхронным исключением прибить можно
Anonymous
Около 50к. В выходные всем надо отдыхать
Alexander
$50/h это 96k
Alexander
160 часов в месяце