DS
Идрис никогда не будет прод реди, скорее всего.
Size: a a a
2020 June 04
DS
Потому что любой практически используемый ФП язык требует хорошего ГЦ.
DS
Хороший гц - это десяток лет ресерча минимум
DS
Ну разве что компилить idris 2 в jvm и пользоваться их сборщиком
DO
А можете в меня покидаться статьями/книжками/да чем угодно на счёт того, как принято делать cli-интерфейсы? Вот например нужен мне способ ввода:
enum Input {
Stdin,
File(Box<Path>),
}
А как это в интерфейсе изобразить?--input stdin и --input some/path? А как тогда отличить stdin который Input::File("./stdin") и stdin который Input::Stdin?вроде все юниксовые тулзы за stdin считают файл "-"
S
Хороший гц - это десяток лет ресерча минимум
Уже придумали
MB
https://github.com/rust-lang/mdBook/issues/1242
мем еще не сделали?
мем еще не сделали?
DO
типа
tar czf - ./someFolder — это сжать и на stdoutS
Менеджмент ресурсов в статике
MB
https://github.com/rust-lang/mdBook/issues/1242
мем еще не сделали?
мем еще не сделали?
nooooooo, you can't have an option to add a proprietary system to a free software.
haha user choice go brrrr
haha user choice go brrrr
Т8
Т8
Если нет, то как вы к этому относитесь?
VS
Т-34 85
🤣🤣🤣
DS
Т-34 85
Использовать эксепшены нужно правильно. Не надо их юзать для control flow и всё будет ок.
ML
nooooooo, you can't have an option to add a proprietary system to a free software.
haha user choice go brrrr
haha user choice go brrrr
p
Чтобы найти определённое куки, достаточно разбить строку из document.cookie по ;, и затем найти нужный ключ. Для этого мы можем использовать как регулярные выражения, так и функции для обработки массивов.
p
пойду возьму либу все-таки
Т8
Использовать эксепшены нужно правильно. Не надо их юзать для control flow и всё будет ок.
То есть, они бы не помешали в Расте?
DS
Т-34 85
То есть, они бы не помешали в Расте?
Они есть в расте, если что
DS
В неком смысле