これはcore.typedという名前のWindowsアプリで、最新リリースはcore.typed-pom-0.8.0-alpha2sourcecode.tar.gzとしてダウンロードできます。ワークステーション向けの無料ホスティングプロバイダーであるOnWorksでオンラインで実行できます。
OnWorks を使用して、core.typed というアプリを無料でダウンロードし、オンラインで実行します。
このアプリを実行するには、次の手順に従ってください。
-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
コア.typed
DESCRIPTION
core.typed は Clojure のオプションの静的型システムであり、型宣言、型チェック、型推論といった段階的型付け機能を提供します。開発時の型付けチェックと実行時の型付けのためのモジュールをサポートしていますが、Clojure 1.11 以降は Typed Clojure が推奨されるため非推奨となっています。
オプション
- Clojure の型注釈を使用したオプションの静的型チェック
- 開発用(チェッカー)とランタイム用(runtime.jvm)に別々のモジュールを提供します
- 名前空間に注釈を付けたりチェックしたりするためのマクロと関数を提供します (check-ns など)
- JVM Clojure をサポートし、計画中だがリリースされていない JS ターゲット (analyzer.js、checker.js) もサポートします。
- Clojure で JavaScript のような段階的な型付け環境を容易に実現します
- 動的コードベースでの型安全性の向上を推奨するが、採用は限られている
カテゴリー
このアプリケーションは、https://sourceforge.net/projects/core-typed.mirror/ からも入手できます。OnWorks でホストされているため、無料のオペレーティングシステムから最も簡単にオンラインで実行できます。