Idris-dev라는 이름의 리눅스 앱으로, 최신 릴리스는 Release1.3.3sourcecode.tar.gz 형식으로 다운로드할 수 있습니다. 워크스테이션용 무료 호스팅 제공업체인 OnWorks에서 온라인으로 실행할 수 있습니다.
OnWorks가 포함된 Idris-dev라는 앱을 무료로 다운로드하여 온라인에서 실행해보세요.
이 앱을 실행하려면 다음 지침을 따르세요.
- 1. 이 애플리케이션을 PC에 다운로드했습니다.
- 2. 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX에 원하는 사용자 이름을 입력합니다.
- 3. 이러한 파일 관리자에서 이 응용 프로그램을 업로드합니다.
- 4. 이 웹사이트에서 OnWorks Linux 온라인 또는 Windows 온라인 에뮬레이터 또는 MACOS 온라인 에뮬레이터를 시작합니다.
- 5. 방금 시작한 OnWorks Linux OS에서 원하는 사용자 이름으로 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX로 이동합니다.
- 6. 응용 프로그램을 다운로드하여 설치하고 실행합니다.
스크린샷:
이드리스-데브
설명 :
Idris‑dev는 Idris 1의 개발 버전으로, 완전한 종속 타입을 지원하는 범용 함수형 프로그래밍 언어로, 언어 자체 내에서 타입 안전 프로그램과 증명을 작성하도록 설계되었습니다. C 및 JavaScript(Node.js 및 브라우저용)로 컴파일되며, 대체 백엔드를 통한 코드 생성을 지원합니다.
기능
- 값이 유형에 나타날 수 있도록 하는 전체 종속 유형
- 기능이 완료되고 종료되었는지 확인하기 위한 전체성 검사
- C 및 JavaScript(브라우저 및 Node.js)용 코드 생성기
- 커뮤니티 기여를 통해 외부 백엔드(예: JVM, CIL, LLVM)를 지원합니다.
- Agda 및 Coq와 같은 증명 지원 도구에서 영감을 받은 강력한 유형 기반 개발
- Idris 2 개발과 병행하여 활발하게 유지 관리됨
프로그래밍 언어
하스켈
카테고리
이 애플리케이션은 https://sourceforge.net/projects/idris-dev.mirror/에서도 다운로드할 수 있습니다. OnWorks에 호스팅되어 무료 운영 체제 중 하나에서 가장 쉽게 온라인에서 실행할 수 있습니다.