Комментарии

Univalent foundations, homotopy type theory (HoTT) Agda, Idris, CoQ... Но там есть свои сложности с излишней формализацией. Получается ещё хуже: и математики с этим не особо справляются, и порог входа не облегчается.
Отписывайтесь чаще про успехи. Надеюсь на кеки)
Як на мене одна з головних фічей, про якусь чомусь не кажуть, це паттерн-матчінг на алгебраїчних типах.
Ну... там особо выбора пути немного, ИМХО.
Як на мене овероптимістично, щоб розібратися з борроу чекер, вже треба трохи програмувати...
Фезам, аскорутин, активный йод, метформин, бисопропол, тироксин, летрозол (это вообще противоопухолевый препарат, при гормонозависимых опухолях молочной железы используется), финастерид — это все лекарственные препараты, которые только врачем должны...
Це правда Поки не зрозуміло, що там такого паскудного наробила коре тім, що це навіть не захотіли оприлюднювати cp? q? n?
www.tiobe.com/tiobe-index/rust The outliers were Rust, which had the highest average salary (over $180,000), Go ($179,000), and Scala ($178,000) www.oreilly.com/...​3/2021/09/04-774×1048.jpg далі там обж сі, ерланг Зп то до лампи, коли не вказано скільки...
Через олх відправила кошти шахраю за телефон у сумі 450 грн. Уточніть, ви скористалися саме OLX доставкою? Якщо ні, то чому саме «ні»?
Що робити якщо війна? Як вижити в місті? Кілька порад цивільній людині Ну там Кожаєв розказував, що він тікати з міста буде Можна над ним поглузувати питаннями, як він буде проходити блокпости рфіяномовних з жінкою, собакою і кешем
Чи готові ми до війни: що з арсеналами на МІЛЬЯРД?
Это уже многократно было, раз в онлайн-галере Crossover с самого ее основания делаются скриншоты каждые 10 минут и снимки с вебки.
В США без зайчатины. )
Чому в однині? news.usni.org/category/fleet-tracker це якось міняє загальну к-сть літаків? Біля 1000? Просто вважайте їх такими Я можу вважати все що завгодно, але зі мною не погодяться ті люди,які відповідають за армію США.
проти тихоокеанського флоту США Чому в однині? news.usni.org/category/fleet-tracker Це все чудово, якщо вважати американські кораблі такими, які не можна потопити, і в яких не закінчуються боєприпаси.