mercury

    2

    2답변

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

    16

    1답변

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

    1

    1답변

    다른 파일에서 모듈을 가져 오는 수은 프로그램이 있습니다. 이 파일을 하위 디렉토리에 넣을 수 있어야합니다. 어떻게해야합니까? 나는 프로그램을 만들기 위해 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 reference manual은 "!X이 함수 응용 프로그램에서 인수로 나타나지 않을 수 있습니다. 이는 상태 변수 및 함수에 대한 일반적인 해석에 따르면 의미가 없으므로"(14 페이지). 그 추론을 더 잘 이해하고 싶습니다. 조합을 무의미하게 만드는 상태 변수와 함수는 무엇입니까? 내 혼란의 부분은 내가 상태 변수의

    2

    1답변

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