Ito ang Linux app na pinangalanang Idris-dev na ang pinakabagong release ay maaaring ma-download bilang Release1.3.3sourcecode.tar.gz. Maaari itong patakbuhin online sa libreng hosting provider na OnWorks para sa mga workstation.
I-download at patakbuhin online ang app na ito na pinangalanang Idris-dev sa OnWorks nang libre.
Sundin ang mga tagubiling ito upang patakbuhin ang app na ito:
- 1. Na-download ang application na ito sa iyong PC.
- 2. Ipasok sa aming file manager https://www.onworks.net/myfiles.php?username=XXXXX kasama ang username na gusto mo.
- 3. I-upload ang application na ito sa naturang filemanager.
- 4. Simulan ang OnWorks Linux online o Windows online emulator o MACOS online emulator mula sa website na ito.
- 5. Mula sa OnWorks Linux OS na kasisimula mo pa lang, pumunta sa aming file manager https://www.onworks.net/myfiles.php?username=XXXX gamit ang username na gusto mo.
- 6. I-download ang application, i-install ito at patakbuhin ito.
MGA LALAKI
Ad
Idris-dev
DESCRIPTION
Ang Idris‑dev ay ang development na bersyon ng Idris 1, isang general-purpose functional programming language na nagtatampok ng mga full dependent na uri, na idinisenyo para sa pagsusulat ng mga program at patunay na ligtas sa uri sa loob mismo ng wika. Nag-compile ito sa C at JavaScript (para sa Node.js at mga browser), at sumusuporta sa pagbuo ng code sa pamamagitan ng mga kapalit na backend.
Mga tampok
- Mga full dependent na uri na nagpapahintulot sa mga value na lumabas sa mga uri
- Pagsusuri ng kabuuan upang matiyak na kumpleto at nagtatapos ang mga pag-andar
- Mga generator ng code para sa C at JavaScript (browser at Node.js)
- Sinusuportahan ang mga panlabas na backend (hal., JVM, CIL, LLVM) sa pamamagitan ng mga kontribusyon sa komunidad
- Malakas na pag-unlad na hinihimok ng uri na inspirasyon ng mga patunay na katulong tulad ng Agda at Coq
- Aktibong pinananatili kasabay ng pag-unlad ng Idris 2
Wika ng Programming
Haskell
Kategorya
Ito ay isang application na maaari ding makuha mula sa https://sourceforge.net/projects/idris-dev.mirror/. Na-host ito sa OnWorks upang mapatakbo online sa pinakamadaling paraan mula sa isa sa aming mga libreng Operative System.
