R
а я боюсь даж в понв вступать
оч тупой вопрос: если воспринимать тип, как множество значений, то как описать подмножество этого множества?
а булеан?
Size: a a a
2020 June 15
ᛒ
ну ты мощный чел(
ᛒ
оч тупой вопрос: если воспринимать тип, как множество значений, то как описать подмножество этого множества?
а булеан?
а булеан?
λ
оч тупой вопрос: если воспринимать тип, как множество значений, то как описать подмножество этого множества?
а булеан?
а булеан?
ты имеешь в виду нотацию?
ΛВ
ты имеешь в виду нотацию?
вроде того
R
оч тупой вопрос: если воспринимать тип, как множество значений, то как описать подмножество этого множества?
а булеан?
а булеан?
Смотри как придумал:
A = {x: zalupa(x) == Труе}, A_sub = {y: y э A, y: podzalupa(y) == Труэ }
ΛВ
Смотри как придумал:
A = {x: zalupa(x) == Труе}, A_sub = {y: y э A, y: podzalupa(y) == Труэ }та не, в скалке
ᛒ
Смотри как придумал:
A = {x: zalupa(x) == Труе}, A_sub = {y: y э A, y: podzalupa(y) == Труэ }
ΛВ
ну мол вот есть у меня тип
могу сделать тип функций
А вот как например выразить тип, который будет подмножеством омеги?
или тип вроде Boolean[Omega], который будет множеством всех подмножеств омеги?
Omega, у него есть какие-то элементымогу сделать тип функций
Omega => Double, он будет населен какими-то разными функциями из омеги в даблА вот как например выразить тип, который будет подмножеством омеги?
или тип вроде Boolean[Omega], который будет множеством всех подмножеств омеги?
R
ну мол вот есть у меня тип
могу сделать тип функций
А вот как например выразить тип, который будет подмножеством омеги?
или тип вроде Boolean[Omega], который будет множеством всех подмножеств омеги?
Omega, у него есть какие-то элементымогу сделать тип функций
Omega => Double, он будет населен какими-то разными функциями из омеги в даблА вот как например выразить тип, который будет подмножеством омеги?
или тип вроде Boolean[Omega], который будет множеством всех подмножеств омеги?
trait Zalupa[A <: Omega] не?R
но лучше меня не слушай, а дождись более умных людёв
ΛВ
trait Zalupa[A <: Omega] не?ну я тоже о чем-то таком думаю, но я не уверен в правильности
λ
та не, в скалке
какими нибудь ограничениями, refined-ом наверное можно
R
или ты имеешь в виду что есть ограничения на тип помимо субтайпинга
R
чтобы на уровне типов было