ZM
ковариантным?
бивариантным
Size: a a a
2021 February 15
AT
прикалываю, как через 40 лет димсол будет говорить, что в жаву добавляют уже высшие индуктивно-коиндуктивные типы, пока мы тут свои папиры дрочим, пора делать драйвера с поддержкой плансковского програмирования для TikTok SiZinPin quantum DB, а не дрочить это наше фп
уже сейчас ФП вышло из моды, работы не найдёшь, нужен новый фетиш
Oℕ
уже сейчас ФП вышло из моды, работы не найдёшь, нужен новый фетиш
туплевел
D
пора начинать писать уже квантовые обертки к джава либам
D
часики тикают
AT
тупо левак
напоминает тот сорт кофе
AT
AG
ну не такой уже удивительный, чизелю и вообще теме HLS триста лет в обед
AG
насколько я понимаю, реактивная парадигма из этой темы выросла в общем то
AG
датафлоу-языки и вот это всё
AG
у нас пока SMT-солверы (Z3 в частности) и TLA+ актуальнее Coq
гг как раз только что обсуждали тлю с алексом