p
[1,3..10] => [3,3..12]
а почему как тип
странная нотация
Size: a a a
2020 May 03
e
p
да да я😁
p
а почему как тип
странная нотация
странная нотация
потому что это тип
p
числа из множества {1,3,5,7,9}
e
потому что это тип
и енамы так тоже мона сгенерить?
e
ну со строк в смысле
type Foo = fmap (\a a + "bar") [1..100]
type FooEnums = ? Foo ?
type Foo = fmap (\a a + "bar") [1..100]
type FooEnums = ? Foo ?
G
можно по идее все генерить в расте
SP
@DogeShibu ты был прав вообще не кайфово теребить мутекс на каждый чих. думаю иметь в качающем треде свой стейт, а в тред гуёв копировать. как бы на хард дампать теперь думаю. может велосипедный WAL сделать
e
можно по идее все генерить в расте
так вроде не о расте речь 🤔
G
так вроде не о расте речь 🤔
да вообще во всех языках
e
ну это понятно, я про его язык)
p
ну со строк в смысле
type Foo = fmap (\a a + "bar") [1..100]
type FooEnums = ? Foo ?
type Foo = fmap (\a a + "bar") [1..100]
type FooEnums = ? Foo ?
1 + строка
у меня такого точно не будет, фу жс, фу
у меня такого точно не будет, фу жс, фу
e
1 + строка
у меня такого точно не будет, фу жс, фу
у меня такого точно не будет, фу жс, фу
причем тут жс 0_0
e
просто не понимаю зачем ленивые типы нужны
как их использовать?
не проще код написать и потом типа
как их использовать?
не проще код написать и потом типа
typeof arr ?e
числа из множества {1,3,5,7,9}
вектор у тебя - это множество?
ок, если множество, почему тогда нотация как у вектора
ок, если множество, почему тогда нотация как у вектора
p
причем тут жс 0_0
в жсе 1 + "a" = "1a"
e
в жсе 1 + "a" = "1a"
так это псевдокод
неявная конверсия и в скале есть, причем тут жс
неявная конверсия и в скале есть, причем тут жс
p
просто не понимаю зачем ленивые типы нужны
как их использовать?
не проще код написать и потом типа
как их использовать?
не проще код написать и потом типа
typeof arr ?например
genNumber: (val >=0 & val <=10)
из этой функции вернется число в жиапазоне от 0 до 10
genNumber: (val >=0 & val <=10)
из этой функции вернется число в жиапазоне от 0 до 10
e
например
genNumber: (val >=0 & val <=10)
из этой функции вернется число в жиапазоне от 0 до 10
genNumber: (val >=0 & val <=10)
из этой функции вернется число в жиапазоне от 0 до 10
мм
ок
но
причем тут сгенеренный тип
и зачем его ручками писать, инфернуть никак низя что ли, зачем вербозность, зачем явно тип возращаемый писать?
и как ты будешь проверять сгенеренным типом что сама функция внутри возращает?
откуда val берется? с неба?
ок
но
причем тут сгенеренный тип
и зачем его ручками писать, инфернуть никак низя что ли, зачем вербозность, зачем явно тип возращаемый писать?
и как ты будешь проверять сгенеренным типом что сама функция внутри возращает?
откуда val берется? с неба?