LazyK

ウィキペディア

Lazy K

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/12/28 14:35 UTC 版)

Lazy K

パラダイム	純粋関数型言語
型付け	なし
主な処理系	lazy
影響を受けた言語	Unlambda
ウェブサイト	[1]
拡張子	.lazy

Lazy K（れいじーけー）は組み込み関数が3つしかない、純粋関数型言語である。似た言語として、同じような表記をする、非純粋関数型言語であるUnlambdaがある。

概要

純粋関数型言語として、チューリング完全でありながら、絶対必要なエッセンスだけを抜き出したプログラミング言語である。遅延評価を行う。使用するにも、処理系を実装するにも、コンビネータ論理の知識が必要である。

標準入力をプログラムである関数の引数として受け取る。ただし、標準入力は1バイトごとのチャーチ数のスコットエンコードされたリストとしてエンコードされ、出力も同様に1バイトごとのチャーチ数のスコットエンコードされたリストとなる。

Lazy K にて Unlambda を実装した場合、Unlambda で Unlambda を実装した場合に比べて約1/10のソースサイズで収まる。

組み込み関数

Haskell の表記法を用いる。

• I x = x
• K x y = x
• S x y z = (x z) (y z)

なお、I は S と K を用いて I = SKK と表せる。

Iota 記法では、i=λx.xSK=S(SI(KS))(KK) を唯一の組み込み関数として使用する。

表記法

ソースコードの表記方法として、4種類用意されている。それらを混在させてコーディングすることができる。

• コンビネータ算法様式 - SI(K(KI))
• Unlambda様式 - ``si`k`ki
• Iota様式
• Jot様式

外部リンク

• The Lazy K Programming Language
• 翻訳:プログラミング言語 Lazy K

Weblio日本語例文用例辞書

「Lazy K」の例文・使い方・用例・文例

• まもなく当機はJFK国際空港に到着します
• 彼は最終ラウンドでKOされた
• それは私にはOKです
• Colby KentがHeidi Petersに連絡をした理由
• 今年は、Kate Kapurと私がこのイベントを担当します。
• もしお手伝いしてくださるようでしたら、Kateと私の両方に4 月25 日までにお知らせください。
• Ken Sternは、10日の午前中は連絡が取れる。
• Ken Sternは、10月10日は終日いない。
• 詳細は、Mauer不動産のKim Yoshida、832-2938までご連絡ください。
• Kim Yoshidaを紹介すること。
• Kate Herseyは、ダイエットと健康に関して、国内でナンバーワンのカリスマ的指導者としての評判を得ている。
• この本は、それぞれにテーマを持つ、いくつかのセクションに分かれており、読みやすく有益で、Kate Herseyという人物の特徴である、影響力のある表現力とユーモアにあふれている。
• ケーキ作りの専門家で、10 番通りにあるChristy’s CakesのオーナーのChristy Kundstが、春の新講座を指導します。
• Bradfordさんが受け取るはずだった商品は、Anne Keeganさんからの贈り物のご注文でした。
• CQ、CQ、こちらはKA6J36です。
• KKKは最も有力な反黒人団体の1つであった。
• 彼らはAKB48についてぺちゃくちゃとしゃべり続けた。
• 3K労働は敬遠されがちです。
• KJ法でアイディアを出し、問題解決に導く。
• 我社のKPIを検討します。