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

Возможно, остальные случаи можно как-то свести к этому.

Нет, нельзя, мы не можем опираться на любые утверждения про U, потому что это наше возвращаемое значение.

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

Также нельзя предполагать, что T == U. Можно, что T == F<T, U>, но в этом мало смысла

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

Очень сложная нотация

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

F это конструктор типа или функция на типах?

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

λоλторт

F это конструктор типа или функция на типах?

type F<D, C> = Rc<dyn Fn(D) -> C>;

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

Согласно условию

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

Так, а где эта задача?

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

https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=a80f837199c9dab8ad77de613b8dc5eb

λоλторт

Так, а где эта задача?

𝙰𝚗𝚊𝚝𝚘𝚕𝚢 𝙸 in rust_offtopic

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

𝙰𝙸

λоλторт

Очень сложная нотация

Полностью согласен.
quiz_1 - это не более чем

((A -> B) <-> A) -> B

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

Если я научусь получать Empty из функции, которая принимает Empty и возвращает F<T, U>, то задача решена

21:00пожаловаться #10

Но это, кажется, невозможно без внесения новых боттомов, так что опять тупик.

21:01пожаловаться #11

@blackbeam Можно ли добавлять код за пределами функций?

21:03пожаловаться #12

f : (A -> B) -> A
h : A -> (A -> B)

B

Так, где тут apply 🤔

𝙰𝚗𝚊𝚝𝚘𝚕𝚢 𝙸 in rust_offtopic

21:03пожаловаться #13

𝙰𝙸

@blackbeam Можно ли добавлять код за пределами функций?

Неа)

21:03пожаловаться #14

Если F<T, U> это U, то задача решается тривиально.

И даже сказать этого нельзя, потому что F<T, U> не Copy

𝙰𝚗𝚊𝚝𝚘𝚕𝚢 𝙸 in rust_offtopic

21:05пожаловаться #15

𝙰𝙸

И даже сказать этого нельзя, потому что F<T, U> не Copy

Зато clone(). Rc ведь.

21:06пожаловаться #16

Alex Zhukovsky in rust_offtopic

𝙰𝚗𝚊𝚝𝚘𝚕𝚢 𝙸

Зато clone(). Rc ведь.

если это задачка на собес то мне жаль ваших кандидатов

21:06пожаловаться #17

𝙰𝚗𝚊𝚝𝚘𝚕𝚢 𝙸

Зато clone(). Rc ведь.

Но заимплементить Copy ему всё равно нельзя, потому что у него есть деструктор.

21:07пожаловаться #18

Alex Zhukovsky in rust_offtopic

если с абсурдом все более-менее тривиально (до пустого матча додуматься несложно), то тут другое

21:07пожаловаться #19

Я полагаю, у этой задачи тоже какое-то внешне тривиальное решение.