Ниал - Nial

Эта статья не цитировать любой источники. Пожалуйста помоги улучшить эту статью к добавление цитат в надежные источники. Материал, не полученный от источника, может быть оспорен и удаленный. Найдите источники: "Ниал"  – Новости  · газеты  · книги  · ученый  · JSTOR (Март 2009 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

Ниал (от "Nested Interactive Array Language") - высокоуровневый программирование массива язык, разработанный примерно в 1981 году Майком Дженкинсом из Королевский университет, Кингстон, Онтарио, Канада. Дженкинс стал соавтором Алгоритм Дженкинса – Трауба.

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

Чаще всего используется для прототипирования и искусственный интеллект.

Q'Nial

В 1982 году Дженкинс основал компанию (Nial Systems Ltd) для продвижения языка и реализации Q'Nial для Nial. По состоянию на 2014 г. веб-сайт компании поддерживает проект с открытым исходным кодом для программного обеспечения Q'Nial с двоичным кодом и исходным кодом, доступными для загрузки. Его лицензия получена из Художественная лицензия 1.0, единственными отличиями являются преамбула, определение «Правообладатель» (которое изменено с «лицо, указанное в авторских правах или авторских правах на пакет» на «NIAL Systems Limited») и экземпляр «кто угодно» (который заменяется на "кто угодно").

Ниал концепции

Ниал использует обобщенную и выразительную теорию массивов в своей версии 4, но пожертвовал частью общности функциональной модели и изменил теорию массивов в версии 6. Сейчас доступна только версия 6.

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

Функции в Nial называются Операциями. Из руководства Nial: «Операция - это функциональный объект, которому задан массив аргументов и который возвращает массив результатов. Процесс выполнения операции путем передачи ему значения аргумента называется вызовом операции или приложением операции».

Применение операций

Nial, как и другие языки, производные от APL, позволяет унифицировать бинарные операторы и операции. Таким образом, следующие обозначения имеют то же значение. сумма такой же как +

Бинарная операция:

2 + 3 2 сумма 3

Обозначение массива:

+ [2,3] сумма [2,3]

Обозначение цепочки:

+ 2 3сумма 2 3

Сгруппированные обозначения:

+ (2 3) сумма (2 3)

Ниал также использует трансформаторы, которые являются функциями высшего порядка. Они используют операцию аргумента для создания новой измененной операции.

дважды трансформатор f (f f) дважды отдыхает [4, 5, 6, 7, 8] | 6 7 8

Атлас

Атлас в Ниале - это операция, состоящая из множества компонентных операций. Когда атлас применяется к значению, каждый элемент атласа применяется по очереди к значению, чтобы обеспечить конечный результат. Это используется для обеспечения стиля определений без точек (без переменных). Он также используется трансформаторами. В приведенных ниже примерах «внутренний [+, *]» список «[+, *]» является атласом.

Примеры

Создание массивов

количество 6 | 1 2 3 4 5 6

Массивы также могут быть буквальными

Приб .: = [5, 6, 7, 8, 9] | 5 6 7 8 9

Форма дает размеры массива, а изменение формы можно использовать для изменения размеров.

форма Arr | 5

a: = 2 3 reshape Arr # reshape - это двоичная операция с двумя аргументами. Его также можно записать в префиксе как # a: = reshape [[2,3], Arr] | 5 6 7 | 8 9 5

b: = 3 2 изменить форму Arr | 5 6 | 7 8 | 9 5

a внутренний [+, *] b | 130 113 | 148 145

Вычисление среднего

Определения имеют форму "<имя> равно <выражение>".

среднее / [сумма, подсчет] среднее Arr | 7.

Вычисление факториала

факт повторяется [0 =, сначала 1, проходит, продукт, -1 +] факт 4 | 24

Обращение массива

rev is reshape [shape, through [pass, pass, converse append]] rev [1, 2, 3, 4] | 4 3 2 1

Генерация простых чисел

Контраст с APL

простые числа - это подсписок [каждый (2 = сумма каждого правая (0 = мода) [пройти, счет]), пройти] остаток счетчика простых чисел 10 | 2 3 5 7

Объяснение

Проверка делимости A на Bis_divisible: 0 = mod [A, B]

Определение фильтра is_prime

is_prime равно 2 = сумма каждого права is_divisible [pass, count]

Count генерирует массив [1..N], а pass is N (операция идентификации) .eachright применяет is_divisible (pass, element) к каждому элементу массива, сгенерированного count. Таким образом, это преобразует массив, сгенерированный счетчиком, в массив, где числа, которые могут делить N, заменяются на «1», а другие - на «0». Следовательно, если число N простое, сумма [преобразованный массив] должна быть 2 (сама и 1).

Теперь остается только сгенерировать другой массив, используя счетчик N, и отфильтровать все, что не является простым.

простые числа - это подсписок [каждый is_prime, pass] счетчик остатков

QuickSort

• связь объединяет свои массивы аргументов
• подсписок [A, B] возвращает список элементов B, выбранных в соответствии со списком логических значений, заданным в A, выбирая те элементы B, где соответствующий элемент A является истинным.
• В Вилка [A, B, C] X первый A является предикатом, и если A (X) истинно, то возвращается B (X), иначе возвращается C (X).
• Проходить является операцией идентификации для массивов.

быстрая сортировка: fork [> = [1 первый, подсчет], проход, ссылка [подсписок быстрой сортировки [<[проход, первый], проход], подсписок [совпадение [проход, первый], проход], подсписок быстрой сортировки [> [проход, первый] ], проходить ]   ]]

Используй это:

быстрая сортировка [5, 8, 7, 4, 3] | 3 4 5 7 8