Ito ang Linux app na pinangalanang Idris 2 na ang pinakabagong release ay maaaring ma-download bilang Version0.6.0.zip. 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 2 gamit ang 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 2
DESCRIPTION
Sa pag-unlad na hinihimok ng uri, ang mga uri ay mga tool para sa pagbuo ng mga programa. Itinuturing namin ang uri bilang plano para sa isang programa, at ginagamit namin ang compiler at type checker bilang aming katulong, na ginagabayan kami sa isang kumpletong program na nakakatugon sa uri. Kung mas expressive ang tipong sumusuko tayo sa harap, mas magkakaroon tayo ng kumpiyansa na magiging tama ang resultang programa. Sa Idris, ang mga uri ay mga first-class na konstruksyon sa wika. Nangangahulugan ito na ang mga uri ay maaaring ipasa bilang mga argumento sa mga function, at ibalik mula sa mga function tulad ng anumang iba pang value, gaya ng mga numero, string, o listahan. Ito ay isang maliit ngunit makapangyarihang ideya, na nagbibigay-daan sa mga relasyon na maipahayag sa pagitan ng mga halaga; halimbawa, ang dalawang listahan ay may parehong haba. Ang mga pagpapalagay na gagawing tahasan at suriin ng compiler. Halimbawa, kung ipagpalagay mo na walang laman ang isang listahan, matitiyak ni Idris na laging nananatili ang pagpapalagay na ito bago patakbuhin ang programa.
Mga tampok
- kung ninanais, ang mga katangian ng pag-uugali ng programa ay pormal na ipahayag at mapapatunayan
- Ang mga uri ay mga first-class na konstruksyon sa wika
- Ang Idris ay isang programming language na idinisenyo upang hikayatin ang Type-Driven Development
- Tinatrato namin ang uri bilang plano para sa isang programa
- Gamitin ang compiler at type checker bilang katulong
- Ang mga uri ay maaaring ipasa bilang mga argumento sa mga function
Wika ng Programming
C
Kategorya
Ito ay isang application na maaari ding makuha mula sa https://sourceforge.net/projects/idris-2.mirror/. Na-host ito sa OnWorks upang mapatakbo online sa pinakamadaling paraan mula sa isa sa aming mga libreng Operative System.
