English프랑스어스페인어

온웍스 파비콘

Windows용 koka 다운로드

koka Windows 앱을 무료로 다운로드하여 Ubuntu 온라인, Fedora 온라인 또는 Debian 온라인에서 온라인 win Wine을 실행하십시오.

최신 릴리스를 v2.4.0.zip으로 다운로드할 수 있는 koka라는 Windows 앱입니다. 워크스테이션용 무료 호스팅 제공업체인 OnWorks에서 온라인으로 실행할 수 있습니다.

OnWorks와 함께 koka라는 이 앱을 무료로 다운로드하여 온라인에서 실행하십시오.

이 앱을 실행하려면 다음 지침을 따르세요.

- 1. 이 애플리케이션을 PC에 다운로드했습니다.

- 2. 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX에 원하는 사용자 이름을 입력합니다.

- 3. 이러한 파일 관리자에서 이 응용 프로그램을 업로드합니다.

- 4. 이 웹사이트에서 모든 OS OnWorks 온라인 에뮬레이터를 시작하지만 더 나은 Windows 온라인 에뮬레이터를 시작합니다.

- 5. 방금 시작한 OnWorks Windows OS에서 원하는 사용자 이름으로 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX로 이동합니다.

- 6. 애플리케이션을 다운로드하여 설치합니다.

- 7. Linux 배포 소프트웨어 저장소에서 Wine을 다운로드합니다. 설치가 완료되면 앱을 두 번 클릭하여 Wine과 함께 실행할 수 있습니다. 인기 있는 Windows 프로그램 및 게임을 설치하는 데 도움이 되는 Wine을 통한 멋진 인터페이스인 PlayOnLinux를 사용해 볼 수도 있습니다.

Wine은 Linux에서 Windows 소프트웨어를 실행하는 방법이지만 Windows가 필요하지 않습니다. Wine은 모든 Linux 데스크탑에서 직접 Windows 프로그램을 실행할 수 있는 오픈 소스 Windows 호환성 계층입니다. 본질적으로 Wine은 Windows가 필요하지 않고 모든 Windows 응용 프로그램을 실행할 수 있도록 Windows를 처음부터 충분히 다시 구현하려고 합니다.

스크린 샷

Ad


코우


기술

Koka는 효과 유형과 핸들러가 있는 강력한 유형의 기능적 스타일 언어입니다. Koka의 핵심은 일류 함수, 다형성 유형 및 효과 시스템, 대수 데이터 유형 및 효과 처리기와 같이 잘 연구된 언어 기능의 작은 집합으로 구성됩니다. 이들 각각은 구성 가능하며 가능한 한 일반적이기 때문에 "특별한" 확장을 추가하지 않아도 됩니다. Koka는 순수하고 효과적인 계산이 구별되는 해당 유형의 모든 함수의 (부수) 효과를 추적합니다. 정확한 효과 유형 지정은 잘 연구된 범주 이론에 의해 뒷받침되는 Koka의 견고한 의미 체계를 제공하므로 Koka는 인간과 컴파일러 모두가 특히 쉽게 추론할 수 있습니다. 효과 핸들러를 사용하면 예외, 비동기/대기 또는 확률적 프로그램과 같은 고급 제어 추상화를 입력되고 구성 가능한 방식으로 사용자 라이브러리로 정의할 수 있습니다. Perceus는 참조 카운팅을 위한 고급 컴파일 방법입니다.



기능

  • Koka 설치 및 첫 번째 프로그램 컴파일
  • Koka의 핵심은 잘 연구된 언어 기능의 작은 집합으로 구성됩니다.
  • Koka는 효과 유형 및 핸들러가 있는 강력한 유형의 기능적 스타일 언어입니다.
  • 언어 컴파일러 및 인터프리터
  • Perceus는 참조 카운팅을 위한 고급 컴파일 방법입니다.
  • Koka는 해당 유형의 모든 기능의 (부수) 효과를 추적합니다.


프로그래밍 언어

하스켈


카테고리

컴파일러

이것은 https://sourceforge.net/projects/koka.mirror/에서도 가져올 수 있는 애플리케이션입니다. 무료 운영 체제 중 하나에서 가장 쉬운 방법으로 온라인으로 실행하기 위해 OnWorks에서 호스팅되었습니다.


무료 서버 및 워크스테이션

Windows 및 Linux 앱 다운로드

  • 1
    AstrOrzPlayer
    AstrOrzPlayer
    AstrOrz Player는 무료 미디어 플레이어입니다.
    소프트웨어, 부품은 WMP 및 VLC 기반입니다. 그만큼
    플레이어는 미니멀한 스타일로,
    XNUMX개 이상의 테마 색상과
    B ...
    AstrOrzPlayer 다운로드
  • 2
    무비스타트
    무비스타트
    Kodi Movistar+ TV는 XBMC/용 애드온입니다.
    Kodi que allowede disponer de un 유엔
    IPTV 서비스 디코더 디코더
    Movistar 통합 en uno de los
    미디어 센터 엄마...
    다운로드
  • 3
    코드 :: 블록
    코드 :: 블록
    Code::Blocks는 무료 오픈 소스입니다.
    크로스 플랫폼 C, C++ 및 Fortran IDE
    가장 까다로운 요구 사항을 충족하도록 제작
    사용자의. 그것은 매우 설계
    연장...
    다운로드 코드::블록
  • 4
    가운데
    가운데
    고급 Minecraft 인터페이스 중 또는 고급
    데이터/구조 추적은
    Minecraft 개요 표시
    실제로 생성하지 않고 그것
    할 수있다 ...
    가운데 다운로드
  • 5
    엠시스2
    엠시스2
    MSYS2는 도구 모음이며
    당신에게 제공하는 도서관
    구축을 위한 사용하기 쉬운 환경,
    기본 Windows 설치 및 실행
    소프트웨어. 그것은 콘 ...
    MSYS2 다운로드
  • 6
    libjpeg 터보
    libjpeg 터보
    libjpeg-turbo는 JPEG 이미지 코덱입니다.
    SIMD 명령어(MMX, SSE2,
    NEON, AltiVec) 기준 가속
    JPEG 압축 및 압축 해제
    x86, x8...
    libjpeg-turbo 다운로드
  • 더»

Linux 명령

Ad