В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

(F|R|FR)P - русскоговорящее сообщество

326 membersпожаловаться на группу
2018 November 27

分

分解物質 in (F|R|FR)P - русскоговорящее сообщество
с википедии почти ничего не понял
источник
20:16пожаловаться

Вл

В ладу in (F|R|FR)P - русскоговорящее сообщество
https://en.wikipedia.org/wiki/Substructural_type_system
Wikipedia
Substructural type system
Substructural type systems are a family of type systems analogous to substructural logics where one or more of the structural rules are absent or only allowed under controlled circumstances. Such systems are useful for constraining access to system resources such as files, locks and memory by keeping track of changes of state that occur and preventing invalid states.
источник
20:18пожаловаться

Вл

В ладу in (F|R|FR)P - русскоговорящее сообщество
ты же это читал да
источник
20:19пожаловаться

分

分解物質 in (F|R|FR)P - русскоговорящее сообщество
да
источник
20:19пожаловаться

Вл

В ладу in (F|R|FR)P - русскоговорящее сообщество
ну вроде норм интуицию даёт табличка
источник
20:19пожаловаться

Вл

В ладу in (F|R|FR)P - русскоговорящее сообщество
правда к чему это приводит на практике хз
источник
20:19пожаловаться

分

分解物質 in (F|R|FR)P - русскоговорящее сообщество
В ладу
ну вроде норм интуицию даёт табличка
я не знаю что в ней означают колонки
источник
20:20пожаловаться

分

分解物質 in (F|R|FR)P - русскоговорящее сообщество
источник
20:20пожаловаться

Вл

В ладу in (F|R|FR)P - русскоговорящее сообщество
блин я тоже не знаю
источник
20:21пожаловаться

Вл

В ладу in (F|R|FR)P - русскоговорящее сообщество
https://en.wikipedia.org/wiki/Structural_rule
Wikipedia
Structural rule
inference rule that does not refer to any logical connective, but instead operates on the judgment or sequents directly
источник
20:21пожаловаться

分

分解物質 in (F|R|FR)P - русскоговорящее сообщество
источник
20:22пожаловаться

分

分解物質 in (F|R|FR)P - русскоговорящее сообщество
что это вообще
источник
20:22пожаловаться

Вл

В ладу in (F|R|FR)P - русскоговорящее сообщество
дроби
источник
20:22пожаловаться

ЗП

Зигохистоморфный Препроморфизм in (F|R|FR)P - русскоговорящее сообщество
分解物質
дроби
источник
20:22пожаловаться

Вл

В ладу in (F|R|FR)P - русскоговорящее сообщество
кек блять
источник
20:22пожаловаться

Вл

В ладу in (F|R|FR)P - русскоговорящее сообщество
я думал ты пришёл нормально всё обьяснить
источник
20:23пожаловаться

ЗП

Зигохистоморфный Препроморфизм in (F|R|FR)P - русскоговорящее сообщество
http://cyclowiki.org/wiki/%D0%9B%D0%B8%D0%BD%D0%B5%D0%B9%D0%BD%D1%8B%D0%B5_%D1%82%D0%B8%D0%BF%D1%8B
источник
20:23пожаловаться

Вл

В ладу in (F|R|FR)P - русскоговорящее сообщество
странно что там не упомянут язык с линейными типами
источник
20:24пожаловаться

Вл

В ладу in (F|R|FR)P - русскоговорящее сообщество
не помню как он называется
источник
20:24пожаловаться

分

分解物質 in (F|R|FR)P - русскоговорящее сообщество
Зигохистоморфный Препроморфизм
http://cyclowiki.org/wiki/%D0%9B%D0%B8%D0%BD%D0%B5%D0%B9%D0%BD%D1%8B%D0%B5_%D1%82%D0%B8%D0%BF%D1%8B
то есть это не совсем про типы
источник
20:24пожаловаться