mercury

2열

1답변

우분투에서 Mercury 14.01.1 사용 14.04. 소스 코드에서 디버깅 등급을 포함한 4 가지 등급을 설치했습니다. 시도 성공없이 다음 (누락 된 파일/디렉토리) $ mmc를 --debug 파일 이름 $ MMC의 --decl 디버그 파일 이름의 각 Q. 내가 대신 무엇을 입력해야합니까?

2열

2답변

목록을 가져 오거나 출력하는 조건 자에 대한 pred를 선언하는 방법은 무엇입니까?

리스트를 가져 오거나 출력하는 술어에 대해 pred를 선언하는 도움말을 찾으십시오. 나는 시도했다 : - pred 이름 (list :: in, integer :: out)은 다중이다. 컴파일러 오류 메시지는/0이 인식되지 않는다고 말합니다. 체크 된 라이브러리 모듈 목록을보고 ... (list (T) :: in ....)와 같은 것을 써야하지만, 무엇을해야

16열

1답변

Rust의 소유권 의미는 Clean 및 Mercury에서 볼 수있는 고유성 유형화와 어떤 관련이 있습니까?

나는 Rust moving가 lvalues에 적용되었고 moving-from 오브젝트가 사용되지 않는다는 것을 정적으로 강요한다는 것을 알았습니다. 클린 및 머큐리의 고유성 유형 지정과 관련하여 이러한 의미는 어떻게됩니까? 그들은 같은 개념입니까? 그렇지 않다면 어떻게 다릅니 까?

1열

1답변

서브 디렉토리에 하위 모듈이있는 Mercury 프로그램 빌드

다른 파일에서 모듈을 가져 오는 수은 프로그램이 있습니다. 이 파일을 하위 디렉토리에 넣을 수 있어야합니다. 어떻게해야합니까? 나는 프로그램을 만들기 위해 mmc -E --make --trace deep filename을 사용하고 있습니다. 나는 Building Multi-Module Mercury Programs을 보았지만 잘못되었을 수 있지만 서브 디렉

2열

2답변

긴 정수의 목록을 표시하려면 어떻게합니까? (수성 언어)

io.write_list (List (정수), ",", OutputPred,! IO)에서 OutputPred는 무엇입니까? 정수 형식의 목록을 표시하려고합니다. 목록은 처음에는 비어 있지 않습니다.

4열

1답변

수은 설치

난 이미 내 Windows 7 PC에 설치된 Cygwin에서 http://www.mercury.csse.unimelb.edu.au/download/release.html 에서 수은 11.07.1를 다운로드합니다. 그러나 나는 수은을 설치하는 방법을 모른다. 누구나 설치 가이드를 도와 줄 수 있습니까?

3열

1답변

임의의 바이너리 데이터를 나타내는 데 적합한 데이터 유형은 무엇입니까?

디스크에서 이진 데이터를 읽고 Mercury 변수에 저장하려고합니다. 문자열 라이브러리에 따르면 문자열은 포함 된 null 바이트를 허용하지 않으며 UTF-8 인코딩으로 내용을 저장하므로 작동하지 않을 것이라고 생각합니다. 지금까지 찾은 것 중 가장 좋은 점은 비트 맵 라이브러리에서 "비트 맵을 8 비트 바이트 배열처럼 액세스하는 것이 특히 효율적입니다"라

5열

1답변

유형이 수성과 같은 논리 프로그래밍 언어를 가져올 때 어떤 이점이 있습니까?

머큐리 언어를 살펴보기 시작했습니다. 매우 흥미로운 것 같습니다. 나는 논리 프로그래밍에 익숙하지 않지만 스칼라와 하스켈에서 함수형 프로그래밍에 익숙하다. 내가 숙고 해 왔던 한 가지 이유는 적어도 유형처럼 표현력이 있어야하는 술어가 이미있을 때 논리 프로그래밍에서 유형이 필요한 이유입니다. 예를 들어 , 다음 (머큐리 튜토리얼에서 가져온) 코드에서 유형을

1열

1답변

수성에서 람다와 술어의 일치 결정

수성에서 람다가 람다를 포함하는 술어의 모드와 동일한 결정론을 가지고 있다고 선언 할 수 있습니까? 다음은 내가하려는 일입니다. array2d 유형에서 작동하는 fold 함수 (아래)를 작성했습니다. fold은 배열의 각 요소에 대해 호출자가 제공 한 술어를 호출합니다. 그것은 det (술어)를 인수로 받아 들일 때까지 잘 작동합니다. :- pred fol

2열

2답변

Mercury에서 함수 응용 프로그램에서 상태 변수를 사용할 수없는 이유는 무엇입니까?

상태 변수를 설명 할 때 Mercury reference manual은 "!X이 함수 응용 프로그램에서 인수로 나타나지 않을 수 있습니다. 이는 상태 변수 및 함수에 대한 일반적인 해석에 따르면 의미가 없으므로"(14 페이지). 그 추론을 더 잘 이해하고 싶습니다. 조합을 무의미하게 만드는 상태 변수와 함수는 무엇입니까? 내 혼란의 부분은 내가 상태 변수의