F SharpとPureScript

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

F SharpとPureScriptの違い

F Sharp vs. PureScript

F#（エフ シャープ）はマイクロソフトが開発した.NET向けのマルチパラダイムプログラミング言語である。Visual Studio 2010より標準開発言語として追加された。 PureScriptは、JavaScriptにコンパイルされる純粋関数型プログラミング言語である。Webアプリケーション、サーバサイドアプリケーション、Electronを使用したデスクトップアプリケーションの開発に使用できる。構文はHaskellとほぼ同等。また、や拡張可能なレコードを導入している。また、Haskellとは異なり、PureScriptは正格評価を採用している。

型システム

型システム（かたシステム、type system）は、コンピュータプログラミングの数々の構成要素および値に対して、型（type）と呼ばれる特性を付与するための数々の規則群から成立している形式体系である。型の付与は、型付け（typing）と言われる。例えば、変数・式・関数・モジュール・オブジェクトなどが型の付与対象になり、それらの型付け要素を規則的な関係でまとめたデータ構造にも型は付与されてカテゴライズされる。 型システムの目的は、プログラムエラーとバグの発生を抑止することである。そのための型安全性とは、各計算および各オペレーションでの型エラー（不正計算、ロジックエラー、バッファオーバーフロー、不正ポインタなど）の発生を防止することと同義になる。

F Sharpと型システム · PureScriptと型システム · 続きを見る »

型推論

型推論（かたすいろん、type inference）とはプログラミング言語の機能の1つで、静的な型付けを持つ言語において、変数や関数シグネチャの型を明示的に宣言しなくても、変数宣言における初期化のための初期値や、関数呼び出しにおける実引数などといった、周辺情報および文脈などから自動的に（暗黙的に）各々の型を決定する機構のこと。言語によってはtype deductionと呼ばれることもある。 推論に失敗するとその時点でエラーを報告できるため、少なくとも誤った型を用いることによるバグは回避できる。また、アルゴリズムの記述に集中できるのでプログラムの抽象度が上がるというメリットもある。型名が長大な場合に、型推論による省略によってコード全体の見通しをよくすることにもつながるが、一方で統合開発環境による支援（コードエディター上のツールチップなど）が得られない環境では、一見して型が分からないことでコードレビューがしにくくなるというデメリットもある。

F Sharpと型推論 · PureScriptと型推論 · 続きを見る »

関数型プログラミング

関数型プログラミング（かんすうがたプログラミング、functional programming）とは、数学的な意味での関数を主に使うプログラミングのスタイルである。 functional programming は、関数プログラミング（かんすうプログラミング）などと訳されることもある。 （functional programming language）とは、関数型プログラミングを推奨しているプログラミング言語である。略して関数型言語（functional language）ともいう。

F Sharpと関数型プログラミング · PureScriptと関数型プログラミング · 続きを見る »