AA
0xd34df00d
В идрисе не больно.
там значения больно
Size: a a a
2021 March 02
ЖК
Так, вопрос по код-стайлу. Это тот самый момент, когда вам разрешается обругать меня любым вам угодным способом. Так писать законно?
Я бы сделал
или
Было бы ли это легче читать? 👀
x = (**2) . sum $ [1..100]или
x = (**2) $ sum [1..100]Было бы ли это легче читать? 👀
[
Наверное да
JS
data Value = I Int | S String
plus :: Value -> Value -> Value
plus (I a) (I b) = I (a + b)
plus (S a) (S b) = S (a <> b)
plus (I 1) (S "2") упадет в рантайме, ровно как и в питоне например, это динамическая типизация?
plus :: Value -> Value -> Value
plus (I a) (I b) = I (a + b)
plus (S a) (S b) = S (a <> b)
plus (I 1) (S "2") упадет в рантайме, ровно как и в питоне например, это динамическая типизация?
да, конечно
JS
Я бы сделал
или
Было бы ли это легче читать? 👀
x = (**2) . sum $ [1..100]или
x = (**2) $ sum [1..100]Было бы ли это легче читать? 👀
x = sum [1..100] ** 2
IR
впервые вижу такую ошибку
Да, это моя кастомная тайпфемеля кидает. Это она как раз поймала косяк и репортит.
Но гхц при этом ругается в определении функции, где эта проверка используется.
Но гхц при этом ругается в определении функции, где эта проверка используется.
JS
питон не статически типизирован, потому что у него нет компайл-тайма, он скриптовый
питон компилируется в байткод, компайлтайм есть, но типы не проверяет
0
там значения больно
Значения не нужны.
[
В чём разница ** и ^ ?
MK
Привет дедфуд
0
Одно типа-вещественное, другое типа-целое.
0
(констрейнты разные)
к
• Not enough descriptor sets boundня.
Remaining descriptors: '[Env.Env]
• In the expression: Pipeline.bind cb (Render.pSkySun fPipelines)
Но только в месте где оно требуется почему-то ругается на "Redundant constraint".
:: ( dsl :< oldDsl, ...Но как так? Зачем?...
:< ты сам определил? Выглядит как ошибка в нем0
Привет дедфуд
Приветики))
JS
В чём разница ** и ^ ?
посмотрите на типы, разные механизмы и области определения
IR
:< ты сам определил? Выглядит как ошибка в немneedMore :< '[] = TypeError (...
а предупреждение от гхц, что этот констрейнт не используетсяJS
needMore :< '[] = TypeError (...
а предупреждение от гхц, что этот констрейнт не используетсяоно ложно срабатывает, когда тебе ограничение нужно только для интерфейса, а не для реализации
IR
оно ложно срабатывает, когда тебе ограничение нужно только для интерфейса, а не для реализации
есть фикс?
JS
есть фикс?
заглушить
IR
пичаль