ㅤ Атеист

Можно ли как-то перенести std::move(vec.begin(), vec.end() - 1, vec.begin() + 1) в Rust? let mut some_vec = vec![String::from("aaa"), String::from("bbb"), String::from("ccc")...

Я не знаю, насколько моя идея фантастическая, но всё же спрошу. Задача: есть данные (структура такая же как и в БД: несколько столбцов и много строчек), они хранятся в файле, ...

Вопрос по fs2: есть Topic, по которому от сервера можно получать события и ответы на запросы (клиент посылает запрос, подписавшись на Topic, получает ответ). Серверу можно отп...

Кто-нибудь пробовал запускать виртуальную машину с пробросом единственной видеокарты? (Я хотел бы поэкспериментировать, но не знаю, получится ли из-за того, что процессор без ...

Как можно эффективно представить sum types? У меня такая задача: есть различные медиа: фото, видео, аудио. Каждый из них имеет разный набор атрибутов. Фото: ссылка на источник...

Вот я часто видел примеры с связаным списком, длина которого определена на уровне типов, так что можно всякие прикольные штуки доказывать, но я никогда не видел, чтобы создава...

Я хочу на уровне типов иметь проверку, что данные валидны, для этого я создал data ParamsS (xs :: [(Symbol, Type, IsRequired)]) :: Type (схема) (где `data IsRequired = Require...

Извините за глупые вопросы, но как доказать, что функция, которая вычисляет сумму всех элементов списка, работает корректно? В наивном виде: sumArray :: [Int] -> Int sumArray ...

Я сейчас разбираюсь с JSON Pointers, пишу парсер (attoparsec). У меня получилось, он работает, но я как всегда обеспокоен производительностью (конечно, ведь надо обрабатывать ...

Кстати, может, бота сделать, чтобы банить тех, кто рекламируется через реакции? Чисто технически это сделать можно (проверено), надо лишь подумать, по каким критериям банить (...

В Haskell есть функция (.) :: (b -> c) -> (a -> b) -> a -> c. Есть такая вещь, как Curry-Howard correspondence, благодаря которой высказывания можно сопоставить типам, а импли...

Является ли нормальным разрабатывать в контейнере? Сразу скажу, что я не использую HLS и пользуюсь Vim (я этого говорю, потому что у vscode есть такой образ, там всё работает ...

Есть какие-то данные (всё в виде папок и файлов) и нужно сохранять их каждый день (чтобы, например, можно было узнать, как выглядел файл день назад). Какие способы есть для ре...

А что лучше использовать для development environment: haskell.nix или cabal2nix? Хотелось бы иметь кэш, чтобы каждый раз не собирать одни и те же пакеты.

Вот, кстати, а если мы определяем reverse более интуитивно понятным способом: reverse1([a1, a2, ..., ai, ..., an]) = [an, a_(n-1), ..., ai, ..., a1], то для такого случая можн...

Как можно при парсинге JSON отличить fail и empty? Такой пример: приходит объект, ключ k опциональный, но если он пришёл, то значение обязано быть строкой. Соответственно, три...

Допустим, есть структура data X = X {field1 :: T.Text, field2 :: T.Text} deriving (Show, Generic) deriving Binary С помощью binary эту структуру можно (де)сериализовывать. По...

Где можно хостить приложение, написанное на Haskell? Приложение 24/7 делает запросы к одному сайту, получая статистику, которая отправляется в Telegram. Есть Heroku, там плати...

Кто-нибудь программируют без навороченных ide и hls? (очень-очень странный вопрос, но интересно, существуют ли такие люди)