WikiSort.ru - Программирование

Не путать с J++ или J#.

J — функциональный векторный язык программирования. Диалект APL. В отличие от APL не требует специальной раскладки клавиатуры для ввода математических символов, поскольку использует символы ASCII.

Язык программирования J был разработан в начале 1990-х Кеннетом Айверсоном и Роджером Хуэем (Roger Hui) (англ.) как синтез APL (также разработанного Айверсоном) и языков комбинаторного программирования FP (англ.) и FL (англ.), разработанных Бэкусом. Основные его черты — это ориентированность на MIMD инструкции, функциональный подход (переменные исключены вообще, вместо них действует механизм переименований и комбинаторы).

Язык J сочетает в себе несколько идей и парадигм. Он, в числе прочего, сильно ориентирован на обработку данных. J — чисто функциональный язык. Единственными способами передачи значения является получение его как результата вызова функции и передача его функции в качестве параметра.

Единственный из разработанных полноценный интерпретатор J являлся в 1994—2010 гг. несвободным, однако после выхода седьмой версии, 6 марта 2011 г., его исходные коды были открыты под лицензией GPL3^[3].

Понятия языка

Для описания элементов программирования, J использует набор слов, относящийся к грамматике английского языка. Эта терминология не такая странная, как может показаться на первый взгляд. «Глагол» используется в смысле, соответствующем «функции» или «оператору» в C.

Соответствие терминов языка J терминам языка С.

У каждого слова в предложении языка J есть часть речи, аналог типа в языке C. Это глагол, имя существительное, глагол-связка, наречие, союз или знак препинания. Главные части речи это существительное, глагол, наречие и союз. Все имена, которые будет создавать программист и все имена, определенные в языке J (за исключением глаголов-связок (=. и =:) и знаков препинания), будут относиться к одной из главных частей речи. Сущность (англ. entity) это объект, тип которого — одна из главных частей речи. Другими словами, сущность это наречие, существительное глагол или союз. Сущности может быть дано имя, но большинство из них имени не имеют и возникают посреди выполнения выражения и исчезают сразу после, в точности как промежуточные результаты вычисления выражения на языке С.

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

Знаки препинания в языке J состоят из символов () ' и символа конца строки, а также ограничителя NB. и нескольких специальных слов, таких как if. и case. Больше символов пунктуации в языке J нет. Даже символы [ ] , . " ; { } являются глаголами, а скобки [ ] и { } независимы и используются по одной, а не парами.

Синтаксис

Исполняемой единицей языка J является предложение, которое соответствует выражению в языке C. Ограничителями предложения языка J являются символ конца строки (LF) и управляющие слова, такие как if. Предложение включает все символы между разделителями, а поскольку символ LF является разделителем, предложения J должны вписываться в одну строку. Способов разнести предложение на две строки нет.

Все комментарии начинаются с NB. и заканчиваются концом строки. Комментарий в процессе выполнения предложения игнорируется. В языке J выделяются такие типы лексем:

1. Существительное
2. Глагол
3. Наречие
4. Союз

Отношения между лексемами и частями речи иллюстрирует диаграмма на рис. — лексемы языка J и части речи.

Слова в предложении языка J делятся на идентификаторы, примитивы, числа, знаки пунктуации и символьные константы. Разделяют слова пробелы и символ табуляции. У символов «.» и ": " особое значение.

Имена (идентификаторы) в языке J подобны таковым в языке C. Они начинаются с буквы латинского алфавита, допускают нижнее подчёркивание, различают регистр и состоят только из алфавитно-цифровых символов и символа нижнего подчёркивания. Имена, заканчивающиеся на символ подчеркивания и содержащие в себе два символа подчёркивания обрабатываются особым образом, это связано с понятием локали.

Графические символы ASCII (например «+») называются примитивами или операторами.

Каждый графический символ может образовать новый примитив, если к нему добавить «.» или ": ". Поскольку все примитивы — зарезервированные слова, в именах «.» и ": " не допускаются. Примитивы не обязательно разделять пробелами. Часть речи каждого примитива есть постоянная для языка J. Примеры:

  + +. +: { {: {:: i. i: for. select. case. end.

  result =. name1 verb2 5

Примечания

Литература

• Holt, A. Network Performance Analysis: Using the J Programming Language. — Springer, 2007. — 232 p. — ISBN 9781846288234.

Ссылки

• Домашняя страничка (англ.) (в том числе Вики-справка (Англ.))
• Описание
• Обсуждение применимости языка в научных вычислениях

В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете отредактировать эту статью, добавив ссылки на авторитетные источники. Эта отметка установлена 26 октября 2014 года.

Для улучшения этой статьи желательно: Викифицировать статью. Викифицировать список литературы.