Если бы в С+ сделали нормальную «интерпретацию во время компиляции» (известную также как синтаксические макросы), было бы очень хорошо. А этот пример (как и весь Boost) лишний раз показывает, что бывает, когда в языке чего-то изначально не предусмотрено, а программистам очень хочется.
Китайский формат ИМХО самый адекватный, потому что формат даты в едином стиле с форматом времени: старшие компоненты слева, младшие справа. И для лексикогрфической сортировки удобнее.
А вообще жалко, что нет единого международного стандарта на такие вещи и людям приходится поддерживать всякие локализации.
Структурная типизация — это прекрасная вещь в дополнение к «классической» номинативной (в Go мне тоже эта фича понравилась).
Но у вас нет как таковой структурной типизации.
Я надеялся что он выведет ВКонтакте за границу. Физически, со всеми серверами… Куда нибудь в нейтральную страну с максимальной защитой приватности и минимальным вмешательством государства. Но увы…
Это верно для бесконечных (открытых) систем. Если вычислительная система конечна (имеет фиксированный объем памяти) и не взаимодействует с внешним миром иначе чем через начальную передачу агрументов и конечное получение результата (нет ввода/вывода), то очевидно, на более мощной системе можно сгенерировать все ее возможные состояния (образы оперативной памяти) и построить полный граф переходов между ними (для каждого состояния делаем один шаг в эмуляторе, получаем новое состояние и ищем его в массиве всех состояний). Для простоты, совокупность всех бит оперативки можно считать номером состояния вычислительной системы.
Ну а дальше очевидно: какое-то состояние мы принимаем за «конечное» (алгоритм закончил работу). Дальше достаточно проанализировать граф — если из начального состояния цепочка переходов ведет в одно из пройденных состояний — там бесконечный цикл. Поскольку число состояний конечно, то определить это можно за конечное время. Если же мы приходим в конечное состояние — алгоритм останавливается и дает результат.
Именно так. Причем сама по себе печать вторична по отношению к общей идее автоматического приготовления пищи. Можно не печатать, а сделать робота который готовил бы обычным способом — резал, варил, жарил.
А вот стандартные картриджи с продуктами очень помогли бы в этом деле. По идее, все технологии уже есть, осталось только собрать воедино.
Может администрация Хабра организует? Можно например составить список вопросов от крупнейшего российского IT-портала, перевести и передать через викиликс…
Забавно:) Приложение рассчитано на то, что большинство людей везде хотят с включенным интернетом и постоянно постят что-то со смартфона в социальные сети. Да еще и свои GPS-координаты там оставляют…
Да все то же самое что и в Студии. Я например заметил, что пользуюсь в Студии кнопками: Save, Save all, Undo, Redo, Switch cpp/h, Build, Rebuild, Find. Navigate forward/backward, build, run и debug — уже есть в creator'e. В идеале конечно лучше всего сделать диалог настроек, в котором можно самому конфигурировать тулбар, добавляя в него действия и перемещая пиктограммы.
В Creator'е даже кнопки Save нет, а у меня привычка время от времени сохранять изменения. На автомате веду курсор мыши к левому верхнему углу, а там ничего нет… неуютно:)
А вообще жалко, что нет единого международного стандарта на такие вещи и людям приходится поддерживать всякие локализации.
Но у вас нет как таковой структурной типизации.
Ну а дальше очевидно: какое-то состояние мы принимаем за «конечное» (алгоритм закончил работу). Дальше достаточно проанализировать граф — если из начального состояния цепочка переходов ведет в одно из пройденных состояний — там бесконечный цикл. Поскольку число состояний конечно, то определить это можно за конечное время. Если же мы приходим в конечное состояние — алгоритм останавливается и дает результат.
А вот стандартные картриджи с продуктами очень помогли бы в этом деле. По идее, все технологии уже есть, осталось только собрать воедино.
В Creator'е даже кнопки Save нет, а у меня привычка время от времени сохранять изменения. На автомате веду курсор мыши к левому верхнему углу, а там ничего нет… неуютно:)