Ответ 1
x
- это общее имя переменной в математике. xs
- это множественная форма x
(получить?). При сопоставлении шаблона списка x
- один элемент, а xs
- (обычно) несколько.
Я пытаюсь подобрать немного Haskell, и я чередуюсь между благоговением и одурманиванием. Одна из действительно отчуждающих вещей для меня, тривиальная, как может показаться, - это совпадение с образцом (x:xs)
. Откуда берутся эти имена переменных? Они могут быть любыми - (kernel:cob)
, (spam:eggs)
(немного наклоняя мою руку), или - наиболее разумно, на мой взгляд, (h:t)
, стоящим за "головой" и "хвостом".
Я предполагаю, что префикс x
полезен для указания того, что оба элемента относятся к одному списку, поэтому (xh:xt)
или даже просто (x:xt)
, если вы чувствуете себя особенно кратким. Но почему? Что это значит? Откуда это? В настоящий момент я чувствую, что знание поможет мне справиться с моей путаницей.
Возможно, я думаю об этом не так; пожалуйста, не стесняйтесь сказать мне об этом.
x
- это общее имя переменной в математике. xs
- это множественная форма x
(получить?). При сопоставлении шаблона списка x
- один элемент, а xs
- (обычно) несколько.
Мы можем взять начало x
назад гораздо дальше, конечно:-) François Viète (1540-1603) выпустила книгу под названием "Артем"
аналитическом изогаге ("Введение в
аналитическое искусство "), которая была первой работой, которая систематически использовала буквы для представления чисел.
Редактировать: Порс, ниже, указывает мне на действительно классную "Историю математических заметок" Кайори. К моему приятному удивлению, вся работа доступна в Интернете: http://archive.org/details/historyofmathema031756mbp
x
- это европейская транскрипция арабского слова شيء (произносится "chi", или "chaï" или "tchi", в зависимости от акцента). Это слово означает "вещь" или "что-то" и использовалось первыми арабскими и иранскими математиками в качестве символа для обозначения неизвестного или незафиксированного значения в математическом выражении.
К этим временам, "х", возможно, были рассмотрены переводчиками и европейскими математиками в качестве ближайшего приближения к этому символу неизвестного.