Bu, son sürümü Version2.zip olarak indirilebilen Idris 0.6.0 adlı Windows uygulamasıdır. İş istasyonları için ücretsiz barındırma sağlayıcısı OnWorks'te çevrimiçi olarak çalıştırılabilir.
OnWorks ile Idris 2 adlı bu uygulamayı ücretsiz indirin ve çevrimiçi ç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 herhangi bir OS OnWorks çevrimiçi öykünücüsünü başlatın, ancak daha iyi Windows çevrimiçi öykünücüsü.
- 5. Yeni başlattığınız OnWorks Windows işletim sisteminden, istediğiniz kullanıcı adıyla https://www.onworks.net/myfiles.php?username=XXXXX dosya yöneticimize gidin.
- 6. Uygulamayı indirin ve kurun.
- 7. Wine'ı Linux dağıtımları yazılım havuzlarınızdan indirin. Kurulduktan sonra, Wine ile çalıştırmak için uygulamaya çift tıklayabilirsiniz. Ayrıca, popüler Windows programlarını ve oyunlarını yüklemenize yardımcı olacak Wine üzerinden gösterişli bir arayüz olan PlayOnLinux'u da deneyebilirsiniz.
Wine, Windows yazılımını Linux üzerinde çalıştırmanın bir yoludur, ancak Windows gerektirmez. Wine, Windows programlarını doğrudan herhangi bir Linux masaüstünde çalıştırabilen açık kaynaklı bir Windows uyumluluk katmanıdır. Esasen Wine, Windows'a ihtiyaç duymadan tüm bu Windows uygulamalarını çalıştırabilmesi için yeterince Windows'u sıfırdan yeniden uygulamaya çalışıyor.
EKRAN
Ad
İdris 2
TANIM
Tip güdümlü geliştirmede, tipler program oluşturmak için kullanılan araçlardır. Türü bir programın planı olarak ele alırız ve türü karşılayan eksiksiz bir program için bize rehberlik eden yardımcımız olarak derleyiciyi ve tür denetleyiciyi kullanırız. Tip ne kadar açıklayıcı olursa, pes edersek, ortaya çıkan programın doğru olacağına o kadar güvenebiliriz. İdris'te tipler, dilde birinci sınıf yapılardır. Bu, türlerin işlevlere argüman olarak iletilebileceği ve sayılar, dizeler veya listeler gibi diğer herhangi bir değer gibi işlevlerden döndürülebileceği anlamına gelir. Bu, değerler arasındaki ilişkilerin ifade edilmesini sağlayan küçük ama güçlü bir fikirdir; örneğin, iki listenin aynı uzunluğa sahip olması. Derleyici tarafından açık hale getirilecek ve kontrol edilecek varsayımlar. Örneğin, bir listenin boş olmadığını varsayarsanız, program çalıştırılmadan önce Idris bu varsayımın her zaman geçerli olmasını sağlayabilir.
Özellikler
- istenirse, program davranışının özellikleri resmi olarak belirtilecek ve kanıtlanacak
- Türler, dilde birinci sınıf yapılardır
- Idris, Type-Driven Development'ı teşvik etmek için tasarlanmış bir programlama dilidir.
- Türü bir programın planı olarak ele alıyoruz
- Derleyiciyi ve tip denetleyiciyi asistan olarak kullanın
- Türler, işlevlere argüman olarak iletilebilir
Programlama dili
C
Kategoriler
Bu, https://sourceforge.net/projects/idris-2.mirror/ adresinden de alınabilen bir uygulamadır. Ücretsiz Operatif Sistemlerimizden birinden en kolay şekilde online olarak çalıştırılabilmesi için OnWorks üzerinde barındırılmıştır.