ClojureとScheme

ショートカット: 違い、類似点、ジャカード類似性係数、参考文献。

ClojureとSchemeの違い

Clojure vs. Scheme

Clojure (発音は, クロージャー)は、関数型プログラミング言語であり、LISP系の言語の方言の一つである。関数型プログラミングのプログラミングスタイルでのインタラクティブな開発を支援し、マルチスレッドプログラムの開発を容易化する汎用言語である。Clojure言語のプログラムはJava仮想マシンで動作する。.NETで動作するClojureCLRも開発されている。Clojure言語は「データとしてのプログラムコード」 (英語:「code as data」) という思想で設計されており、洗練されたマクロ機構を持つ。 Scheme（スキーム）はコンピュータ・プログラミング言語 LISPの方言のひとつで、静的スコープなどが特徴である。仕様（2017年現在、改7版まで存在する）を指すこともあれば、実装を指すこともある。Schemeにより、LISP方言に静的スコープが広められた。

動的型付け

動的型付け（どうてきかたづけ、Dynamic typing）とは、値やオブジェクトの型安全性を、実行時に検証するというコンピュータプログラミングの型システムの方法である。型の検査は実行時のプロセス上で行われて、ランタイムシステムの実行時型情報（RTTI）が照会されるなどして解析される。 動的な型チェックは、代入、束縛、関数適用、ダウンキャスト、ディスパッチ、バインディングといった所で行われる。なお、コンパイル時やインタプリタ開始時の最適化によってすでに型安全性が保証されている所は省略される。動的型付けの言語では、引数や返り値や変数宣言への型注釈が省略されやすくなる。 対義語は静的型付けであり、こちらでは値やオブジェクトの型安全性をコンパイル時に検証する。型の検査はソースコードの解析によって行われる。

Clojureと動的型付け · Schemeと動的型付け · 続きを見る »

Common Lisp

Common Lisp（コモン・リスプ）は、コンピュータ・プログラミング言語 Lispの標準（の、ひとつ）であり、Lisp方言のひとつでもある。Common Lispの略称はCLごくまれにclispとも。なおCLISPという実装が実在するので混同回避のためあまり用いられない。規格はANSIによる ANSI INCITS 226-1994 (S2018)。仕様を指すこともあれば、実装を指すこともある。いくつかの、フリーソフトウェアの定義に合致したライセンスによりライセンスされている実装や、オープンソースの定義に合致したライセンスによりライセンスされている実装や、プロプライエタリなライセンスによりライセンスされている実装がある。

ClojureとCommon Lisp · Common LispとScheme · 続きを見る »

Haskell

Haskell（ハスケル）は非正格な評価を特徴とする純粋関数型プログラミング言語である。名称は数学者であり論理学者であるハスケル・カリーに由来する。

ClojureとHaskell · HaskellとScheme · 続きを見る »

Java

Java（ジャバ、ジャヴァ）は、汎用プログラミング言語とソフトウェアプラットフォームの双方を指している総称ブランドである。オラクルおよびその関連会社の登録商標である。1996年にサン・マイクロシステムズによって市場リリースされ、2010年に同社がオラクルに吸収合併された事によりJavaの版権もそちらに移行した。 プログラミング言語Javaは、C++に類似の構文、クラスベースのオブジェクト指向、マルチスレッド、ガベージコレクション、コンポーネントベース、分散コンピューティングといった特徴を持ち、平易性重視のプログラム書式による堅牢性と、仮想マシン上での実行によるセキュリティ性およびプラットフォーム非依存性が理念とされている。

ClojureとJava · JavaとScheme · 続きを見る »

Java仮想マシン

ネイティブコードに変換されて実行される。Java APIとJVMの両者でJava実行環境（JRE）を構成する。 Java仮想マシン（ジャバかそうマシン、、Java VM、JVM）は、Javaバイトコードとして定義された命令セットを実行するスタック型の仮想マシン。APIやいくつかのツールとセットでJava実行環境（JRE）としてリリースされている。この環境を移植することで、さまざまな環境でJavaのプログラムを実行することができる。

ClojureとJava仮想マシン · Java仮想マシンとScheme · 続きを見る »

LISP

LISP（リスプ）は、関数型プログラミング言語である。 によって記述される。-->S式と前置記法などが特徴である。 1958年秋から開発を始め、1960年3月にLISP Iのマニュアルが書かれ、1960年4月に初めて論文発表されたLISPは、現在でも広範囲に使用されている高水準プログラミング言語の中ではFORTRAN、COBOLに次いで3番目に古い（世界で3番目に作られたプログラミング言語という意味では無く、他の言語が使われなくなったという意味）。 これまでに多数の方言が存在してきたが、今日広く使われているLISP方言は、Common Lisp、Scheme、Clojureなどである。

ClojureとLISP · LISPとScheme · 続きを見る »

方言 (プログラミング言語)

プログラミング言語における方言（ほうげん）は、自然言語の方言と同様に、基本的な文法や機能を共通しながら細かい振る舞いに差違の見られる類縁言語の事をいう。ただし、外部ライブラリにより機能の拡張を行なう場合は、他の方言でも同様に拡張が可能なので方言とは言われない。多くの場合ライブラリは複数の方言に対応し、差違を吸収できるように作られている。また、Pascal、Modula、Modula-2、あるいはC言語とC++のように進化の過程で言語的な能力を変化させたものはたとえ類縁関係にあっても方言とは言われない。 方言とはある言語の中のバリエーションの一つのことである。どれだけマイナーな言語であろうとプログラミング言語全体が方言と呼ばれることはない。これは自然言語の方言と同じ考え方である。例えば日本語という言語の中に津軽弁や大阪弁があり、それらが方言である。これに当てはめると、Perl、Ruby、Pythonは方言ではなく言語であり、Rubyの実装であるJRubyやIronRuby特有の違いが方言となる。方言はある言語に多数の実装が存在し、それらに完全な互換性がないことで生まれる。一個人、一企業、一団体が独占しているようなものは、多数の実装が存在するわけではないため原則として方言は発生しない。プログラミング言語ではないが方言が多い例としてPOSIXコマンドがある。これらは多数の実装が存在しており、POSIXで標準化されている範囲内においてもそれぞれに微妙な違いがあるため方言がきついと言われている。

Clojureと方言 (プログラミング言語) · Schemeと方言 (プログラミング言語) · 続きを見る »