Т8
я понимаю
Ну вот, а говорил, что не гений
Size: a a a
2020 August 07
AZ
Т-34 85
Ну вот, а говорил, что не гений
ложная дихотомия
AZ
ничего в завтипах как таковых сложного нет
p
Да много их. В чате Ебанатика они присутствуют, можешь спросить
в чате ебанатика сидят ебанаты которые обсуждают адекватных людей, никто там завтипы не понимает
AZ
всяко проще чем мета-еботня на шаблонах
p
ничего в завтипах как таковых сложного нет
есть
AZ
есть
сложность в практике и паттернах
AZ
"как спроектировать доказательство чтобы им удобно было пользоваться"
AZ
против "просто доказать"
С
в чате ебанатика сидят ебанаты которые обсуждают адекватных людей, никто там завтипы не понимает
Там есть минимум один исследователь, который профессионально пишет на Coq
p
Там есть минимум один исследователь, который профессионально пишет на Coq
ну молодец, и что
С
Антон Трунов, опять же
M
Ребзи кто копал раст аналайзер?
AZ
Ребзи кто копал раст аналайзер?
кладов
С
ну молодец, и что
Тебя там что, обидели?
M
кладов
Да это понятно
M
Ладно буду сидеть копать дальше
p
Тебя там что, обидели?
нет
T1
typenum может быть?
?
T1
TypeId