ニアル

ニアル

パラダイム	配列
デザイン：	マイク・ジェンキンス
開発者	ニアルシステムズ株式会社
初登場	1981
安定版リリース	7.0 / 2017 ; 7年前 （2017年）
タイピングの規律	動的
ライセンス	GNU GPLv3
ファイル名拡張子	.ndf、.nlg
Webサイト	言語
主な実装
クニアル
影響を受けた
APL、Lisp

Nial (「Nested Interactive Array Language」に由来) は、カナダのオンタリオ州キングストンにあるクイーンズ大学の Mike Jenkins によって 1981 年頃に開発された高水準配列プログラミング言語です。Jenkins はJenkins-Traub アルゴリズムの共同開発者です。

Nial は、Trenchard Moreによって開発された配列理論に基づく配列の機能的プログラミング表記法と、数値、文字、および記号データ用の構造化プログラミングの概念を組み合わせたものです。

プロトタイピングや人工知能に最もよく使用されます。

^[1] 1982年、ジェンキンスはNial言語とNialのQ'Nial実装を販売するために会社（Nial Systems Ltd）を設立しました。2014年現在、同社のWebサイトではQ'Nialソフトウェアのオープンソースプロジェクトがサポートされており、バイナリとソースがダウンロード可能です。そのライセンスはArtistic License 1.0から派生しており、前文、「著作権者」の定義（「パッケージの著作権に記載されている者」から「NIAL Systems Limited」に変更）、および「誰でも」の例（「誰でも」に変更）のみが異なります。

Nial はバージョン 4 で一般化され表現力豊かな配列理論を使用していますが、機能モデルの一般性の一部を犠牲にし、バージョン 6 で配列理論を修正しました。現在利用できるのはバージョン 6 のみです。

Nial は、すべてのデータ型をネストされた長方形配列として定義します。int、boolean、char などは、単独の配列または単一のメンバーを含む配列と見なされます。配列自体に他の配列を含めて、任意の深さの構造を形成できます。Nial はレコードも提供します。これらは、非同種配列構造として定義されます。

Nial の関数は操作と呼ばれます。Nial のマニュアルによると、「操作は、引数配列が与えられ、結果配列を返す機能オブジェクトです。引数値を与えて操作を実行するプロセスは、操作呼び出しまたは操作アプリケーションと呼ばれます。」

他のAPL派生言語と同様に、Nialでは二項演算子と演算の統一が可能です。したがって、以下の表記は同じ意味を持ちます。注:sumは同じです。+

バイナリ演算:

2 + 3
2 合計 3

配列表記:

+ [2,3]
合計 [2,3]

ストランド表記:

+ 2 3
合計 2 3

グループ表記:

+ (2 3)
合計 (2 3)

Nial は、高階関数であるトランスフォーマーも使用します。トランスフォーマーは、引数操作を使用して、新しい変更された操作を構築します。

2倍は変圧器f（ff）
2回休む [4, 5, 6, 7, 8]
|6 7 8

^[2] Nial のアトラスは、コンポーネント操作の配列で構成される操作です。アトラスが値に適用されると、アトラスの各要素が順番に値に適用され、結果が提供されます。これは、ポイントフリー (変数なし) スタイルの定義を提供するために使用されます。また、トランスフォーマーによっても使用されます。以下の例 'inner [+,*]' では、リスト '[+,*]' がアトラスです。

6を数える
|1 2 3 4 5 6

配列はリテラルでも構いません

配列:= [5, 6, 7, 8, 9]
|5 6 7 8 9

Shape は配列の次元を指定し、reshape は次元の形状を変更するために使用できます。

シェイプ Arr
|5

a := 2 3 形状変更 Arr
# reshapeは2つの引数を持つバイナリ演算です。プレフィックスで次のように記述することもできます。
# a := 形状変更 [[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 は reshape [ shape, across [ pass, pass, converse append ] ] です
回転 [1, 2, 3, 4]
|4 3 2 1

APLとの比較

素数はサブリスト [ each (2 = sum eachright (0 = mod) [pass,count]), pass ] rest count
素数 10
|2 3 5 7

A が B で割り切れるかどうかを調べる
is_divisible は 0 = mod [A,B] です

is_prime フィルタの定義

is_prime は 2 = それぞれを合計する右は割り切れる [pass,count]

count は配列 [1..N] を生成し、pass は N (恒等演算) です。eachright は、count で生成された配列の各要素に is_divisible (pass, element) を適用します。したがって、count で生成された配列は、N を割り切れる数が '1' に置き換えられ、その他が '0' に置き換えられた配列に変換されます。したがって、数 N が素数の場合、sum [変換された配列] は 2 (それ自体と 1) である必要があります。

残っているのは、count N を使用して別の配列を生成し、素数でないものをすべてフィルタリングすることだけです。

素数はサブリスト[各is_prime、pass]残り数

• link引数配列を結合する
• sublist[A,B] は、A で指定されたブール値のリストに従って選択された B の項目のリストを返します。このリストでは、A の対応する項目が true である B の項目を選択します。
• [A,B,C] Xでは、Fork最初の A は述語であり、A(X) が真の場合、B(X) が返され、それ以外の場合は C(X) が返されます。
• Pass配列に対する恒等演算です。

クイックソートはフォーク[ >= [1 first,tally],
   合格、
   リンク [
       クイックソートサブリスト [ < [pass, first], pass ],
       サブリスト [ 一致 [pass,first],pass ],
       クイックソートサブリスト [ > [pass,first], pass ]
   ]
]

使用方法:

クイックソート [5, 8, 7, 4, 3]
|3 4 5 7 8