Ini adalah aplikasi Linux bernama Idris-dev yang rilis terbarunya dapat diunduh sebagai Release1.3.3sourcecode.tar.gz. Aplikasi ini dapat dijalankan secara daring di penyedia hosting gratis OnWorks untuk workstation.
Unduh dan jalankan aplikasi ini secara online bernama Idris-dev dengan OnWorks secara gratis.
Ikuti petunjuk ini untuk menjalankan aplikasi ini:
- 1. Download aplikasi ini di PC Anda.
- 2. Masuk ke file manager kami https://www.onworks.net/myfiles.php?username=XXXXX dengan username yang anda inginkan.
- 3. Upload aplikasi ini di filemanager tersebut.
- 4. Jalankan emulator online OnWorks Linux atau Windows online atau emulator online MACOS dari situs web ini.
- 5. Dari OS Linux OnWorks yang baru saja Anda mulai, buka file manager kami https://www.onworks.net/myfiles.php?username=XXXXX dengan nama pengguna yang Anda inginkan.
- 6. Download aplikasinya, install dan jalankan.
Tangkapan layar
Ad
Idris-dev
DESKRIPSI
Idris‑dev adalah versi pengembangan dari Idris 1, bahasa pemrograman fungsional serbaguna yang menampilkan tipe dependen penuh, dirancang untuk menulis program dan pembuktian yang aman tipe di dalam bahasa itu sendiri. Bahasa ini dapat dikompilasi ke C dan JavaScript (untuk Node.js dan peramban), dan mendukung pembuatan kode melalui backend pengganti.
Fitur
- Tipe dependen penuh yang memungkinkan nilai muncul dalam tipe
- Pemeriksaan totalitas untuk memastikan fungsi selesai dan berakhir
- Generator kode untuk C dan JavaScript (browser dan Node.js)
- Mendukung backend eksternal (misalnya, JVM, CIL, LLVM) melalui kontribusi komunitas
- Pengembangan yang didorong oleh tipe yang kuat terinspirasi oleh asisten pembuktian seperti Agda dan Coq
- Dipelihara secara aktif secara paralel dengan pengembangan Idris 2
Bahasa Pemrograman
Haskell
KATEGORI
Ini adalah aplikasi yang juga dapat diunduh dari https://sourceforge.net/projects/idris-dev.mirror/. Aplikasi ini dihosting di OnWorks agar dapat dijalankan daring dengan cara termudah dari salah satu Sistem Operasi gratis kami.
