英語フランス語スペイン語

OnWorksファビコン

Windows用のkokaダウンロード

Ubuntu オンライン、Fedora オンライン、または Debian オンラインでオンライン Win Wine を実行するには、koka Windows アプリを無料でダウンロードしてください

これは 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 でホストされています。


無料のサーバーとワークステーション

Windows と Linux のアプリをダウンロード

Linuxコマンド

Ad