[Recent Entries][Archive][Friends][User Info]
| September 25th, 2012 | |||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 11:28 pm [Link] |     Можно ли классифицировать языки программирования по степени осмысленности произвольных выражений в них? Ну, не слишком «произвольных». Скажем, пусть скобки всегда расставлены правильно, и используются только зарегистрированные имена функций. Мы составляем произвольное выражение такого типа; будет ли оно работать или даже — будет ли оно высчитывать что-нибудь полезное? (Пока что неясно, что значит «полезное».) Если скорее будет, это гибкий язык, если скорее нет — негибкий. В наиболее (экстремально даже) гибком, с этой точки зрения, языке программирования, любая функция принимает любое количество аргументов (или, там, “список любой длины”). И там физически невозможно будет написать функцию без этого свойства. Отличаются ли настоящие рабочие языки друг от друга по этому признаку? Ясно, что речь идёт скорее об интуитивном ощущении, потому что точное измерение я плохо понимаю. Что-то вроде плотности какой-то последовательности, разве что. Можно спросить ещё, насколько сложно (или легко) составлять бессмысленные предложения на человеческих языках. Мне кажется, со временем любое бессмысленное выражение на человеческих языках приобретает смысл, если только достаточно долго используется. :-) Вчера я впервые слышал, как в электричке говорят по-английски. | ||||||||||||||||||
| Comments | |||||||||||||||||||
>>> Отличаются ли настоящие рабочие языки друг от друга по этому признаку Отличаются. Perl, например, обладает данным свойством: "В наиболее (экстремально даже) гибком, с этой точки зрения, языке программирования, любая функция принимает любое количество аргументов (или, там, “список любой длины”)"
>>> Можно спросить ещё, насколько сложно (или легко) составлять бессмысленные предложения на человеческих языках Я не думаю, что тут можно построить максимум poset, а не полноценную иерархию. Тем не менее, можно перечислить лингвистические факторы, которые напрямую на эту сложность влияют: типы допустимых синтаксических связей. Например, отсутствие в русском языке определенных моделей управления не дает строить словосочетания вида "доказать гипотезе Ходжа". (Reply to this) (Thread) | |||||||||||||||||||
![[info]](http://lj.rossia.org/img/userinfo.gif){kind=small}