Телеграмм чат группы rust_offtopic страница 11638

polunin.ai

если указан в объявлении типа то это рендж

А я могу сделать, например

type S = Int & [1, 2, 3, 9, 100500]

или

type S = String & ["hello", "world", "helloworld"]

20:18пожаловаться #1

пока из типов только Int, но в будущем да, можно будет

20:19пожаловаться #2

То есть первый пример будет работать?

20:19пожаловаться #3

Прикольно

20:19пожаловаться #4

а, не
можно так
type S = Int & (1 | 2 | 3)

20:19пожаловаться #5

А выражения уже есть? Арифметика?

20:19пожаловаться #6

typeof (S + S)

20:19пожаловаться #7

Такие констрейнты должно быть диким геморроем поддерживать при арифметических операциях

20:20пожаловаться #8

только объявления типов) сейчас буду делать функции, арифметику и т.п.

S + S тоже будет
не, не геморойно, я предусмотрел что нужно будет констрейны складывать.

20:21пожаловаться #9

Складывать это фигня

20:22пожаловаться #10

rem уже интереснее

20:22пожаловаться #11

это что?

20:22пожаловаться #12

Остаток от деления

20:22пожаловаться #13

остаток от деления это частный случай итератора

20:22пожаловаться #14

по сути

20:22пожаловаться #15

то он и есть

20:22пожаловаться #16

val % 2 == 0 то же что и [0,2..]

20:23пожаловаться #17

Например,

type T = Int & [1, 3 .. ∞]
t: T
typeof (t % 6) = [1, 3 .. 6]
// тут пока понятно
type S = Int & val != 6
s: S
typeof (t % s) = WTF

20:24пожаловаться #18

хз подумаю

20:24пожаловаться #19

Ситуация становится ещё хуже с кастомными функциями
typeof(fib(Int & val != 3))