Rn
Я описал тебе принцип работы сигнатурой
меня не волнуют дошколята и их высер. Ты изначально проиграл, когда начал выдавать это дерьмо за язык. Потому что я тебе могу очень просто спросить за это и ты сольёшься тут же.
Size: a a a
2020 July 18
Rn
Функция add1 принимает число n, и возвращает число на 1 больше чем n
тебе объяснили, что это так вт оей бездарной скриптухи.
Rn
в реальности нет каких-то там чисел
AZ
потому что идрис не язык, а мусор. И никаких завтипов там нет. Тебя просто обманула пропаганда. Почему примитивнее - потому что у тебя заранее захардкодена в типы/операции семантика, которая преобразует типы. В С++ этого нет. Это язык более высокого порядка, т.е. он может реализовать то, что может твой недоязычок. Но этого семантики в него не заложено
бла бла много вони и демагогии
AZ
завтипы очевидно есть, потому что есть зависимая пара и функция
p
тебе объяснили, что это так вт оей бездарной скриптухи.
То есть у тебя нельзя выразить через систему типов это. То есть у тебя более примитивный язык.
KR
Стоп, это тот самый царь?
Да
Rn
То есть у тебя нельзя выразить через систему типов это. То есть у тебя более примитивный язык.
Нет, тебе обяъснили как это выразить. Возражений не последовало
p
Да
Так в бан его сразу, зачем церемонится
Rn
быстро слился
KR
тебе описали как она должна работать. Я жду возражений. Я не обязан предъявлять большие пруфы пока ты не ничего не можешь сделать более слабым
Тебя нормально попросили код написать. Чего ты юлишь?
p
Нет, тебе обяъснили как это выразить. Возражений не последовало
Покажи ещё раз, может я пропустил
Rn
Тебя нормально попросили код написать. Чего ты юлишь?
Я уже отвечал. Во-первых балабол код сам не показал. Во-вторых я не обязан делать что-то большее, чем необходимо. Моя задача доказать возможность, а не писать код. Поэтому я принципиально не буду его писать. Если тебе интересно - я тебе потом его напишу, когда блаболы сольются
AZ
Я уже отвечал. Во-первых балабол код сам не показал. Во-вторых я не обязан делать что-то большее, чем необходимо. Моя задача доказать возможность, а не писать код. Поэтому я принципиально не буду его писать. Если тебе интересно - я тебе потом его напишу, когда блаболы сольются
кстати тебе бы идрис или агда подошли. Там тоже не прогарммы пишут, а докаызвают что в принципе такую программу написать можно
Rn
кстати тебе бы идрис или агда подошли. Там тоже не прогарммы пишут, а докаызвают что в принципе такую программу написать можно
нельзя, в этом и проблема. Тем дошколятам, что "пишут" на этом мусоре - код не нужен, программы не нужны. Мне же нужны. Их задача - разводить дядей на бабки, а задача пацанов писать код.
Rn
поэтому я не могу сказать "у меня есть число" и свести задачу к такому мусору
Rn
потому что числа в С++ полиморфны
Rn
потому что того требует реальный мир. А запартой бигнум подрубил ворованный и всё нормально
KR
Я уже отвечал. Во-первых балабол код сам не показал. Во-вторых я не обязан делать что-то большее, чем необходимо. Моя задача доказать возможность, а не писать код. Поэтому я принципиально не буду его писать. Если тебе интересно - я тебе потом его напишу, когда блаболы сольются
Критерий истинности - практика. Просто покажи код для такой детской и тривиальной задачи. Да, ты не обязан, но чего тебе С-царю это стоит? Научи неучей.
KR
кстати тебе бы идрис или агда подошли. Там тоже не прогарммы пишут, а докаызвают что в принципе такую программу написать можно
Тогда уж Arend не забудьте)