これは koka という名前の Windows アプリで、最新リリースは v2.4.0.zip としてダウンロードできます。 ワークステーション用の無料ホスティング プロバイダー OnWorks でオンラインで実行できます。
OnWorks を使用してこの koka という名前のアプリをオンラインで無料でダウンロードして実行します。
このアプリを実行するには、次の手順に従ってください。
-1。このアプリケーションをPCにダウンロードしました。
--2。ファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXに必要なユーザー名を入力します。
-3。このアプリケーションをそのようなファイルマネージャにアップロードします。
-4。このWebサイトからOSOnWorksオンラインエミュレーターを起動しますが、Windowsオンラインエミュレーターの方が優れています。
-5。起動したばかりのOnWorksWindows OSから、必要なユーザー名でファイルマネージャーhttps://www.onworks.net/myfiles.php?username=XXXXXにアクセスします。
-6。アプリケーションをダウンロードしてインストールします。
-7.LinuxディストリビューションソフトウェアリポジトリからWineをダウンロードします。 インストールしたら、アプリをダブルクリックして、Wineで実行できます。 また、人気のあるWindowsプログラムやゲームのインストールに役立つWine上の豪華なインターフェイスであるPlayOnLinuxを試すこともできます。
WineはLinux上でWindowsソフトウェアを実行する方法ですが、Windowsは必要ありません。 Wineは、任意のLinuxデスクトップでWindowsプログラムを直接実行できるオープンソースのWindows互換性レイヤーです。 基本的に、Wineは、実際にWindowsを必要とせずに、これらすべてのWindowsアプリケーションを実行できるように、十分な数のWindowsを最初から再実装しようとしています。
スクリーンショットは
Ad
甲賀
DESCRIPTION
Koka は、エフェクト タイプとハンドラーを備えた、強く型付けされた関数型言語です。 Koka のコアは、ファーストクラス関数、ポリモーフィック型および効果システム、代数データ型、効果ハンドラーなど、よく研究された言語機能の小さなセットで構成されています。 これらはそれぞれ構成可能であり、可能な限り一般的なものにすることで「特別な」拡張機能の追加を避けます。 Koka は、その型内のすべての関数の (副作用) 効果を追跡し、純粋な計算と効果的な計算が区別されます。 正確なエフェクト型付けにより、Koka は十分に研究されたカテゴリー理論に裏付けられた堅実なセマンティクスを提供し、人間とコンパイラの両方にとって Koka を特に推論しやすくしています。 エフェクト ハンドラーを使用すると、例外、非同期/待機、確率的プログラムなどの高度なコントロールの抽象化を、型指定された構成可能な方法でユーザー ライブラリとして定義できます。 Perceus は、参照カウントのための高度なコンパイル方法です。
特徴
- Koka をインストールして最初のプログラムをコンパイルする
- Koka の中核は、よく研究された言語機能の小さなセットで構成されています
- Koka は、エフェクトタイプとハンドラーを備えた強く型付けされた関数型言語です。
- 言語コンパイラおよびインタプリタ
- Perceus は、参照カウントのための高度なコンパイル方法です。
- Koka は、その型内のすべての関数の (副作用) 効果を追跡します。
プログラミング言語
ハスケル
カテゴリー
これは https://sourceforge.net/projects/koka.mirror/ からも取得できるアプリケーションです。 無料のオペレーティング システムの XNUMX つから最も簡単な方法でオンラインで実行できるように、OnWorks でホストされています。