A
Ваще Idris и Haskell дико бесят долбанутым сигнификант вайтспейс
—
blablabla = doне работает, потому что bar не может быть левее чем do
bar
Size: a a a
2020 May 04
A
меня больше раздражает что
по моему это отлично потому что логичнее
EG
Это неудобно писать.
A
Это неудобно писать.
это да
EG
Vim кое-как справляется с расстановкой странных количеств пробелов, но всё равно неудобно
EG
Было бы удобнее, если бы всё это выравнивание потом просто применялось автоформаттером
AZ
по моему это отлично потому что логичнее
не логичнее
p
затем что в языках где интенданция сильно влияет это решает
да нет. я в питоне только табами делал отступы. не понимаю зачем тебе отступ в один пробел.
AZ
да нет. я в питоне только табами делал отступы. не понимаю зачем тебе отступ в один пробел.
у меня есть отступы в 5-6 пробелов при общих отступах в 4. Почему? Потому что если у тебя выше длинное имя и конструкция которая не разрешает левее него писать, то ты приехал
EG
да нет. я в питоне только табами делал отступы. не понимаю зачем тебе отступ в один пробел.
Потому что в питоне нормальный significant whitespace, а в Haskell-подобных — нет
EG
Потому что если ты пишешь
func = let x = ...
y = ...
EG
То икс должен быть ровно над игреком
AZ
да нет. я в питоне только табами делал отступы. не понимаю зачем тебе отступ в один пробел.
whileM' : (Monad m, Monad f, Alternative f) => (a -> Bool) -> m a -> m (f a)
whileM' p f = go
where go = do
x <- f
if p x
then do
xs <- go
pure (pure x <|> xs)
else pure emptyType checking .\.\test.idr
.\.\test.idr:15:9:
|
15 | x <- f
| ^
end of blockEG
И там совершенно необязательно множитель в четыре пробела
AZ
whileM' : (Monad m, Monad f, Alternative f) => (a -> Bool) -> m a -> m (f a)
whileM' p f = go
where go = do
x <- f
if p x
then do
xs <- go
pure (pure x <|> xs)
else pure emptyType checking .\.\test.idr
.\.\test.idr:15:9:
|
15 | x <- f
| ^
end of blockwhileM' : (Monad m, Monad f, Alternative f) => (a -> Bool) -> m a -> m (f a)
whileM' p f = go
where go = do
x <- f
if p x
then do
xs <- go
pure (pure x <|> xs)
else pure emptyТолько так и никак иначе
p
у меня есть отступы в 5-6 пробелов при общих отступах в 4. Почему? Потому что если у тебя выше длинное имя и конструкция которая не разрешает левее него писать, то ты приехал
это работает, хз о чем ты
AZ
я тебе скинул код, попробуй его вставить
p
Потому что если ты пишешь
func = let x = ...
y = ...
лови лайфхак: let с пробелом имеют 4 символа, как таб
EG
лови лайфхак: let с пробелом имеют 4 символа, как таб
Это если они не стоят после другого выражения