AP
Ага, будет "нет такого инстанса 1 < 0"
Size: a a a
2021 October 25
АК
та можно поприседать с запоминанием изначальных чисел и их вывести
AP
Ну я про умолчательное поведение. Так то, да, нынче можно делать более понятные сообщения о подобных ошибках, но нужно поработать руками
ХГ
По уму пример Липовачи в "Writer? I hardly know her" неудачный: еда и питьё должны разными типами передаваться.
http://learnyouahaskell.com/for-a-few-monads-more
Тогда, конечно, красивой addDrink :: Food -> (Food,Price) с фудом в левой и правой частях от стрелки не получится.
http://learnyouahaskell.com/for-a-few-monads-more
Тогда, конечно, красивой addDrink :: Food -> (Food,Price) с фудом в левой и правой частях от стрелки не получится.
R
Возможно ли как-либо включить literate programming, кроме как сменив расширение на
.lhs?2021 October 26
AP
Использовать внешний инструмент, который будет связывать/спутывать перед передачей кода компилятору. Тот же noweb
AP
Literate Haskell работает только если файл имеет расширение .lhs, и это правильно, потому что синтаксис у файла другой и этот факт стоит явно выделять.
TZ
Подскажите, как правильно "подождать до создания файла"?
TZ
Всё происходит на довольно медленной FS, есть [IO FilePath] (создание файлов), которое отправляется в sequence_ (ну или sequence). В последующем коде предполагается, что все файлы уже на диске и доступны для stat. Как выяснилось, это не так =)
TZ
Что-то есть более правильное, чем костыль вида
ensure :: [FilePath] -> IO Bool
ensure fps = do
there <- and <$> traverse doesFileExist fps
if there then pure True else ensure fps
TZ
Тупо уйти в рекурсию, пока все файлы не станут видны для doesFileExist?
SB
Linux?
TZ
Можно и такое ограничение ввести. Хотя на винде это тоже будет запускаться.
SB
Ну у линукса есть inotify, нашёл такую реализацию https://hackage.haskell.org/package/hinotify-0.4.1/docs/System-INotify.html
TZ
Спасибо, гляну
JS
вставить fsync, может быть
Д
Здравствуйте, почему это не работает? Где лень
A
:4 не является коррекнтым выражением
A
на уровне проверки типов, то есть еще до всякой лени