Новое сообщение в форум Философия программирования

Форум	Философия программирования
Тема	Как правильно задавать вопросы

Здравствуйте, Tanker, Вы писали:

T>Здравствуйте, oldjackal, Вы писали:

T>>>Любая теорема выводится из трех аксиом с помощью формальной логики. Что бы решать задачи нужно этот навык довести до автоматизма. После этого спокойно можешь утверждать, что на всё хватит логики и трех аксиом :-)

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

T>А мне тож самое учитель геометрии доказывал - решение любой задачи делается в один шаг :-)

T>>>Напиши книгу, я куплю, почитаю.

O>> Может мне еще и про "2+2=4" и про "Hello, World!" написать? Сопоставимые по сложности темы.

T>Не хочешь, не пиши.

O>> Что, кроме драконьей книги ничего нет? Вранье. Полно отличного материала. Одно из лучших, что я видел:

O>>http://www.iro.umontreal.ca/~boucherd/mslug/meetings/20041020/90-min-scc/90-min-scc.pdf

T>Предполагается, что ЦА искаропки знает функциональщину ?  :))) Ты только что говорил, что студенты на выходе не умеют программировать и тут же выдаёшь в качетсве хорошей ссылки материал, который эти студенты по твоим же словам не в состоянии осилить.

O>>так же неплохо: http://llvm.org/docs/tutorial/

T>В качетсве методички для лабораторных сгодится.

O>> А так же одна из глав SICP. Он вообще весь малость затянутый, там все мелочи разжевывают многократно, но относительно компиляции они палку не слишком сильно перегибают.

T>Сам подумай - студенты, как ты плачешься, программировать неумеют, а ты им SICP хочешь вручить.

Теги:

Введите теги разделенные пробелами. Обрамляйте в кавычки словосочетания с пробелами внутри, например: "Visual Studio" .NET

Имя, пароль: Загрузить Нравится наш сайт? Помогите его развитию!
Отключить смайлики Получать ответы по e-mail