これはFantasyLand Specificationという名前のLinuxアプリで、最新リリースはVersion5.0.1.zipとしてダウンロードできます。 ワークステーション用の無料ホスティングプロバイダーOnWorksでオンラインで実行できます。
Fantasy LandSpecificationという名前のこのアプリをOnWorksで無料でダウンロードしてオンラインで実行します。
このアプリを実行するには、次の手順に従ってください。
-1。このアプリケーションをPCにダウンロードしました。
--2。ファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXに必要なユーザー名を入力します。
-3。このアプリケーションをそのようなファイルマネージャにアップロードします。
-4。このWebサイトからOnWorksLinuxオンラインまたはWindowsオンラインエミュレーターまたはMACOSオンラインエミュレーターを起動します。
-5。起動したばかりのOnWorksLinux OSから、必要なユーザー名でファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXにアクセスします。
-6。アプリケーションをダウンロードし、インストールして実行します。
スクリーンショットは
Ad
ファンタジーランド仕様
DESCRIPTION
このプロジェクトは、Setoid、Ord、Semigroupoid、Category、Semigroup、Monoid、Group、Filterable、Functor、Contravariant、Apply、Applicativeなどの一般的な代数構造の相互運用性を指定します。代数は値のセットであり、演算子のセットです。閉鎖され、いくつかの法律に従わなければなりません。 各ファンタジーランド代数は個別の仕様です。 代数は、実装する必要のある他の代数に依存している場合があります。 「値」は、以下に定義されている構造を持つものを含む、任意のJavaScript値です。 「同等」とは、特定の値の同等性の適切な定義です。 定義では、抽象化を尊重するプログラムでXNUMXつの値を安全に交換できるようにする必要があります。 たとえば、XNUMXつのリストは、すべてのインデックスで同等である場合は同等です。辞書として解釈されるXNUMXつのプレーンな古いJavaScriptオブジェクトは、すべてのキーで同等である場合は同等です。XNUMXつのプロミスは、同等の値を生成する場合は同等です。
特徴
- 各ファンタジーランド代数は個別の仕様です
- 特定の動作は、タイプのメンバーの観点から定義されます
- 他の行動はメンバーを必要としません
- 特定の代数は、値レベルの代表を提供するために型を必要とします
- データ型が派生可能なメソッドを提供する場合、その動作は派生の動作と同等である必要があります
- 不特定の動作に対して例外をスローすることをお勧めします
プログラミング言語
JavaScriptを
カテゴリー
これは、https：//sourceforge.net/projects/fantasy-land-spec.mirror/からも取得できるアプリケーションです。 無料のオペレーティングシステムのXNUMXつから最も簡単な方法でオンラインで実行するために、OnWorksでホストされています。
