Bu, en son sürümü Release1.3.3sourcecode.tar.gz olarak indirilebilen Idris-dev adlı Linux uygulamasıdır. İş istasyonları için ücretsiz barındırma sağlayıcısı OnWorks'te çevrimiçi olarak çalıştırılabilir.
Idris-dev adlı bu uygulamayı OnWorks ile ücretsiz olarak çevrimiçi indirin ve çalıştırın.
Bu uygulamayı çalıştırmak için şu talimatları izleyin:
- 1. Bu uygulamayı PC'nize indirdiniz.
- 2. Dosya yöneticimize https://www.onworks.net/myfiles.php?username=XXXXX istediğiniz kullanıcı adını girin.
- 3. Bu uygulamayı böyle bir dosya yöneticisine yükleyin.
- 4. Bu web sitesinden OnWorks Linux çevrimiçi veya Windows çevrimiçi öykünücüsünü veya MACOS çevrimiçi öykünücüsünü başlatın.
- 5. Yeni başladığınız OnWorks Linux işletim sisteminden, istediğiniz kullanıcı adıyla https://www.onworks.net/myfiles.php?username=XXXXX dosya yöneticimize gidin.
- 6. Uygulamayı indirin, kurun ve çalıştırın.
EKRAN GÖRÜNTÜLERİ:
İdris-dev
AÇIKLAMA:
Idris‑dev, dilin kendi içinde tür güvenli programlar ve kanıtlar yazmak için tasarlanmış, tam bağımlı türlere sahip genel amaçlı bir fonksiyonel programlama dili olan Idris 1'in geliştirme sürümüdür. C ve JavaScript'e (Node.js ve tarayıcılar için) derlenebilir ve yedek arka uçlar aracılığıyla kod üretimini destekler.
Özellikler
- Değerlerin türlerde görünmesine izin veren tam bağımlı türler
- Fonksiyonların tamamlandığından ve sonlandırıldığından emin olmak için bütünlük kontrolü
- C ve JavaScript (tarayıcı ve Node.js) için kod üreteçleri
- Topluluk katkıları aracılığıyla harici arka uçları (örneğin JVM, CIL, LLVM) destekler
- Agda ve Coq gibi kanıt yardımcılarından ilham alan güçlü tip odaklı geliştirme
- Idris 2 geliştirmesiyle paralel olarak aktif olarak sürdürülmektedir
Programlama dili
Haskell
Kategoriler
Bu uygulama, https://sourceforge.net/projects/idris-dev.mirror/ adresinden de indirilebilir. Ücretsiz İşletim Sistemlerimizden birinden çevrimiçi olarak en kolay şekilde çalıştırılabilmesi için OnWorks'te barındırılmıştır.