Является ли Wolfram Language настоящим языком программирования?
Wolfram собирается выпустить свой "язык программирования, основанный на знаниях", но действительно ли это настоящий язык программирования так же, как C#, Java и т. Д.?
Чтобы это не было слишком субъективным, я поясню, что под "истинным языком программирования" я имею в виду: завершен ли Тьюринг?
1 ответ
Что квалифицируется как "правда" для вас? Вы имеете в виду, что Тьюринг завершен?
см. из этого ответа
В общем, для того, чтобы императивный язык был полным по Тьюрингу, ему необходимо:
Форма условного повторения или условного перехода (например, while, if + goto)
Способ чтения и записи некоторой формы хранения (например, переменные, лента)
В репортаже Venture Beat о заявлении Вольфрама о языке, на котором они пишут:
Другими словами, "Южная Америка" не является переменной, которая должна быть назначена, или объектом или классом, который должен быть создан. Это фраза, которая известна и понятна, имеет значение, значение и связи, которые могут быть введены в вашу программу без особых усилий и без внешних источников данных. И этот источник знаний постоянно обновляется и растет, чтобы соответствовать обновляющемуся и меняющемуся миру.
Это звучит так, как будто язык сосредоточен на базе данных Wolfram и различных способах манипулирования этими данными.
Сам Вольфрам далее говорит о языке
"Уровень автоматизации невероятно выше, чем когда-либо могли иметь люди, - он невероятно мощный", - говорит Вольфрам. "Все, что знает WolframAlpha, знает ваше приложение".
Что еще раз напоминает то, на что мы смотрим, это язык сценариев, нацеленный на использование комбинации данных + поиска в Wolfram Alpha.