Problem solver

[spamsink]

Это, конечно, не такой сильный решатель проблем, как

Watch on YouTube

(скажем, проблему остановки не решит), но кому-нибудь, возможно, пригодится.
В интервью автор говорит, что название языка Sentient - приближенная анаграмма фамилии Цейтин. Это неспроста.


Пишешь, скажем,

array10<int5> d;

invariant d.uniq?;
invariant d.all?(function (e) { return e.between?(0,9); });

cur = 0;
0.upto(9, function^ (i) {
cur = cur * 10 + d[i];
invariant cur % (i+1) == 0;
});

expose d;

и вмиг (ну, условно) получаешь правильный ответ: {"d":[3,8,1,6,5,4,7,2,9,0]}

Comments

С 30-й секунды

[alextr98.livejournal.com]

- Problem solver?
- Problem eliminator!

Re: С 30-й секунды

[spamsink]

На работе я по части роликов не читатель, а только писатель. :( А одному из способов ликвидации проблем мы можем поучиться у Л. П. Берии.

одному из способов ликвидации проблем

[alextr98.livejournal.com]

Эффективный же был менеджер!
Но не оправдал доверия :-(

Re: одному из способов ликвидации проблем

[spamsink]

Это всё шуточки, а пост-то программистский.

а пост-то программистский

[alextr98.livejournal.com]

Вестимо!

[sasha-gil.livejournal.com]

Попробую передать историю Григорию Самуиловичу, может, его позабавит... Кстати, помню лекцию на первом курсе, где он знакомил нас, первокурсников, с Алголом-68 на примере программы, решающей задачу 8-ми ферзей. Совпадение?! :)

[spamsink]

Я бы не назвал это совпадением. Эту задачу еще Дейкстра в "Дисциплине программирования" разбирал, так что она хрестоматийная.

[archaicos.livejournal.com]

А реклама на mail.ru говорит, что есть решатели задач любой сложности на C++. Я как-то постеснялся выяснять их пределы сложности. :)

[spamsink]

Сначала надо выяснить, как словосочетание парсить.

[archaicos.livejournal.com]

Сложная задача!

[maksa.livejournal.com]

Иногда складывается ощущение, что создатели языков программирования соревнуются в том, чтобы сделать синтаксис как можно более вычурным и непонятным.

[mtve.livejournal.com]

в данном случае синтаксис вполне минималистичный и логичный. spamsink, спасибо за наводку!

[maksa.livejournal.com]

Да, вот эти крышечки^ особенно.

[spamsink]

Да, можно было бы для этого ("функция пользуется внешними переменными") и ключевое слово ввести, ничего страшного не случилось бы.

[spamsink]

The pleasure is mine!