Size: a a a

ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)

2020 June 15

R

RattenK 🍄🐀🌹 in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
а я боюсь даж в понв вступать
источник

ΛВ

Λнтон Войцишевский... in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
оч тупой вопрос: если воспринимать тип, как множество значений, то как описать подмножество этого множества?
а булеан?
источник

ᛒᚨᚱᛏᛟᛋᛋᛟ... in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
RattenK 🍄🐀🌹
ну ты мощный чел(
источник

ᛒᚨᚱᛏᛟᛋᛋᛟ... in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
Λнтон Войцишевский
оч тупой вопрос: если воспринимать тип, как множество значений, то как описать подмножество этого множества?
а булеан?
источник

ΛВ

Λнтон Войцишевский... in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
источник

λ

λoλzod in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
Λнтон Войцишевский
оч тупой вопрос: если воспринимать тип, как множество значений, то как описать подмножество этого множества?
а булеан?
ты имеешь в виду нотацию?
источник

ΛВ

Λнтон Войцишевский... in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
λoλzod
ты имеешь в виду нотацию?
вроде того
источник

R

RattenK 🍄🐀🌹 in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
Λнтон Войцишевский
оч тупой вопрос: если воспринимать тип, как множество значений, то как описать подмножество этого множества?
а булеан?
Смотри как придумал: A = {x: zalupa(x) == Труе}, A_sub = {y: y э A, y: podzalupa(y) == Труэ }
источник

R

RattenK 🍄🐀🌹 in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
источник

ΛВ

Λнтон Войцишевский... in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
RattenK 🍄🐀🌹
Смотри как придумал: A = {x: zalupa(x) == Труе}, A_sub = {y: y э A, y: podzalupa(y) == Труэ }
та не, в скалке
источник

ᛒᚨᚱᛏᛟᛋᛋᛟ... in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
RattenK 🍄🐀🌹
Смотри как придумал: A = {x: zalupa(x) == Труе}, A_sub = {y: y э A, y: podzalupa(y) == Труэ }
источник

R

RattenK 🍄🐀🌹 in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
источник

ΛВ

Λнтон Войцишевский... in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
ну мол вот есть у меня тип Omega, у него есть какие-то элементы
могу сделать тип функций Omega => Double, он будет населен какими-то разными функциями из омеги в дабл
А вот как например выразить тип, который будет подмножеством омеги?
или тип вроде Boolean[Omega], который будет множеством всех подмножеств омеги?
источник

R

RattenK 🍄🐀🌹 in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
Λнтон Войцишевский
ну мол вот есть у меня тип Omega, у него есть какие-то элементы
могу сделать тип функций Omega => Double, он будет населен какими-то разными функциями из омеги в дабл
А вот как например выразить тип, который будет подмножеством омеги?
или тип вроде Boolean[Omega], который будет множеством всех подмножеств омеги?
trait Zalupa[A <: Omega] не?
источник

R

RattenK 🍄🐀🌹 in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
но лучше меня не слушай, а дождись более умных людёв
источник

ᛒᚨᚱᛏᛟᛋᛋᛟ... in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
не понел
источник

ΛВ

Λнтон Войцишевский... in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
RattenK 🍄🐀🌹
trait Zalupa[A <: Omega] не?
ну я тоже о чем-то таком думаю, но я не уверен в правильности
источник

λ

λoλzod in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
Λнтон Войцишевский
та не, в скалке
какими нибудь ограничениями, refined-ом наверное можно
источник

R

RattenK 🍄🐀🌹 in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
или ты имеешь в виду что есть ограничения на тип помимо субтайпинга
источник

R

RattenK 🍄🐀🌹 in ПОКА ОДЕРСКИ НЕ ВИДИТ (спидран Олега по тофу)
чтобы на уровне типов было
источник