в мусоре на расте - нет

и никогда не будет

Похоже пора открывать номинацию "Ебанат года"

ну что-то смотри, я один. Вам адептов много. Вы ничего не можете. Вы ничего не знаете

Я написал тебе в личку требования обосновать за кукаретинг. Ты обгадился и зассал без дошколят

нет, дошколёнок. Ещё раз повторяю. Моё слово сильнее твоего. Ты бездарный нонейм с помойки. Я тот кто срался везде и всюду более 10 лет. Никто и никогда моего слива не показал. Неужели ты думаешь, что какой-то бездарный дошколёнок может меня слить?

Продолжение метамема

Межнар по математике - это как паралимпиада. Это расписка в том, что ты ни с кем, кроме неполноценных школьников, соверевноваться не может. И ни в чём, кроме того, что тебе рассказали за партой и то, что специально сделано таким, чтобы любой идиот понял

Давай я тебе объясню как работает их дерьмо. Там примитивная скриптуха. В ней нет того, что ты хочешь. Работает она по следующему принципу. В типы записывается всякое говно, далее путём всяких фокусов, хаков - формированию каких-то типов. Вот формирование этих типов с учётом всего кружаего говна - они называют доказательством. Как такого n + 1 - там нет.

Соответственно, на С++ нужно писать весь этот пердолинг. Особенно учитывая то, что в С++ типы полиморфны, а в скриптухе нет. Учитывая то, что в скриптухе одна убогая рекурсивная логика говна и никакой реальной.

Ты воспринимаешь эту херню как магию, которая там что-то может и сама делает - это так не работает.

Ничего. Я уже объяснял - С++ язык следующего порядка. Он не использует готовую арифметику - он её создаёт.

какой тип у NPE в Haskell?

Ну системы типов мы наблюдаем как не работают

NPE

и все такое

То завтипы в плюсах есть, то нет. Определиться бы

У меня есть вопрос к знающим людям. Всё никак понять не могу. Вот есть язык C++ и там нет завтипов, насколько я понял. И вот меня интересует следующие - почему. Т.е. чего системе типов С++ не хватает и что нужно добавить, чтобы каким-то образом реализовать/добавить завтипы?