Просмотр кода страницы J (язык программирования)

{{другие значения|J (значения)}}
{{Карточка языка программирования
| name = J
| semantics = [[Функциональное программирование|функциональный]]
| class = интерпретатор
| year = 1990
| designer = [[Айверсон, Кеннет Юджин|Кеннет Айверсон]] и [[Хуэй, Роджер|Роджер Хуэй]]
| typing = динамическая
| implementations = 
| dialects = 
| последняя версия = J903
| дата выпуска последней версии = {{start date and age|2021|12|16}}
| latest_preview_version = J904
| latest_preview_date = {{start date and age|2021|12}}
| influenced_by = [[АПЛ (язык программирования)|АПЛ]], [[FP]], [[FL (язык программирования)|FL]]
| influenced = [[K (язык программирования)|K]]
}}
: ''Не путать с [[Visual J++|J++]] или [[J Sharp|J#]].''
'''J''' — функциональный векторный [[язык программирования]], диалект [[APL (язык программирования)|APL]], не требующий в отличие от прототипа специальной раскладки клавиатуры для ввода математических символов (использует только символы [[ASCII]]).

Разработан в начале 1990-х создателем APL [[Айверсон, Кеннет Юджин|Кеннетом Айверсоном]] и {{не переведено 2|Хуэй, Роджер|Роджером Хуэем|en|Roger Hui}} с применением идей из языков [[Комбинаторное программирование|комбинаторного программирования]] {{не переведено|FP (язык программирования)|FP|en|FP (programming language)}} и {{не переведено|FL (язык программирования)|FL|en|FL (programming  language)}} [[Бэкус, Джон|Джона Бэкуса]].
Основные его черты — это ориентированность на [[MIMD]]-инструкции, [[функциональное программирование|функциональный подход]] ([[Переменная (программирование)|переменные]] исключены вообще, вместо них действует механизм переименований и [[комбинатор]]ы).

Сочетает несколько идей и [[парадигма программирования|парадигм]], при этом является [[Чистота функции|чисто функциональным языком]] — единственными способами передачи значения является получение его как результата вызова функции и передача его функции в качестве параметра. Существенно ориентирован на обработку данных.

Единственный из разработанных полноценный интерпретатор J был в период 1994—2010 годов [[Несвободное ПО|несвободным]], 6 марта 2011 года исходные коды 7-й версии были открыты под лицензией GPL3<ref>[http://old.nabble.com/J-Source-GPL-p31045068s24193.html J Source GPL] {{webarchive|url=https://web.archive.org/web/20110306141915/http://old.nabble.com/J-Source-GPL-p31045068s24193.html |date=2011-03-06 }}</ref>.

== Понятия языка ==
Для описания элементов программирования, J использует терминологию грамматики естественных языков, например, термин «глагол» используется в смысле, соответствующем «функции» или «оператору» в [[Си (язык программирования)|Си]].

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

{| class="standard"
 ! Термин языка J  || Термин языка C 
 |-
 | Глагол	
 | [[Функция (программирование)|Функция]] или [[оператор (программирование)|оператор]]  
 |- 
 | Имя существительное 
 | Объект 
 |- 
 | Глагол-связка 
 | [[Присваивание]] 
 |-
 | Знак препинания 
 | Разделитель 
 |-
 | Наречие 
 | (#define macro) 
 |-
 | Союз 
 | (#define macro) 
 |}
У каждого слова в предложении языка J есть часть речи, аналог типа в языке C. Это глагол, имя существительное, глагол-связка, наречие, союз или знак препинания.
Главные части речи это существительное, глагол, наречие и союз. Все имена, которые будет создавать программист и все имена, определённые в языке J (за исключением глаголов-связок (=. и =:) и знаков препинания), будут относиться к одной из главных частей речи. Сущность ({{lang-en|entity}}) это объект, тип которого — одна из главных частей речи. Другими словами, сущность это наречие, существительное глагол или союз. Сущности может быть дано имя, но большинство из них имени не имеют и возникают посреди выполнения выражения и исчезают сразу после, в точности как промежуточные результаты вычисления выражения на языке С.

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

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

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

Все комментарии начинаются с <code>NB.</code> и заканчиваются концом строки. Комментарий в процессе выполнения предложения игнорируется.
В языке J выделяются такие типы [[Лексема (информатика)|лексем]]:

# [[Существительное]]
# [[Глагол]]
# [[Наречие]]
# [[Союз (грамматика)|Союз]]

Отношения между лексемами и частями речи иллюстрирует диаграмма на рис. — лексемы языка J и части речи.
[[Файл:J lexem rus.png]]

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

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

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

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

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

=== Порядок вычисления ===
[[Приоритет операции|Таблицы приоритетов]] действий в языке J нет. Все глаголы языка J имеют одинаковый приоритет и правую [[Ассоциативность (программирование)|ассоциативность]]. Для определения порядка можно использовать скобки. Круглые скобки в языке J понимаются в точности как в математике.

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

   result =. name1 verb2 5

нужно знать, является ли <code>name1</code> глаголом или существительным. В случае, когда он глагол, порядок вычисления <code>name1(verb2(5))</code>, а если он существительное, <code>verb2</code> — диадный и результат <code>(name1 verb2 5)</code>.

Все союзы и наречия имеют более высокий приоритет по сравнению с глаголами и левую [[Ассоциативность (программирование)|ассоциативность]].

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

=== Грамматика ===
J позволяет построение нескольких синтаксических деревьев для одной и той же строки кода. То есть описания языка не полны, отсутствует исчерпывающая спецификация. Язык J [[Контекстно-зависимая грамматика|контекстно-зависимый]], и стандартные средства для его описания (например, грамматика в [[Форма Бэкуса — Наура|форме Бэкуса-Науэра]]) не подходят. Понятие [[Абстрактное синтаксическое дерево|абстрактного синтаксического дерева]] даже теряет своё значение, так как оно корректно лишь в области контекстно-свободных языков.

== Примечания ==
{{примечания}}

== Литература ==
* {{книга
 | автор         = Holt, A.
 | заглавие      = Network Performance Analysis: Using the J Programming Language
 | издательство  = Springer
 | год           = 2007
 | allpages      = 232
 | isbn          = 9781846288234
 | ref           = Holt
}}
* {{Книга|автор=Norman D. Thomson|год=2001|isbn=978-0-86380-275-1|страниц=310|издательство=Research Studies Press|заглавие=J, the Natural Language for Analytic Computing|ссылка=https://books.google.ru/books/about/J_the_Natural_Language_for_Analytic_Comp.html?id=I75QAAAAMAAJ}}

== Ссылки ==
* [http://www.jsoftware.com/ Домашняя страничка]{{ref-en}} (в том числе [https://code.jsoftware.com/wiki/Main_Page Вики-справка (Англ.)])
* [http://dr-klm.livejournal.com/42312.html Описание]
* [https://web.archive.org/web/20110223064025/http://www.dvgu.ru/forum/thread.php?threadid=2033 Обсуждение применимости языка в научных вычислениях]

{{нет источников|дата=2014-10-26}}
{{rq|style|wikify|isbn}}
{{Языки программирования}}

[[Категория:Предметно-ориентированные языки программирования]]
[[Категория:Функциональные языки программирования]]
[[Категория:Свободные компиляторы и интерпретаторы]]