AZ
Это в Идрисе так? В Хаскеле точно можно.
Ну не с do, там ниже пример
Size: a a a
2020 May 05
AZ
кстати насчёт хкт
AZ
ArrayLength<char> это не то же что ArrayLength<usize>
AZ
а спрашивается, почему?
p
а почему должно быть одним и тем же
p
разные же типы
AZ
А теперь смотри, у меня два вектора: чаров и усайзов, и я хочу в генерик запихнуть что они одной длины
AZ
у-упс, низя
p
а зачем тебе в принципе там держать char или usize?
p
вообще тайп-левел длина для вектора делается не так
NL
вообще удивительно почему до сих пор contract-based programming в Rust неразвит
Потому что основной источник ошибок это неучтённые сайдэффекты или изменившееся окружение (которое ломает инварианты): http://www.cse.psu.edu/~gxt29/bug/softwarebug.html
А контракты можно и проперти-тестами покрыть. (Их правда тяжело дизайнить, но это уже другая история)
А контракты можно и проперти-тестами покрыть. (Их правда тяжело дизайнить, но это уже другая история)
AZ
Ну вот например, типичная строка, которую нужно свернуть:
Просто делаешь перенос в нужном месте и всё, не нужно никаких точек с запятыми. Отступы здесь ничуть не мешают.
show pd =
"(" <> show (pd ^. ppdFst) <> " " <> show (pd ^. ppdSnd) <>
" " <> show (pd ^. ppdDir) <> " " <> show (pd ^. ppdIdx) <>
" " <> show (pd ^. ppdDirs) <> ")"
Просто делаешь перенос в нужном месте и всё, не нужно никаких точек с запятыми. Отступы здесь ничуть не мешают.
я думаю у меня проблема что если после where не поставить ньюлайн с осттупом то часто всё ломается
AZ
мне трудно конкретнее говорить потому что оно обычно работает как ожидается, но иногда - нет
AZ
Хз как тебе мне все равно абсолютно есть там точка с запятой или нет
в гите очень бесят висячие элементы
AZ
всё время показывает изменённым не то что на самом деле поменялось
p
кек
O
Народ, кто админит русские Rust чаты?
Какого-то @*$¢€ я везде забанен, хотя ни разу никуда не писал, за исключением rust_jobs.
Какого-то @*$¢€ я везде забанен, хотя ни разу никуда не писал, за исключением rust_jobs.
С
Oleg
Народ, кто админит русские Rust чаты?
Какого-то @*$¢€ я везде забанен, хотя ни разу никуда не писал, за исключением rust_jobs.
Какого-то @*$¢€ я везде забанен, хотя ни разу никуда не писал, за исключением rust_jobs.
Есть несколько вариантов:
1) Вы Олег
1) Вы Олег