조에
Joe-E패러다임 | 사물을 훼손하다 |
---|---|
설계자 | 데이비드 A. 바그너, 아드리안 메틀러, 칩 모닝스타, 마크 S. 밀러 |
첫 등장 | 2004[1] |
안정적 해제 | 2.2.0a |
영향을 받은 | |
자바, E | |
영향받은 | |
카자 프로젝트 |
Joe-E는 객체 능력 규율에 따라 프로그래밍을 지원하기 위한 자바 프로그래밍 언어의 하위 집합이다.[2]
이 언어는 초기 객체 능력 하위 집합 언어로서 주목할 만하다.그것은 자바스크립트의 하위 집합인 ADsafe와 Caja/Cajita와 같은 나중의 하위 집합 언어에 영향을 주었다.
또한 방법 서명에 근거해 기능적으로 순수한 것으로 검증할 수 있도록 한 점도 눈에 띈다.[3]
Joe-E 검증자가 부과하는 제한사항은 다음과 같다.
- 클래스는 글로벌 상태를 생성하기 때문에 변경 불가능한 정적 필드를 가질 수 없다.
- 메모리 부족 예외를 탐지하는 것은 금지된다. 그렇게 하는 것은 비결정적 실행을 허용하기 때문이다.같은 이유로 조항은 허용되지 않는다.
- 표준도서관의 방법은 길들이기 규칙에 따라 안전하지 않다고 판단될 경우 차단할 수 있다.예를 들어 파일 시스템에 대한 무제한 액세스를 허용하기 때문에 생성자가 차단된다.
컵 오브 조는 커피의 속어로서, 자바에 대한 상표권 침해의 언급 역할을 한다.따라서, Joe-E라는 이름은 Java 언어의 변종을 만들기 위해 E 프로그래밍 언어의 아이디어의 적응을 제안하기 위한 것이다.
Waterken Server는 Joe-E로 쓰여 있다.