A Dependently Typed Functional Programming Language
வெளியீட்டாளரின் விளக்கம் (ஆங்கிலம்)
idris என்றால் என்ன?
idris, IDE மற்றும் கோட் எடிட்டர்கள் பிரிவைச் சேர்ந்த ஒரு ஓப்பன் சோர்ஸ் Windows மென்பொருள்.
நிறுவலும் தேவைகளும்
வெளியீட்டாளர் 64-பிட் Windows-க்கு போர்ட்டபிள் வடிவில் நிறுவிகளை வழங்குகிறார். முதன்மை நிறுவியின் அளவு 1 KB. இதை நிறுவாமலேயே இயக்கலாம் (போர்ட்டபிள்).
பிரபலமும் கோப்பு வகைகளும்
இதன் Chocolatey தொகுப்பு 2,068 முறை பதிவிறக்கப்பட்டுள்ளது. இதைப் போன்ற மென்பொருள்கள்: OpenCode, RStudio மற்றும் Node.js (LTS).
நிறைகள் / குறைகள்
நிறைகள்
- ஓப்பன் சோர்ஸ்: குறியீட்டை யார் வேண்டுமானாலும் பார்க்கலாம், பில்ட் செய்யலாம்
- போர்ட்டபிள்: நிறுவல் தேவையில்லை
- சிறிய பதிவிறக்கம் (1 KB)
குறைகள்
- நேட்டிவ் ARM64 பதிப்பு இல்லை
- கடைசிச் சோதனையில் அதிகாரப்பூர்வ பதிவிறக்க இணைப்பு பதிலளிக்கவில்லை
சுருக்கமாக: idris ஒரு 64-பிட் கணினிகளுக்கான ஓப்பன் சோர்ஸ் IDE மற்றும் கோட் எடிட்டர்கள் பிரிவுக் கருவி.
idris பதிவிறக்கம் பாதுகாப்பானதா?
- கோப்பை வழங்குவது neon.se; இது வெளியீட்டாளரின் அதிகாரப்பூர்வ மிரர்தானா என்பதைச் சரிபாருங்கள்
- பதிவிறக்க இணைப்பு HTTPS பயன்படுத்துகிறது
- SHA256 ஹாஷ் வெளியிடப்பட்டுள்ளது, எனவே கோப்பைச் சரிபார்க்கலாம்:
9AE353D6F4B50E30AB7EC658803D6719C70EF6182AA47E779EE647EC3ADB1FF5· இந்த ஹாஷுக்கான VirusTotal அறிக்கையைத் திறக்கவும் - கடைசியாகச் சரிபார்த்தபோது இணைப்பு பதிலளிக்கவில்லை (26 அக்டோபர், 2026)
- மூலக் குறியீடு பொதுவில் கிடைக்கிறது
- ExeAtlas நிறுவிகளைச் சேமிப்பதோ, சுற்றிக் கட்டுவதோ, மாற்றுவதோ இல்லை
தொடர்புடைய வழிகாட்டி: Windows-இல் கோப்பின் SHA256 ஹாஷைச் சரிபார்ப்பது எப்படி
அண்மைப் பதிப்புகள்
அனைத்து 1 பதிப்புகளும் ›| பதிப்பு | தேதி | அளவு | கோப்புகள் |
|---|---|---|---|
| 1.3.3சமீபத்தியது | 1 KB | 64-பிட் ZIP |
கமாண்ட் லைன் மூலம் நிறுவுதல்
சைலண்ட் இன்ஸ்டால் ›choco install idris -yscoop install main/idrisமென்பொருள் கோப்புகள் (.exe): idris.exe
தொடர்புடைய வழிகாட்டி: winget பயன்படுத்துவது எப்படி: நிறுவல், புதுப்பிப்பு
தகவல்
- பிரிவு
- IDE மற்றும் கோட் எடிட்டர்கள்
- உரிமம்
- BSD-3-Clause
- விலை
- இலவசம்
- மூலக் குறியீடு
- github.com
- தேவை
- Windows 11 / 10
- கட்டமைப்பு
- 64-பிட்
- நிறுவி வகை
- போர்ட்டபிள்
- பதிப்பு
- 1.3.3
- பட்டியலில் உள்ள பதிப்புகள்
- 1
- Chocolatey பதிவிறக்கங்கள்
- 2,068
- இணையதளம்
- idris-lang.org
- Chocolatey தொகுப்பு
- idris
- Scoop தொகுப்பு
- main/idris
மதிப்பீடுகளும் விமர்சனங்களும்
இன்னும் விமர்சனங்கள் இல்லை. முதலில் மதிப்பிடுபவராக நீங்கள் இருங்கள்.
idris மாற்று மென்பொருள்கள்
அனைத்தையும் பார்க்க ›-
ஓப்பன் சோர்ஸ்285.2ஆ ↓ -
ஓப்பன் சோர்ஸ்705.1ஆ ↓ -
ஓப்பன் சோர்ஸ்4.9மி ↓ -
ஓப்பன் சோர்ஸ்88.8ஆ ↓ -
ஓப்பன் சோர்ஸ்49.7ஆ ↓ -
ஓப்பன் சோர்ஸ்136.7ஆ ↓ -
ஓப்பன் சோர்ஸ்394.5ஆ ↓ -
ஓப்பன் சோர்ஸ்94.6ஆ ↓
அடிக்கடி கேட்கப்படும் கேள்விகள்
idris இலவசமா?
ஆம். idris ஒரு ஓப்பன் சோர்ஸ் மென்பொருள் (BSD-3-Clause உரிமம்).
idris பதிவிறக்கம் பாதுகாப்பானதா?
கோப்பு neon.se தளத்திலிருந்து வருகிறது. ExeAtlas கோப்பைச் சேமிப்பதோ மாற்றுவதோ இல்லை. இங்கே காட்டப்பட்டுள்ள SHA256 ஹாஷுடன் அதை ஒப்பிடுங்கள், அல்லது அந்த ஹாஷுக்கான VirusTotal அறிக்கையைத் திறந்து பாருங்கள்.
idris ARM (Windows on Arm) கணினிகளில் இயங்குமா?
ARM64 பதிப்பு இல்லை; Windows 11 on Arm எமுலேஷன் மூலம் 64-பிட் பதிப்பை இயக்க முடியும்.
நிர்வாகி உரிமைகள் இல்லாமல் idris பயன்படுத்த முடியுமா?
ஆம், இது போர்ட்டபிள்: பிரித்தெடுத்து (unzip) நேரடியாக இயக்கலாம்.
idris மென்பொருளுக்கு மாற்றுகள் என்ன?
OpenCode, RStudio, Node.js (LTS), Apache NetBeans மற்றும் Haxe. மாற்றுகள் பக்கத்தில் இவை ஒப்பிடப்பட்டுள்ளன.
