Где можно набрать текст на компьютере и распечатать в Москве

Обновлено: 17.05.2024

Первая полная Библия, напечатанная в Москве (1663 г.), должна была произвести впечатление, начиная с открывающихся двух страниц: иллюстрированного титульного листа и, в частности, искусно выполненной гравюры на дереве фронтисписа. Настоящее исследование рассматривает значение этих страниц на четырех уровнях в отношении (i) семантики производства; (ii) прецедент в московской и русинской печатной культуре; (iii) незамедлительные ответы; и (iv) последующее долгосрочное воздействие. Таким образом, статья, основанная всего на двух изображениях, исследует широкий спектр проблем визуальной, словесной, технологической и политической культуры Москвы в XVII веке.

Откройте для себя мировые исследования

20 миллионов участников
135 миллионов публикаций
Более 700 тыс. исследовательских проектов

Полный текст недоступен

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

В этом эссе автор исследует исчезновение из официального русского дискурса идеи Московии как Нового Израиля. Она предполагает, что это может быть частично объяснено в связи с обвинениями его оппонентов в богохульстве против патриарха Никона за то, что он назвал свой монастырь на реке Истре Новым Иерусалимом. Эти обвинения были сделаны на фоне апокалиптических слухов о Никоне как об антихристе и о скором появлении антихриста в Иерусалиме в 1666 г. - многим старообрядцам казалось подтверждающим пророчества о 1666 г. как о дате третьего и окончательного отступничества от истинной веры, после Великого раскола 1054 г. и Брестской унии 1596 г. Идеи Третьего Рима и Нового Израиля сохранялись среди некоторые старообрядцы; но в отличие от идеи Третьего Рима, которая была переосмыслена в XIX и XX веках как свидетельство русского мессианизма и империализма, идея Нового Израиля сравнительно игнорировалась.

Первоначальный ML и его непосредственные потомки никогда не использовались по-настоящему широко, но они оказали огромное влияние. Многие популярные языки переняли несколько удивительных инноваций машинного обучения.

Сочетает в себе возможности быстрого создания прототипов языков сценариев с безопасностью статической типизации (даже с переменными типа!)
Поддерживает полиморфный вывод типов
Автоматическое управление хранилищем.
Поддерживает функциональное программирование, но имеет некоторые императивные функции.
Использует сопоставление с образцом для аргументов функции
Имеет исключения
Имеет мощную и гибкую модульную систему (поддерживающую скрытие информации и универсальность).
Имеет обширную стандартную библиотеку
Имеет опубликованную стандартную полную формальную семантику.
Изучается на первом курсе в Карнеги-Меллон

Начало работы

Традиционная программа «Hello, world»:

Запуск стандартных программ машинного обучения

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

Интерактивная оболочка

Просто введите свои объявления и выражения в интерактивную оболочку, и система ответит. Вот пример сеанса (предположим, что файл hello.sml содержит указанный выше код):

Обратите внимание, насколько хороша система. Если вы не укажете типы, он вычислит их за вас (если то, что вы написали, имеет смысл). Если вы вводите выражение напрямую, оно превращает его в объявление, связывающее результат со специальным именем it .

Компиляция

Компилятор Московского машинного обучения называется mosmlc . Он не скомпилирует нашу программу «Hello, World», потому что не любит автономные выражения: ему нужны объявления:

Затем в Windows вы можете ввести:

а в Unix вы можете ввести:

и у вас есть исполняемый файл. Для компиляции и запуска, конечно, это будет: или:

Вот немного более интересная программа, иллюстрирующая немного больше языка:

Структура программы

Программа — это последовательность объявлений. Объявления начинаются с:

val , чтобы объявить новую привязку значения
fun , чтобы объявить новую функцию
type , чтобы ввести сокращение
datatype , чтобы определить новый тип с видимыми конструкторами
abstype , чтобы определить новый тип со скрытыми конструкторами
exception , чтобы определить новый конструктор исключений
signature , чтобы определить новую подпись
structure , чтобы определить новую структуру
functor для определения новой функции
infix , чтобы придать оператору инфиксный левоассоциативный статус
infixr , чтобы придать инфиксный правоассоциативный статус оператору
nonfix , чтобы объявить оператор префиксом
local , чтобы сделать объявление, использующее частные локальные объявления
open , чтобы разрешить использование всех элементов в структуре без уточнения

Лексические вопросы

Зарезервированные слова

Идентификаторы

Идентификаторы либо:

Но зарезервированные слова исключаются. И обратите внимание на отсутствие смешения буквенно-цифровых и символьных символов! У вас не может быть идентификатора |-o-| , хотя вы можете иметь |-*-| .

Типы

Вот некоторые из типов:

Переменные типа

Типы с двойным префиксом апострофа являются типами равенства. Равенство работает не для всех типов (что значит, что две функции равны, верно?). Например, тип int->int будет совпадать (унифицировать) с 'a , но не унифицировать с ''a :

Заинтересованы в деталях системы типов SML? Почитайте о системе типов Хиндли-Милнера. Это довольно круто.

Определение собственных типов

Объявление типа не создает новый тип, а только аббревиатуру типа:

Здесь coin_flipping_results и intset имеют абсолютно один и тот же тип.

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

Абстрактный тип — это просто тип данных, который скрывает свои конструкторы. Но, вероятно, в любом случае лучше использовать структуры.

Функции

Функции — это обычные значения, которые имеют тип вроде 'a -> 'b . Функции должны иметь ровно один параметр и ровно один тип возвращаемого значения. Синтаксис функции:

Вызовы функций просты:

Обратите внимание, что каждое совпадение проверяется по порядку. Порядок имеет значение, поэтому будьте осторожны.

Упражнение. Почему не проблема, что функции могут иметь один и только один параметр и одно и только одно возвращаемое значение? Как указать нулевые параметры? Десять параметров? Нет возвращаемых значений? Три возвращаемых значения?

Определение функций

Поскольку функции являются значениями, вы объявляете их так же, как и любое другое значение. Вы можете воспользоваться тем, что каждое объявление может использовать предшествующие ему объявления:

Вы можете использовать fun для удобства (в основном это val rec ):

Вы также можете весело использовать несколько шаблонов; это, безусловно, упрощает написание рекурсивных функций. И определения на основе шаблонов гораздо предпочтительнее выражений if.

Каррирование и удаление

Функции fn (x,y) => x + y и fn x => fn y => x + y подобны. Первый вариант — без карри; последний каррирован. Каррированные функции допускают «частичное применение»:

Функции высшего порядка

Функция высшего порядка — это функция, которая принимает функцию в качестве параметра и/или возвращает функцию в качестве результата. Приведенная выше функция каррированного плюса является функцией более высокого порядка, поскольку она принимает целое число и возвращает функцию.

Операторы

Операторы — это просто функции, которым присваивается приоритет и фиксированность в директиве infix , infixr или nonfix. Это некоторые из инфиксных операторов, определенных в стандартной библиотеке. (Обратите внимание, что многие встроенные операторы перегружены, поэтому в спецификации есть «фальшивые типы» — wordint означает int, word или word8; num означает wordint или real; numtxt означает num, char или string.)

И вы можете определить свои собственные:

Вы можете злоупотреблять встроенными операторами:

Модули

Легкость понимания больших программ: их нужно разбивать.
Предотвращение конфликтов имен.
Отделение интерфейса от реализации

Структуры

Содержимое доступно с точечной нотацией (вероятно, неудивительно):

Подписи

Предыдущая структура предоставляет слишком много информации. Мы можем использовать подпись, чтобы ограничить просмотр. Мы должны написать:

Теперь Set.Items не существует! Теперь мы можем даже сказать:

теперь ReadOnlySet.empty существует, а ReadOnlySet.remove — нет.

Функторы

Если мы изменим представление набора со списка на двоичное дерево поиска, нам нужно будет указать, как элементы набора должны быть упорядочены. Это отношение «меньше чем» является входом в структуру. Параметризация структур в SML осуществляется с помощью функторов:

Стандартная базовая библиотека

Следующие структуры составляют стандартную базовую библиотеку

Различные установки добавят гораздо больше структур. Например, Moscow ML добавляет Arraysort, Binarymap, BinIO, Dynarray, Dynlib, Intset, Meta, Mosmlcgi, Mysql, Regex, Signal, Splaymap, Gdimage и другие.

Что делать с дисководом