Как работают ранги?

Question

Лучший способ понять J - подражать переводчику. Поскольку язык компактен и имеет мало правил, это было легко... за исключением того, как ранги влияют на оценку функций.

Я хочу видеть выражение и знать, что делает J, чтобы получить результат, шаг за шагом.

Есть ли документ, или кто-то может дать мне алгоритм, чтобы я мог рассчитать, как a f " n m b оценивается?

Заранее спасибо.

Answer 1

Для изучения Ранка наиболее доступным текстом является, вероятно, глава 6 J для программистов на Си. Раздел учебника Эрика Айверсона, который начинается с Atom и проходит через Checkpoint E, охватывает тему более кратко. Глава 7 обучения J - это еще одно место, которое освещается в рейтинге. Все ценно.

Самым глубоким исследованием Ранка является эссе Ранга Хуэя " Ранг и единообразие". Бумагу Хуэй будет лучше читать после того, как вы изучите другие тексты на эту тему. Если вам понадобится тщательность реализации, вы можете погрузиться в исходный код интерпретатора. Лично я бы этого не делал последним. Если бы я хотел посмотреть на алгоритмы реализации, я бы построил небольшую модель и проверил ее по результатам интерпретатора J, чтобы убедиться, что мое понимание ранга совпадает.

Ранг, на мой взгляд, является наиболее важной концепцией в J. Она довольно абстрактна в том смысле, что она применима ко всем формам, которые могут принимать существительные. Связанные понятия важны для изучения. К ним относятся форма, рамка, ячейка и соглашение. Они объясняются индивидуально в учебнике, но они объясняются каким-то образом каждый раз, когда тема рассматривается подробно.

Чем лучше вы понимаете соединение ранга и более широкий мир существительного ранга и глагола ранга, в котором оно применяется, тем полезнее вы найдете три раздела Словаря, которые касаются этого соединения. (Это разделы m "n, u" n и m "vu" v.)

Если вы придете к написанию каких-либо алгоритмов, которые помогут вам исследовать вещи поэтапно, я уверен, что другим программистам J понравится их видеть. Я не знаю ничего подобного, кроме самого исходного кода интерпретатора.