к
неа, это не все ветки кода обработаны, обратитесь к статическим анализаторам за лечением
так чем это отличается от того, что в рантайме упадет 1 + "2" ?
Size: a a a
2021 March 02
ХГ
Не совсем понимаю кейс, в котором это должно быть использовано
У Бартоша недавно была статья про игру Factorio, там очень понятно этот момент...
[
так чем это отличается от того, что в рантайме упадет 1 + "2" ?
тем что это скорее
foo x = if even x then 5
без else, а не проблема типов
foo x = if even x then 5
без else, а не проблема типов
IR
где на хакадже взять констрейнт, что один тайплевел список есть префикс другого?
upd: https://kseo.github.io/posts/2017-01-16-type-level-functions-using-closed-type-families.html
upd: https://kseo.github.io/posts/2017-01-16-type-level-functions-using-closed-type-families.html
• Not enough descriptor sets boundня.
Remaining descriptors: '[Env.Env]
• In the expression: Pipeline.bind cb (Render.pSkySun fPipelines)
Но только в месте где оно требуется почему-то ругается на "Redundant constraint".
:: ( dsl :< oldDsl, ...Но как так? Зачем?...
c
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") упадет в рантайме, ровно как и в питоне например, это динамическая типизация?
Питон статически типизирован, но всего с одним типом. И тут ты делаешь такое же
[
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") упадет в рантайме, ровно как и в питоне например, это динамическая типизация?
Неа, пока у тебя типы выводятся в компайле, типизация статическая
0
А тут я беру идрис 2 и делаю тип
Dyna, определённый как (a : Type ** a) (надо только ещё мультиплисити расставить, чтобы на тип можно было паттерн-матчиться в рантайме).к
Неа, пока у тебя типы выводятся в компайле, типизация статическая
нет типов никаких, Value может быть как числом так и строкой
[
certifiable fleece
Питон статически типизирован, но всего с одним типом. И тут ты делаешь такое же
питон не статически типизирован, потому что у него нет компайл-тайма, он скриптовый
к
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") упадет в рантайме, ровно как и в питоне например, это динамическая типизация?
вот тут я определил маленький язык без типов, в нем есть строковые литералы, интовые литералы и plus, никакой статической типизации нет, падает в рантайме при сложении числа и строки
к
• Not enough descriptor sets boundня.
Remaining descriptors: '[Env.Env]
• In the expression: Pipeline.bind cb (Render.pSkySun fPipelines)
Но только в месте где оно требуется почему-то ругается на "Redundant constraint".
:: ( dsl :< oldDsl, ...Но как так? Зачем?...
впервые вижу такую ошибку
[
вот тут я определил маленький язык без типов, в нем есть строковые литералы, интовые литералы и plus, никакой статической типизации нет, падает в рантайме при сложении числа и строки
хм, метапрограммирование?..
[
кстати, я правильно понимаю, на хаскеле можно накатать свой Prelude со своей системой типов и другими возможностями, а после подключить к файлу и фактически получится полноценный язык программирования?
JS
certifiable fleece
Может лучше обычную ссылку на них оставить? В целом я просто очень отрицательно отношусь ко всем этим скорачивателям
да, возможно
JS
кстати, я правильно понимаю, на хаскеле можно накатать свой Prelude со своей системой типов и другими возможностями, а после подключить к файлу и фактически получится полноценный язык программирования?
систему типов нельзя, а набор типов можно. кроме списка