ебануться

T

схуяли вообще

По законам логики если в множестве 0 элементов то все элементы множества положительные целые числа или {придумай свое утверждение}. Тут примерно то же самое.

базовые законы логики (и как следствие - программирования)

Время изучать математику)

Научное мышление Этот курс — о научном, рациональном мышлении в самом широком смысле. Вы научитесь строить логические умозаключения, вести дискуссии, разоблачать лженауку и псевдологические манипуляции. Мы поговорим о том, как проводить исследования — не только в "большой" науке, но и в повседневных вопросах и типичных рабочих задачах. Также мы обсудим нашу цивилизацию, построенную на технологиях и разуме, и вы узнаете, как идеи рациональности трансформировали мир и трансформировались сами под его влиянием.  

https://stepik.org/course/Научное-мышление-578/

А вообще мне дико понравился этот курс. Рекомендую всем.

ну во первых меня очень удивило что растотиме на это вообще не похуй

пустой энам просто не должен компилироваться в этом нет никакого смысла

Он в nightly только компилируется

ну это не важно, найтли и есть раст

ну тоесть пацаны такие обьебались, раз уж мы компилируем пустой энам то будем отдавать результат пустого энама как любой тип, збс

там упоминание про специальный символ чето !

> NoError is an instance of the never type

угу

Это нормально

В Idris тоже так

:apropos absurd

Когда мы каким-то образом получили терм ненаселённого типа, то можем его в absurd запихать и удовлетворить тайп-чекер