p
Там почти ни один значок не используется в грамматике натуральных языков кроме букв латинского алфавита
Size: a a a
2020 June 07
VS
idris как кстати, учить стоит?
Да. Зав типы это будущее. Тем более там учить то - книгу за недельку прочитать. Особо дальше глубоко погружаться смысла 0 потому что один фиг либ нет и нефига не сделаешь на нем
r
почему математики не придумали удобный язык?
Очевидно, математики придумали удобный для математиков язык.
AZ
мне твои возражения напоминают людей у которых раст "сложный", потому что лафйтаймы. Но все кто пишет на расте проблем не видят.
Причина проста - люди даж не пытаются особо, прост ругают мимоходом
Причина проста - люди даж не пытаются особо, прост ругают мимоходом
G
её надо преподавать как музыку или изо, а её преподают как физкультуру
Был учитель у меня по математике, мог по пол урока философствовать, а то и почти весь урок )
G
Внезапно, понимание математики стало лучше
p
почему математики не придумали удобный язык?
Они придумали язык которым удобно описывать математические концепции а не язык который удобно учить и читать
AZ
red75prime
Очевидно, математики придумали удобный для математиков язык.
а математики - это отдельная раса?
AZ
Они придумали язык которым удобно описывать математические концепции а не язык который удобно учить и читать
математическая концепция - самый простой способ описать модель объекта
AZ
проще, чем в структурки и функции захерачить
AZ
иначе структурки и функции придумали бы 2000 лет назад чтобы описывать модели
p
мне твои возражения напоминают людей у которых раст "сложный", потому что лафйтаймы. Но все кто пишет на расте проблем не видят.
Причина проста - люди даж не пытаются особо, прост ругают мимоходом
Причина проста - люди даж не пытаются особо, прост ругают мимоходом
Да, Раст сложный с этой точки зрения.
p
математическая концепция - самый простой способ описать модель объекта
Самый простой с точки зрения описания а не восприятия человеком.
AZ
Самый простой с точки зрения описания а не восприятия человеком.
для меня это оксюморон
AZ
потому что описание делается для себя и други хлюдей
AZ
самое простое описание == то что тебе проще всего воспринимать
p
для меня это оксюморон
Ну это как на го удобно писать но неудобно читать. Тут тоже самое
AZ
Ну это как на го удобно писать но неудобно читать. Тут тоже самое
мм, не согласен
p
самое простое описание == то что тебе проще всего воспринимать
Ты статью читал? Сложность не исчезает, а переносится куда-то
p
В данном случае она переносится на трудность в изучении и восприятии