CD
ок. и что в этом плохого?
а что в го плохого7
Size: a a a
2020 August 14
p
а что в го плохого7
в том что там дублирующийся код
CD
вот в этом есть что-то плохое?
p
а идрис не дублирует ничего
p
вот в этом есть что-то плохое?
дублирование одинакового кода
CD
в том что там дублирующийся код
а у тебя синтаксис с такой избыточностью, что можно каждой кнопкой 100 букв писать, да
CD
ты же понимаешь, что существует ограничение на ввод информации?
p
а у тебя синтаксис с такой избыточностью, что можно каждой кнопкой 100 букв писать, да
это не избыточность, это выразимость. вот покажи как
isValidInput' : List Char -> Maybe Charбудет выглядеть в плюсах?
isValidInput' (x :: []) = Just x
isValidInput' _ = Nothing
p
там будет букв в 10000 раз больше
CD
это не избыточность, это выразимость. вот покажи как
isValidInput' : List Char -> Maybe Charбудет выглядеть в плюсах?
isValidInput' (x :: []) = Just x
isValidInput' _ = Nothing
это избыточность и только она, потому что исходный код несёт информационную нагрузку не больше, чем ты нажал кнопок
p
это избыточность и только она, потому что исходный код несёт информационную нагрузку не больше, чем ты нажал кнопок
где этот код избыточен?
p
ткни пальцем
CD
где этот код избыточен?
и если для идриса он не избыточен, то скорее всего есть фундаментальная проблема избыточности синтаксиса языка
p
и если для идриса он не избыточен, то скорее всего есть фундаментальная проблема избыточности синтаксиса языка
ну скажи где он избыточен
CD
ну скажи где он избыточен
ты мне предлагаешь перепроектировать идрис без этой проблемы или что?
p
ты мне предлагаешь перепроектировать идрис без этой проблемы или что?
покажи где по твоему мнению в этом коде избыточность
CD
покажи где по твоему мнению в этом коде избыточность
я тебе доказал её существование
CD
математически доказал
p
я тебе доказал её существование
как ты ее доказал
CD
как ты ее доказал
ты слышал, что невозможно сжать N бит информации в N-1?