@haskellru

Страница 1523 из 1551

kana

16.10.2018
13:56:11

instance Countable Void where count = Count 0 instance Countable () where count = Count 1 instance Countable Bool where count = Count 2 instance Countable Nat where count = Count undefined а какой каунт указывать в Nat нужно-то?

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

Yuuri

16.10.2018
13:56:39

infinity = S infinity

Index

16.10.2018
13:57:00

А explicit forall для оскопления типопеременных всегда надо писать?

Да

Google

Index

16.10.2018
13:57:41

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

Предлагали только по-другому их биндить, через @a в паттернах

A64m

16.10.2018
13:59:58

может речь про 128-й пропозал? f (Just (x :: a)) = <body> это даже имплементировано уже

в 8.8 будет

а с ограничениями это давно было

такое вот > foo (x :: a) = read :: String -> a > foo 2 "4" 4 работает и не в 8.8

Yuriy

16.10.2018
14:05:47

instance Countable Void where count = Count 0 instance Countable () where count = Count 1 instance Countable Bool where count = Count 2 instance Countable Nat where count = Count undefined а какой каунт указывать в Nat нужно-то?

1 + count @Nat

А explicit forall для оскопления типопеременных всегда надо писать?

для переноса из сигнатуры в тело — да

Yuuri

16.10.2018
14:06:49

Count - не Num

Yuriy

16.10.2018
14:07:08

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

только для сигнатуры-веражения, если я правильно понял

kana

16.10.2018
14:07:14

1 + count @Nat

ну да, примерно так и сделал

1 + getCount (count @Nat)

вообще конечно ничего не мешает вывести Num для Count

Yuuri

16.10.2018
14:07:57

Или mapC S $ count @Nat

Google

Yuuri

16.10.2018
14:08:51

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

kana

16.10.2018
14:09:30

да, это да

Yuriy

16.10.2018
14:11:14

а какой смысл в Сountable Nat?

count @Nat == count @Nat всё равно не напишешь

Alexander

16.10.2018
14:15:28

аа я хочу более композабельные процессы

у меня есть функция, которая что-то там внутри форкает работает и отдает результат (информацию как получить статус)

хотелось бы не меняя её код уметь прицеплять финализатор

Yuriy

16.10.2018
14:17:24

я тоже много чего хочу. например, растовую передачу владения в моей айвори

Alexander

16.10.2018
14:18:00

ладно я передумал, у меня тут resourcet проталкивается

а в чём проблема?

линейные типы вроде приделываются за пару дней, как картер писал

Yuriy

16.10.2018
14:19:16

у меня есть функция, которая что-то там внутри форкает работает и отдает результат (информацию как получить статус)

что-то такое? https://skillsmatter.com/skillscasts/12631-a-formal-approach-to-distributed-systems-implementing-a-pi-calculus-interpreter-in-haskell

Alexander

16.10.2018
14:19:51

смотреть надо

Yuriy

16.10.2018
14:20:13

линейные типы вроде приделываются за пару дней, как картер писал

я не Картер, у меня больше 2 дней может уйти, чтобы разобраться

Alexander

16.10.2018
14:20:18

но скорее всего нет, но может там и выражается

зато ты сделаешь!

в отличии от Картера

Yuuri

16.10.2018
14:26:18

"Петрович говорит, что тут работы на четыре месяца. Значит, на самом деле на восемь. В итоге <...>"

Alexander

16.10.2018
14:26:59

я ж писал эту историю

начальство спрашивает типа вот фича когда: 1. - месяц, ну два 2. - два месяца норм архитектор: полтора гоад

Google

Victor

16.10.2018
15:01:38

архитектор не нужен

Yuuri

16.10.2018
15:02:20

@kana_sama ты доделал кату? Хотел бы ещё пару вопросов

Всё, вопросы сняты :)

1 + getCount (count @Nat)

Подглядел в решениях самое красивое: Count $ fix S

Terminator

16.10.2018
16:47:40

Vlad Lopatin будет жить. Поприветствуем!

Vlad

16.10.2018
16:48:01

Всем привет. Александ Гранин жалуется в твиттере, что сообщество хаскель тяжело больно, за подробностями отправил в телеграм-чатик. Хочу узнать подробности. Я по адресу?

A64m

16.10.2018
16:48:37

да

Alexander

16.10.2018
16:49:04

нет

в _blah пожалуйста

Kakadu

16.10.2018
16:49:13

"Мамы, мы все тяжело больны, Мама, мы все давно сошли с ума"

Alexander

16.10.2018
16:49:17

@haskell_blah

Vlad

16.10.2018
16:49:44

Так и что за драма, можно синопсис или линк?

Alexander

16.10.2018
16:50:34

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

Andrey

16.10.2018
16:52:02

если вы интересуетесь хаскелем, то задавайте сюда ваши вопросы, а за драмой - в @haskell_blah, да

Алексей

16.10.2018
16:53:01

мне там в _blah драмы накинуть на вентилятор? а не, мне лень

Vlad

16.10.2018
16:53:06

спасибо!

Alexander

16.10.2018
17:09:52

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

Yuriy

16.10.2018
17:21:35

мне там в _blah драмы накинуть на вентилятор? а не, мне лень

как всё-таки полезна лень в Хаскеле!

Alexander

16.10.2018
17:23:39

все равно там все накинули и опять это переливание из пустого в порожнее

so

16.10.2018
17:31:08

Сколько зарабатывают хаскелл-корифеи?

Google

Leonid

16.10.2018
17:32:06

Кастрюля борща в день

Andrey

16.10.2018
17:32:28

Кастрюля борща в день

+

Andrei

16.10.2018
17:35:00

вообще лучше переходить сразу к оскорблениям

Alexander

16.10.2018
17:35:25

у alphasheets была вакансия $50/h

но вроде всех выгнали, и остались работать только с посредниками

а не, Слоана потом из FPCO сманили

so

16.10.2018
17:41:54

Жесть

Alexander

16.10.2018
17:47:08

что жесть. мало?

js-человеки на такое даже смотреть не будут

Rushan

16.10.2018
17:48:44

js-человеки на такое даже смотреть не будут

шутите??

Alexander

16.10.2018
17:49:05

в US если

Andrei

16.10.2018
17:49:15

хз, в Беларуси жсеры на аутсорс порядка $20±5/h стоят

kana

16.10.2018
17:50:00

да, где-то так

Rushan

16.10.2018
17:50:13

это ж 96К$

и это мало??

Ilya

16.10.2018
17:51:48

и это мало??

Смотря как считать. Есть контрактная работа на js и за 70-80+. При этом есть заказы, привязывающие к локации (налогам, расходам), а есть полноценная удаленка (дополнительные возможности по сокращению расходов)

Alexander

16.10.2018
17:51:51

у них же у js-ера $65

Leonid

16.10.2018
17:52:24

В вашей сраной Калифорнии мало

Alexander

16.10.2018
17:52:35

вообще в _blah

Yuriy

16.10.2018
17:59:46

Сколько зарабатывают хаскелл-корифеи?

приходите к наиболее на собеседование и спросите

Google

Artem

16.10.2018
18:34:04

Всем добрый вечер. Есть ли в Servant возможность при ошибке рестартануть сервер? ExceptionHandler ждет функцию exp -> err, а мне нужно вызвать функцию с типом IO ()

Alexander

16.10.2018
18:36:52

нужно выше по стеку рестартовать

перед тем, как запущен warp

но вообще warp написан таким образом, что просто так он не падает

A

16.10.2018
18:37:34

Тут есть активные кодворщики? Прошу хинт к https://www.codewars.com/kata/5b1bdc2bccef79e948000086 , я застрял на instance (Factor f, Factor g) => Factor (Sum f g) с компанией

Пол года наверно не открывал

Alexander

16.10.2018
18:37:39

наверное только асинхронным исключением прибить можно

Imants

16.10.2018
18:39:50

это ж 96К$

Около 50к. В выходные всем надо отдыхать

Alexander

16.10.2018
18:40:58

$50/h это 96k

160 часов в месяце

Imants

16.10.2018
18:41:17

хз, в Беларуси жсеры на аутсорс порядка $20±5/h стоят

^

Alexander

16.10.2018
18:41:21

8 часов в день если

Imants

16.10.2018
18:42:07

А, другая ставка.. - налоги ведь ещё

Andrei

16.10.2018
18:46:46

^

то сша, и местные, которые, если что, могут и в самолёт с утра прыгнуть, примчаться, всё починить, и ещё на ужин успеть а не Ivan с соответствующим акцентом (на который, кстати, по большей части пофиг), который в 9 утра уже почти 8 часов отработал

Imants

16.10.2018
18:52:09

Конечно, всем хорошо, когда есть выбор.

Nick