A Dependently Typed Functional Programming Language
ထုတ်ဝေသူ၏ ဖော်ပြချက် (အင်္ဂလိပ်)
idris ဆိုတာ ဘာလဲ
IDE နှင့် code editor များ အမျိုးအစားတွင် ပါဝင်သော idris သည် ပွင့်လင်းရင်းမြစ် Windows ဆော့ဖ်ဝဲ ဖြစ်ပါသည်။
ထည့်သွင်းခြင်းနှင့် လိုအပ်ချက်များ
ထုတ်ဝေသူသည် 64-bit Windows အတွက် Portable installer များကို ပေးထားပါသည်။ ပင်မ installer ၏ အရွယ်အစားမှာ ၁ KB ဖြစ်ပါသည်။ ထည့်သွင်းစရာမလိုဘဲ တိုက်ရိုက် run နိုင်ပါသည် (portable)။
လူကြိုက်များမှုနှင့် ဖိုင်အမျိုးအစားများ
Chocolatey package ကို ၂,၀၆၈ ကြိမ် ဒေါင်းလုဒ်လုပ်ထားပါသည်။ ဆင်တူသော ပရိုဂရမ်များတွင် OpenCode၊ RStudio နှင့် Node.js (LTS) ပါဝင်ပါသည်။
အားသာချက်များ / အားနည်းချက်များ
အားသာချက်များ
- ပွင့်လင်းရင်းမြစ် - code ကို မည်သူမဆို စစ်ဆေး၍ build လုပ်နိုင်သည်
- Portable - ထည့်သွင်းစရာမလိုဘဲ run နိုင်သည်
- ဒေါင်းလုဒ်ဖိုင် သေးငယ်သည် (၁ KB)
အားနည်းချက်များ
- Native ARM64 build မရှိပါ
- နောက်ဆုံးစစ်ဆေးချိန်တွင် တရားဝင်ဒေါင်းလုဒ်လင့်ခ် တုံ့ပြန်ခြင်း မရှိခဲ့ပါ
အတိုချုပ်: idris သည် 64-bit ကွန်ပျူတာများအတွက် ပွင့်လင်းရင်းမြစ် IDE နှင့် code editor များ ကိရိယာ ဖြစ်ပါသည်။
idris ကို ဒေါင်းလုဒ်လုပ်ရန် လုံခြုံပါသလား
- ဖိုင်ကို neon.se မှ ပေးပို့ပါသည်။ ထုတ်ဝေသူ၏ တရားဝင် mirror ဟုတ်မဟုတ် စစ်ဆေးပါ
- ဒေါင်းလုဒ်လင့်ခ်သည် HTTPS ကို အသုံးပြုပါသည်
- SHA256 hash ထုတ်ပြန်ထားသဖြင့် ဖိုင်ကို စစ်ဆေးနိုင်ပါသည်:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· ဤ hash ၏ VirusTotal အစီရင်ခံစာကို ဖွင့်ပါ - နောက်ဆုံးစစ်ဆေးချိန် (၂၀၂၆ အောက်တိုဘာ ၂၆) တွင် လင့်ခ် တုံ့ပြန်ခြင်း မရှိခဲ့ပါ
- Source code ကို အများပြည်သူ ကြည့်နိုင်ပါသည်
- ExeAtlas သည် installer များကို မသိမ်းဆည်း၊ မထုပ်ပိုး၊ မပြင်ဆင်ပါ
ဆက်စပ် လမ်းညွှန်: Windows တွင် ဖိုင်၏ SHA256 hash စစ်ဆေးနည်း
မကြာသေးမီ ဗားရှင်းများ
ဗားရှင်း ၁ ခုလုံး ›| ဗားရှင်း | ရက်စွဲ | အရွယ်အစား | ဖိုင်များ |
|---|---|---|---|
| 1.3.3နောက်ဆုံး | ၁ KB | 64-bit ZIP |
Command line မှ ထည့်သွင်းခြင်း
အသံတိတ်ထည့်သွင်းခြင်း ›choco install idris -yscoop install main/idrisပရိုဂရမ်ဖိုင်များ (.exe): idris.exe
ဆက်စပ် လမ်းညွှန်: winget အသုံးပြုနည်း - ပရိုဂရမ် ထည့်သွင်းခြင်းနှင့် အပ်ဒိတ်
အချက်အလက်
- အမျိုးအစား
- IDE နှင့် code editor များ
- လိုင်စင်
- BSD-3-Clause
- စျေးနှုန်း
- အခမဲ့
- Source code
- github.com
- လိုအပ်ချက်
- Windows 11 / 10
- Architecture
- 64-bit
- Installer အမျိုးအစား
- Portable
- ဗားရှင်း
- 1.3.3
- စာရင်းရှိ ဗားရှင်းများ
- 1
- Chocolatey ဒေါင်းလုဒ်
- ၂,၀၆၈
- ဝဘ်ဆိုက်
- idris-lang.org
- Chocolatey package
- idris
- Scoop package
- main/idris
အဆင့်သတ်မှတ်ချက်နှင့် သုံးသပ်ချက်များ
သုံးသပ်ချက် မရှိသေးပါ။ ပထမဆုံး အဆင့်သတ်မှတ်သူ ဖြစ်လိုက်ပါ။
idris အစားထိုးပရိုဂရမ်များ
အားလုံးကြည့်ရန် ›-
ပွင့်လင်းရင်းမြစ် (open source)၂.၉ သိန်း ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၇.၁ သိန်း ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၄.၉ သန်း ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၈.၉ သောင်း ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၅ သောင်း ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၁.၄ သိန်း ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၃.၉ သိန်း ↓ -
ပွင့်လင်းရင်းမြစ် (open source)၉.၅ သောင်း ↓
မေးလေ့ရှိသောမေးခွန်းများ
idris သည် အခမဲ့လား
ဟုတ်ပါသည်။ idris သည် ပွင့်လင်းရင်းမြစ် ဆော့ဖ်ဝဲ ဖြစ်ပါသည် (BSD-3-Clause လိုင်စင်)။
idris ကို ဒေါင်းလုဒ်လုပ်ရန် လုံခြုံပါသလား
ဒေါင်းလုဒ်ကို neon.se မှ ရယူပါသည်။ ExeAtlas သည် ဖိုင်ကို မသိမ်းဆည်း၊ မပြောင်းလဲပါ။ ဖိုင်၏ SHA256 hash ကို ဤနေရာတွင် ပြထားသော hash နှင့် နှိုင်းယှဉ်ပါ သို့မဟုတ် ထို hash ၏ VirusTotal အစီရင်ခံစာကို ဖွင့်ကြည့်ပါ။
idris သည် ARM (Windows on Arm) တွင် အလုပ်လုပ်ပါသလား
ARM64 build မရှိပါ။ Windows 11 on Arm သည် 64-bit ဗားရှင်းကို emulation ဖြင့် run နိုင်ပါသည်။
idris ကို Administrator ခွင့်မပါဘဲ သုံးနိုင်ပါသလား
သုံးနိုင်ပါသည်။ Portable ဖြစ်သဖြင့် ဖြည်ပြီး run ရုံသာ ဖြစ်ပါသည်။
idris အစား ဘာတွေ သုံးနိုင်သလဲ
OpenCode၊ RStudio၊ Node.js (LTS)၊ Apache NetBeans နှင့် Haxe။ အစားထိုးပရိုဂရမ်များ စာမျက်နှာတွင် ၎င်းတို့ကို နှိုင်းယှဉ်ထားပါသည်။
