я бы сказал в 1995+

1995—2017

теперь же есть Раст

пока в компилятор раста не вольют сравнительное число человеколет это под вопросом

хотя по мне Раст гораздо приятнее

в 2018 - да

Посмотри на Telegram. Он такой плавный, а почему? Потому что многие медленные задачи отрабатываются именно на C.

мы на С много пишем — файловые системы, драйверы. ну то есть опять ядро. да

хм.. очень странное утверждение про телеграм

у нас тоже на сях файловые системы распределенные си и Haskell

Посмотри на Telegram. Он такой плавный, а почему? Потому что многие медленные задачи отрабатываются именно на C.

о, моя любимая сказка про серебряную пулю

Посмотри на Telegram. Он такой плавный, а почему? Потому что многие медленные задачи отрабатываются именно на C.

но ведь на ассемблере было бы ещё быстрее! почему телеграм не на ассемблере?

ну приложение в котором общение по сети, чутка криптографии и GUI на 2.5 элемента

у меня Google spreadsheet работает на сравнимой скорости в браузере

а он на js

но ведь на ассемблере было бы ещё быстрее! почему телеграм не на ассемблере?

Сложно поддерживать. Да и зачем усложнять, если пользователю и так все быстро на C?

и элементов там в разы больше

в общем Haskell разумный язык прикладного уровня, а для системного код удобно генерить

Сложно поддерживать. Да и зачем усложнять, если пользователю и так все быстро на C?

это ты предлагаешь усложнять, когда можно упростить

в общем Haskell разумный язык прикладного уровня, а для системного код удобно генерить

ну не то чтобы очень удобно. лучше, чем CPP, конечно. но отлаживать сишный код всё равно приходится по-сишному

там хотя бы gdb есть

хотя граница веселой может быть

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

Сложно поддерживать. Да и зачем усложнять, если пользователю и так все быстро на C?

а си легко что ли?

а си легко что ли?

Хорошего Си-разработчика легче найти, чем assembly кодера

да, но тяжелее, чем разработчика на нормальном языке

хм, что-то у меня аесон сломался

есть тест - парсит файлик, проверяет с expected все работает отлично

хотя, кажется я понял

наверное я что-то в ToJSON которые руками писал поломал

Если убираю вот такой инстанс и дерайвлю ToJSON, то все ок Но вот если сделать такой инстанс то начинается беда какая-то, подвисает на encode, просто выжирает 1 ядро и висит toObject :: ToJSON a => a -> Object toObject a = case toJSON a of Object o -> o _ -> error "toObject: value isn't an Object" instance ToJSON X where toJSON x = Object $ toObject x

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

мне нужен toObject чтобы потом добавить поля дополнительные

я уже спать пойду - но если кто подкинет идею куда копать - буду очень благодарен

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

но хотелось бы понять что в этому случае пошло не так

но хотелось бы понять что в этому случае пошло не так

Может, где-то data вместо newtype?

ты ж toJson вызываешь бесконечно

toJson вызывает toObject который вызывает toJson

в общем-то объект из-за ленивости оно сразу сделает, но если попробуешь его заматчить или значение достать, то будет печалька

но хотелось бы понять что в этому случае пошло не так

^

Ночные вопросы. Представим, что у меня есть список xs. Я могу делать xs ^? ix 5. А могу filter f xs ^? xs Как мне правильно сделать что-то типа xs ^? filtered f . ix 5 ? Вопрос скорее чисто из любопытства

ты ж toJson вызываешь бесконечно

Спасибо, точно пора спать идти, незнаю чем я думал когда писал это. Это мне чтобы доьавит полей надо делать обёртку? Чтобы вручную все старые поля не объявлять

Где-то когда юзал такой подход с toObject, так конечно наверняка был вложенная стрвктура

Спасибо, точно пора спать идти, незнаю чем я думал когда писал это. Это мне чтобы доьавит полей надо делать обёртку? Чтобы вручную все старые поля не объявлять

не понял вопроса

что-то мне затея с линзами не очень нравится уже • Couldn't match type ‘Identity’ with ‘Const Time’ Expected type: Getting Time (Chains, Map k0 a0, Time, Map Time (Set Work)) Time Actual type: (Time -> Identity Time) -> (Chains, Map k0 a0, Time, Map Time (Set Work)) -> Identity (Chains, Map k0 a0, Time, Map Time (Set Work))

просто если заменить _1 на time = _1

Я б тупо 5 параметров сделал.

десять раз их туда-сюда передавать... скучно

захотел сделать красиво

вот так сработало time :: Lens' _ Time time = _3

а почему в хаскеле -23 div 10 == -2?

деление вроде целочисленное...

Как же так то ребята

Я думал математика... все дела , по серъезному все...

потому что это - (23 div 10)

а вариантов больше чем 1, нечего тут про серьёзную математику задвигать: λ> (-23) `quot` 10 -2 λ> (-23) `div` 10 -3

-23 div 10 ==- 3 -23 % 10 == 7

у нормальных людей вощет

ох лол это еще и унарные операторы имеют приоритет ниже функций

-23 div 10 ==- 3 -23 % 10 == 7

и почему тут 3?

ох лол это еще и унарные операторы имеют приоритет ниже функций

нормальные люди не используют птичий сленг

потому что так работает целочисленное деление на отрицательных числах

-23+3=20 делится на 10

проверяем 10*(-3)+7=-23

У тебя ведь по паре операций для каждой семантики

Иногда нужно сделать как раз с дистрибутивной инверсией, и приходится костылитт

-23 div 10 ==- 3 -23 % 10 == 7

λ> (-23) `div` 10 -3 λ> (-23) `mod` 10 7 λ> :set -XNegativeLiterals λ> -23 `mod` 10 7

потому что в Хаскеле по умолчанию нет отрицательных литералов и унарных операторов

есть синтаксический сахар, превращающий - в negate, но, как видите, он не очевидно работает

ок разобрался, знач нормально все реализовано. с делением.

всё как доктор прописал

div, mod, quot, rem

Мене, текел, фарес

не понял вопроса

я этим кодом пытался добиться следующего - взять объект json текущего типа и к нему прибавить парочку полей. Вот я теперь думаю как мне это правильно сделать

data QQ a = QQ a NewFields?

и инстансы для них

или-паттерны таки немного продвинулись (снова попали на обсуждение комитета) https://mail.haskell.org/pipermail/ghc-steering-committee/2018-June/000601.html

а то автор был уже, похоже, на вышеупомянутой границе боли и унижения, которые он мог себе позволить https://github.com/ghc-proposals/ghc-proposals/pull/43#issuecomment-393777358

data QQ a = QQ a NewFields?

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