type inference - "вывод типов" или "определение типа результата"

Переводим термины и придумываем новые, в т.ч. для ЯОС
Аватара пользователя
Лис [Вежливый]
Сообщения: 437
Зарегистрирован: 08.10.18 13:32

Re: Язык программирования Санда

Сообщение Лис [Вежливый] » 25.03.21 02:08

ритминформ писал(а):то no comments.
У меня есть comments.

https://gufo.me/dict/ushakov/%D0%BE%D0% ... 0%B8%D0%B5
https://ushakovdictionary.ru/word.php?wordid=40474
Ушаков. Толковый словарь русского языка Ушакова. 2012
определения, ср.

1. Действие по глаг. определить во всех знач., кроме

5. Точное определение обязанностей. Определение признаков холеры. Определение растений. Определение углов. Определение наказания. Определение на службу.

2. Формулировка, раскрывающая содержание понятия (науч.). – Что значит Дать "определение"? Это значит прежде всего подвести данное понятие под другое, более широкое. Ленин. Дать чему-н. Построить определение. Сжатое определение. Неточное определение.

3. Второстепенный член предложения, отвечающий на вопрос: какой? чей? который? (грам.).

4. Постановление суда, вынесенное по частному вопросу, возникшему при рассмотрении дела. Определение суда.
Мы видим, что у слова "Определение" есть пять значений, из них применимы в этом случае первое и пятое. БудДен привёл пример того, как слово могло быть понято не в первом словарном значении.
ритминформ писал(а):Ну, мне нечего скказать на это. :/
Ну я за позицию БудДена. Но словарь - плохой, первый попавшийся, не хватает ему формальности и этимологической части.

ритминформ
Сообщения: 31
Зарегистрирован: 23.03.21 11:29

Re: Язык программирования Санда

Сообщение ритминформ » 25.03.21 02:42

Лис [Вежливый] писал(а):
25.03.21 02:08
ритминформ писал(а):то no comments.
У меня есть comments.

https://gufo.me/dict/ushakov/%D0%BE%D0% ... 0%B8%D0%B5
https://ushakovdictionary.ru/word.php?wordid=40474
Ушаков. Толковый словарь русского языка Ушакова. 2012
определения, ср.

1. Действие по глаг. определить во всех знач., кроме

5. Точное определение обязанностей. Определение признаков холеры. Определение растений. Определение углов. Определение наказания. Определение на службу.

2. Формулировка, раскрывающая содержание понятия (науч.). – Что значит Дать "определение"? Это значит прежде всего подвести данное понятие под другое, более широкое. Ленин. Дать чему-н. Построить определение. Сжатое определение. Неточное определение.

3. Второстепенный член предложения, отвечающий на вопрос: какой? чей? который? (грам.).

4. Постановление суда, вынесенное по частному вопросу, возникшему при рассмотрении дела. Определение суда.
Мы видим, что у слова "Определение" есть пять значений, из них применимы в этом случае первое и пятое. БудДен привёл пример того, как слово могло быть понято не в первом словарном значении.
Я не представляю в данном контексте как слово "определение" может быть понято иначе, чем значение 1.
Но ещё раз подчеркиваю: мне это не важно. Я, программируя с осени 1985 года не припомню случая, чтобы где-то встретил словосочетание "type inference". Меня оно не интресует.

Аватара пользователя
Лис [Вежливый]
Сообщения: 437
Зарегистрирован: 08.10.18 13:32

Re: Язык программирования Санда

Сообщение Лис [Вежливый] » 25.03.21 02:45

не припомню случая, чтобы где-то встретил словосочетание "type inference". Меня оно не интресует.
Ну значит современное собеседование не пройдёте, потому что это "type inference" во многих современных языках программирования.
Вот и остаётся Вам быть "независимым автором" (маргиналом вне мейнстрима).

ритминформ
Сообщения: 31
Зарегистрирован: 23.03.21 11:29

Re: Язык программирования Санда

Сообщение ритминформ » 25.03.21 03:01

Лис [Вежливый] писал(а):
25.03.21 02:45
Ну значит современное собеседование не пройдёте, потому что это "type inference" во многих современных языках программирования.
Вполне вероятно. Надеюсь, что мне никогда не придётся проходить собеседование. :)
Лис [Вежливый] писал(а):
25.03.21 02:45
Вот и остаётся Вам быть "независимым автором" (маргиналом вне мейнстрима).
Мне больше нравится быть владельцем, которым я сегодня являюсь, и я ни в коем разе не хочу попадать в мейнстрим. Я не девочка из телеграмма.

Аватара пользователя
Лис [Вежливый]
Сообщения: 437
Зарегистрирован: 08.10.18 13:32

Re: Язык программирования Санда

Сообщение Лис [Вежливый] » 25.03.21 03:07

ритминформ писал(а):владельцем, которым я сегодня являюсь
Распальцовка, упускание конкурентных преимуществ. Лидер колонии не великий стратег (последняя фраза - переделанная цитата из одной игры-стратежки).

ритминформ
Сообщения: 31
Зарегистрирован: 23.03.21 11:29

Re: Язык программирования Санда

Сообщение ритминформ » 25.03.21 03:10

Лис [Вежливый] писал(а):
25.03.21 03:07
ритминформ писал(а):владельцем, которым я сегодня являюсь
Распальцовка, упускание конкурентных преимуществ.
Я не собираюсь ни с кем конкурировать в области ИТ. Мне это не интересно.

БудДен
Сообщения: 1844
Зарегистрирован: 07.10.18 14:01

Re: type inference - "вывод типов" или "определение типа результата"

Сообщение БудДен » 22.04.21 22:39

Ну вот смотрите, Вы не хотите конкурировать и вывод типов Вам не интересен, Вы с ним не сталкивались, но тем не менее называть мы его должны так, как Вы его назвали. А люди, которым он интересен, уже давно договорились между собой называть его по-другому. Ведь почти все слова в современных языках многозначны и так или иначе терминология - это продукт договорённостей. Да, "вывод типов" - тоже не идеальный вариант, это условное название, но люди, говоря это, друг друга понимают. А у Вас получается довольно агрессивная позиция - кто Вас не понял (читай, отказался подчиняться тем соглашениям, которые Вы навязываете, причём в области, которая не Ваша совсем), тому кривую рожицу ставить. Вам не кажется Ваше поведение слегка недружелюбным?

БудДен
Сообщения: 1844
Зарегистрирован: 07.10.18 14:01

Re: type inference - "вывод типов" или "определение типа результата"

Сообщение БудДен » 22.04.21 22:47

Вот тут нам С.Т. лингву предложил и лингва говорит (из книги Александреску), что type inference переводится именно как вывод типов. МОжно было бы сказать "автовычисление типа" - тогда, наверное, было бы ещё лучше. Но на самом-то деле в Обероне type inference почти отсутствует, и действительно можно особо и не обсуждать.

С.Т.
Сообщения: 11
Зарегистрирован: 20.04.21 14:26

Re: type inference - "вывод типов" или "определение типа результата"

Сообщение С.Т. » 23.04.21 08:47

Если вернуть контекст, то полный перевод выглядит как "вывод типов по алгоритму Хиндли — Милнера". Пришёл из функциональных языков, где результатом функции может быть функция (выражение). Терминология заимствуется из математики, тип именно выводится.

Формулировка "определение типа результата" говорит о том, что человек уловил суть и решил частный случай задачи для императивного языка (а большего ему и не надо).

Выпад про "многие современные языки" и "провал собеседования" я даже боюсь комментировать, поскольку не знаю что старше: смузи или лямбда-исчисление.

Ответить