Какой язык программирования наиболее правильный

>Основа программирования - лямбда-исчисление Черча, его реализация - LISP.

странная логика... любой язык программирования является реализацией лямбда исчисления: класс задач, обсчитываемых лямбдой, совпадает с классом рекурсивных функций, которые в свою очередь - с классом обсчитываемых функций вообще. или я что-то путаю?

Самый правильный -- это тот, на котором ты сможешь грамотно и эффективно решить поставленную задачу за минимальное время.

Бейсик. Точка.

Напомнило про "правильное пиво" :)

апередил ;)

> Проблема однако в том что программировать на нем практически невозможно.

- Умеете ли вы играть на скрипке?
- Не знаю, не пробовал

Теоретик, возьми с полки пирожок =)

Машина Тьюринга. Это единственное Истинное Программирование. Всё остальное - жалкие поделки.

i skol'ko lent dolzno byt' w etoj masine dlia istinnogo programmirovanija? 666? delo v tom, cto odnolentocnaja ne obladaet pamiat'iu - playlisty derzhat' negde budet :(

Ну можно и 666. Но главное - бесконечных! Иначе это не Истинная МТ!

> Основа программирования - лямбда-исчисление Черча, его реализация - LISP

Ух ты! Таки круто. Только вот почему G.Steele, который получше Лугоффского и его фанатов знает LISP и реально работал над emacs "lingua franca" для программеров считает (и обосновывает) Java. (Книжку типа даже помог Гослингу налабать.)

Куда, кстати, "профессора" дели?

> Основа программирования - лямбда-исчисление Черча, его реализация - LISP

нет. нет. Лисп не есть реализация лямбда-исчисления (ЛИ). Более того это не функциональный ЯП. Вообще просто реализация ЛИ не имеет практического смысла (интерпретаторов ЛИ полно). Есть языки семантика которых совпадает с семантикой ЛИ, например6 Haskell.

Ну а вопрос о самом правильном ЯП имеет один ответ: тот, который лучше всего подходит для решаемой задачи. Без привязки к задаче вопрос бессмысленен.

> любой язык программирования является реализацией лямбда исчисления

Неа, семантика С не совпадает с семантикой лямбда-исчисления. Следуя твоей логике машина Тьюринга является реализацией лямбда-исчисления. Но это не так, они равномощны.

Хрен тебе. Комбинаторная логика - единственное Истинное Программирование. Всё кроме unlambda - жалкие поделки :-))))))))))

>Только вот почему G.Steele, который получше Лугоффского и его фанатов знает LISP и реально работал над emacs "lingua franca" для программеров считает (и обосновывает) Java.

:-))) Знаешь... lingua franca - это такой язык для международного общения. Типа как Эсперанто, только хуже по всем параметрам. Его сравнительно легко учить (легче, чем обычный язык, но сложнее чем Эсперанто). А по выразительным возможностям он сильно (очень сильно) урезан.

Так что, может быть он именно это и имел в виду :-)))