Mercury

로직 프로그래밍 언어는 20 년 이상 주변에 있었다. (예를 들면 C, C ++, 파스칼과 에이다 같은) 종래의 프로그래밍 언어 위에 로직 잘 개발 된 이론에 기초하여 매우 높은 수준의 프로그래밍 언어의 예상 장점에도 불구하고 그들은 컴퓨터 산업에 중요한 영향을 미치지 않았다.
수성은 선명도와 고급 정적 분석 및 오류 검출 기능을 선언적 프로그래밍의 표현력을 결합하는 새로운 논리 / 함수형 프로그래밍 언어입니다.
수은은 매우 실행 알고리즘은 기존의 논리 프로그래밍 시스템을 훨씬 초과 효율성을 제공 최적화, 기존 프로그래밍 시스템에 가깝습니다.
수은은 대규모 프로그램 개발의 문제, 수 있도록 모듈화, 별도의 편집, 그리고 수많은 최적화 / 시간 트레이드 오프를 해결

이 릴리스의 새로운 기능 무엇 :.

이 버그 수정 릴리스 수정 솔라리스와 NetBSD의의 문제를 구축 및 구성 시간에 C # 컴파일러를 선택하기위한 지원을 추가합니다.
다양한 다른 사소한 버그가 수정되었습니다.
표준 라이브러리에 약간의 추가도 있습니다.

이 버전 13.05의 새로운 기능 :

이 윈도우에서 64 비트 실행 파일의 생성이 지원됩니다.
매우 큰 프로그램의 컴파일 시간이 개선되었습니다.
몇 가지 새로운 형태의 표현 최적화가 추가되었습니다.
디버거는 이제 스택에 상호 재귀 호출의 파벌을 처리하기위한 더 나은 지원을하고있다.
GLFW 라이브러리에 바인딩은 엑스트라 배포에 추가되었습니다.
C #을 백엔드로 생성 된 어셈블리는 이제 강력한 이름으로 서명 할 수 있습니다.

이 버전 11.01의 새로운 기능 :

우리는 언어 범위의 새로운 두 가지를 추가했습니다.
범위는 이름에서 알 수 있듯이, 주어진 결정 성을 갖는 범위 내에서 목표를 요구, 새로운 키워드 require_det, require_semidet, require_multi, require_nondet, require_cc_multi, require_cc_nondet, require_erroneous 및 require_failure 중 하나에 의해 소개했다.
이 범위에 의해서만라는 변수에 스위치 인 경우 키워드 require_complete_switch 의해 도입 범위의 유형의 모든 기능 심벌 아암을 가지고, 즉, 완전한 스위치로, 영역 내부의 목표를 필요로 스위칭 - 온 변수입니다.
우리는 hash_table.fold에 대한 semidet 모드 / 4 version_hash_table.fold / 4를 추가했습니다.
우리는 assoc_list 모듈에 새로운 조건과 기능을 추가했습니다. 술어 map_keys_only / 3 map_values​​_only / 3 map_values​​ / 3 보완하는 같은 이름의 기능. 술어는, negated_filter / 3 / 3 필터링 필터 / 4, 또한 기능 버전을 / 3, 목록 모듈에서 같은 이름의 조건과 매우 유사한 일을 병합하는 대신 전체의 키에 관련 작업을 할 리스트 요소.
우리는 엑스트라 분포에서 그리고`게으른라는 새로운 표준 라이브러리 모듈에 게으른 평가 모듈을 옮겼습니다. 또한 백엔드에 구애받지 만들어졌다.
우리는 표준 라이브러리의 목록 모듈을 변경 한 :
우리는 / (3) 새로운 술어 list.member_index0을​​ 추가했다. 그것은 또한리스트 내의 요소의 인덱스 (0부터 시작)를 나타내는 매개 변수를 사용하는 것을 제외하고 list.member / 2와 같다.
우리는 세 가지를 나열하고 하나 접혀 가치를 생산하는리스트를 매핑하는 새로운 술어 list.map3_foldl / 7을 추가했습니다.
우리는 list.foldl3 / 8, list.foldl4 / 10, list.foldl5 / 12 및 list.foldl6 / (14)에 대해 고유 한 축전지와 semidet 모드를 추가했다.
우리는 술어 / 4 분할 표준 라이브러리의 tree_bitset 모듈 / 4 divide_by_set 추가했습니다.
우리는 술어 / 2 및 set_ctree234.non_empty / 1 set_ctree234.member 추가했습니다. 우리는 기능 set_ctree234.from_list / 일을 추가 할 수 있습니다.
우리는 술어 set_bbbtree.count / 2 및 기능 set_bbbtree.count / 일을 추가했습니다. 다음은 현재 사용되지 않습니다 술어 set_bbbtree.size / 2를 교체합니다.
우리는 술어 set_ordlist.non_empty / 일을 추가했습니다.
우리는 술어 set_tree234.non_empty / 1 기능 set_tree234.from_list / 일을 추가했습니다.
우리는 술어 set_unordlist.non_empty / 1 set_unordlist.count / 2, 기능 set_unordlist.count / 일을 추가했습니다.
설정 ADT (세트, set_ordlist, set_unordlist, set_bbbtree, set_tree234 및 set_ctree234)를 구현하는 표준 라이브러리의 모든 모듈은 현재 최대 6 개의 축전지와 세트 접음 지원합니다. 세트 배에 대한 독특하고 대부분 고유 축전지를 제공하는 모드도 추가되었습니다.
우리는 표준 라이브러리의 배열 모듈을 다음과 같이 변경을 만들었습니다 :
우리는 기능 / 2 unsafe_elem 및 / 2를 추가 추가했습니다.
우리는 foldr, / 4 unsafe_svset, 술어 / 4 svset foldl2 / 6 foldl2 / 4를 추가 한 / 4, foldr2 / 6, map_foldl / 5, map_corresponding_foldl / 6, 회원 / 2.
우리는 표준 라이브러리에 / 4, version_array.foldr2 / 6 version_array.foldr, / 6 version_array.foldl2 술어를 추가했습니다.
우리는 다음과 같은 술어에 대한 독특하고 대부분 고유 축전지와 semidet 모드를 추가했습니다 :
bimap.foldl2 / 6
bimap.foldl3 / 8
cord.foldl_pred / 4
cord.map_foldl / 5
list.map_corresponding_foldl2 / 8
list.map_corresponding_foldl3 / 10
list.map_corresponding3_foldl / 7
map.foldl3 / 8
우리는 표준 라이브러리의 솔루션 모듈에 술어 unsorted_aggregate2 / 6을 추가했습니다.
우리는 표준 라이브러리의 필요 모듈에 여러 조건과 기능을 추가했습니다. / 2 및 죄송합니다 / 3 보고서 기능의 부재 미안 조건, 동안 / 3 보고서 프로그램에서 내부 오류 / 2 예기치 않은 예상치 못한 조건; 모든 너무 기능 버전이 있습니다. 조건이 충족되지 않으면 술어 / 3 통화 예기치 예상된다. 우리는 지금 / 4를 기대뿐만 아니라 / 3를 기대하고있다. 옵션 / 4뿐만 예상대로 / 3, 첫 번째와 마지막 인자는 각각 기대 조건과 오류 메시지이지만, 예상과, 오류 (보통 이름의 위치를​​ 지정하기 위해 두 중간 인수 / 4있다 기대 )는 각각 모듈의 술어의. 우리는 또한 expect_not / 3를 기대하고이 조건이 * 거짓 *, 사실이 될 것으로 기대를 제외하고, 각각 / 4을 기대처럼 / 3 expect_not / 4를 추가했다.

이 버전 10.04.2의 새로운 기능 :

이 릴리스는 버그 수정 릴리스입니다. 중단하도록 컴파일러가 수정되었습니다 인한 문제의 숫자는 자바 학년 일부 깨진 RTTI 작업은 수정 된, 우리는 GCC 버전 4.4 문제에 대한 해결 방법을 추가했습니다.

이 제한 사항 :

이 아직 완전히 머큐리 언어를 구현하지 않는 현재의 구현. 현재 구현의 주요 제한은 다음과 같다 :
우리는 모드 시스템에서 명확한 앨리어싱을 허용하지 않습니다. 이 없다면, 부분적으로 인스턴스화 모드는 사용할 수없는 등의 고유 모드를 중첩됩니다.
컴파일러는 아직 구조의 재사용을 사용하거나 컴파일 시간을 가비지 수집을 고유 모드를 악용하지 않습니다.
유형 및 모드 추론은 약간 불완전.
또한이 된 구현 디자인 결정은 다음과 같은 제한을 부과했다 :
술어와 기능은 최대 약 1,000 인수를 가질 수 있습니다.
고차 조건은 최대 약 500 인수를 가질 수 있습니다.