Телеграмм чат группы haskellru страница 16204

Но если надумаю, то скину в вики

14:28пожаловаться #1

хотя нет, вру, есть у меня книжка Душкина Р.В. (Душкин Р. В. Функциональное программирование на языке Haskell. М.: ДМК Пресс, 2006. 608 с., ил.) -- там list comprehension переведено как определитель списка

... то есть так-то тоже кто во что горазд.

14:31пожаловаться #2

[

Дословно это вообще как "понимание" переводится

14:32пожаловаться #3

в данном контексте скорее "постижение"

14:32пожаловаться #4

Дословно не надо это переводить. Потому что оно, насколько я могу судить, не прямо от comprehend, а от comprehensive, т.е. полный, всеобъемлющий.

14:33пожаловаться #5

по аналогии с нотацией построения множеств оно, все элементы удовлетворяющие предикатам или как-то так.

14:34пожаловаться #6

может конечно чушь несу, у меня английский не родной

14:34пожаловаться #7

[

Для нас всех не родной

14:35пожаловаться #8

mathematical notation for describing a set by enumerating its elements or stating the properties that its members must satisfy

Set-builder notation via predicate — вот только такое нашёл окромя comprehension https://en.wikipedia.org/wiki/Set-builder_notation

Wikipedia

Set-builder notation

14:36пожаловаться #9

ну да, про него и речь. я аналогию по смыслу имел ввиду. set comprehension тоже встречается, но в основном в контексте Python и это калька с list comprehension явно.

14:38пожаловаться #10

но математики тоже растаскивают помаленьку, напр: http://ceur-ws.org/Vol-1163/paper-05.pdf

14:41пожаловаться #11

но тоже ноги из Python тут растут, да

14:41пожаловаться #12

syntactic construct for creating a list based on existing lists

как появился термин "comprehension" https://en.wikipedia.org/wiki/List_comprehension#History

но яснее не становится

Wikipedia

List comprehension

14:42пожаловаться #13

it was Phil Wadler who coined the better term list comprehension

14:43пожаловаться #14

Ну чтобы стало яснее надо этимологию отследить. а этимология от лат. comprehendo -- составлять, содержать, схватывать, охватывать и ещё куча связанных значений.

14:49пожаловаться #15

о, "охватывать"

14:50пожаловаться #16

[

составление списка