Kent Recursive Calculatorとは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > Kent Recursive Calculatorの意味・解説 

Kent Recursive Calculator

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

KRC
パラダイム 関数型宣言型
登場時期 1981年
設計者 デビッド・ターナー
型付け 動的型付け
影響を受けた言語 SASL
影響を与えた言語 MirandaOrwell (OL)Haskell
ウェブサイト krc-lang.org
テンプレートを表示

KRC (Kent Recursive Calculator) とは、イギリス・ケント大学(University of Kent)のデビッド・ターナーによって設計・実装された単純な遅延評価方式の純粋関数型プログラミング言語である[1]1979年11月から1981年10月にかけて、EMAS オペレーティングシステム上に BCPL で実装された[2]

概要

1972年から1976年にかけてデビット・ターナーはスコットランドのセントアンドリュース大学においてSASLSt.Anrews Static Language)という言語を設計・実装し、主に教育に用いていた。ターナーがケント大学に移ってからはこの経験を生かして新たに言語を設計・実装したが、その言語がKRCKent Recursive Calculator)である[3]。KRC は1980年代にケント大学オックスフォード大学で関数型プログラミングの講義に使用された。

KRCはSASLの文法にさらに改良を加えた言語で、パターンマッチガード、等式で表現された再帰可能な関数定義、ZF 表記(リストの内包表記)を備えている。一方で、where 句は省略された。なお、変数の型が実行時に決まる動的型付け言語である。

KRC の後継言語としては Miranda である。Miranda では多相型が導入された他、KRC では省略された where 句が実装されている。

ZF 集合演算機能(ZF set abstraction)

KRCにおいてリストは遅延評価を実現するストリームとして実装されている。そのストリーム処理の延長として容易に実現できる機能としてKRCに実装されているのがツェルメロ=フレンケル集合演算機能(以下、ZF 集合演算機能と言う)である。ツェルメロ=フレンケルの公理系において、集合を内包表記で記述する場合、

この節には参考文献や外部リンクの一覧が含まれていますが、脚注によって参照されておらず、情報源が不明瞭です脚注を導入して、記事の信頼性向上にご協力ください。2018年10月

関連項目

外部リンク

公式ウェブサイト


「Kent Recursive Calculator」の例文・使い方・用例・文例

Weblio日本語例文用例辞書はプログラムで機械的に例文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「Kent Recursive Calculator」の関連用語

Kent Recursive Calculatorのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



Kent Recursive Calculatorのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのKent Recursive Calculator (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
Tanaka Corpusのコンテンツは、特に明示されている場合を除いて、次のライセンスに従います:
 Creative Commons Attribution (CC-BY) 2.0 France.
この対訳データはCreative Commons Attribution 3.0 Unportedでライセンスされています。
浜島書店 Catch a Wave
Copyright © 1995-2025 Hamajima Shoten, Publishers. All rights reserved.
株式会社ベネッセコーポレーション株式会社ベネッセコーポレーション
Copyright © Benesse Holdings, Inc. All rights reserved.
研究社研究社
Copyright (c) 1995-2025 Kenkyusha Co., Ltd. All rights reserved.
日本語WordNet日本語WordNet
日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved.
WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License
日外アソシエーツ株式会社日外アソシエーツ株式会社
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
「斎藤和英大辞典」斎藤秀三郎著、日外アソシエーツ辞書編集部編
EDRDGEDRDG
This page uses the JMdict dictionary files. These files are the property of the Electronic Dictionary Research and Development Group, and are used in conformance with the Group's licence.

©2025 GRAS Group, Inc.RSS