AI
Граждане РФ, призываем проголосовать против внесения поправок в конституцию.
Подробности: http://2020go.ru
Все обсуждения вопроса - в @rust_offtopic.
Подробности: http://2020go.ru
Все обсуждения вопроса - в @rust_offtopic.
Сайт ркн заблочил шоле?
Size: a a a
2020 June 29
H
Да, но там может быть сложно, потому что математики дофига и больше
By contrast, type theory is its own deductive system: it need not be formulated inside any
superstructure, such as first-order logic.
superstructure, such as first-order logic.
H
найс введение для новичков
H
похоже это пока не для меня
H
системы типов кажется в этой книге не освещаются формально
D
а можно поинтересоваться что это за хуйня и зачем это вообще здесь
хз инфантилизм какой-то походу
VS
@Psilon Лови обнимашки потому что я соскучился без тебя в чатике. 🧟♂️ 😁
ЕС
> 2020
> unironically думать о девушках в эпоху живого type theory ресерча
> unironically думать о девушках в эпоху живого type theory ресерча
Фпшники ничем не интересуются кроме ФП, что и требовалось доказать.
H
ладно, придеца TAPL + PFPL читать
SP
Фпшники ничем не интересуются кроме ФП, что и требовалось доказать.
как это ничем. а как же тайп теори
H
плсую
H
и категори теори
H
и вот тайп теори решил осилить
H
томучто там прикольные черточки
H
вот эти палочки
H
которые я в принципе уже почти могу читать
H
со скрипом
👑
:-O