SML/NJ에서 구현 한 NLFFI (No Longer Foreign Function Interface)를 탐색 중입니다. "수학"예제가 작동하지만 "pdb"가 오류를 발생시킵니다. FFI/pdb.cm:53.5-53.21 Error: link-time exception in user program (pdb.cm):FFI/(pdb.cm):../pdbhandl
나는 sml을 처음 사용하고 (실제로는 프로그래밍). fun readlist (infile : string) =
let
val
ins = TextIO.openIn infile
fun loop ins =
case TextIO.inputLine ins of
SOME line => line ::
NLFFI SML/NJ 구현의 버그 인 것 같습니다. C 함수 void f0
(short a0
, short a1
이고 그래서 의해 컴파일 , short a7
) {
printf ("a0 == %hx\n", a0);
printf ("a1 == %hx\n", a1);
등 printf ("a7 == %hx\n
내가 생각할 수있는 모든 기본 사례로 일부 sml 코드를 작성했지만, 여전히이 경고가 표시됩니다. 따라서 함수는 첫 번째 목록이 두 번째 목록의 순열인지 검사합니다. 그것이 무한 루프에 들어가는 것을 나는 생각할지라도 확실하지 않은 Im! fun isPermutation(nil: int list, nil: int list): bool = true
(level : int, priority : int, 'a)의 목록으로 구현 된 다중 레벨 우선 순위 큐가 있습니다. 데이터 유형은 다음과 같습니다. datatype 'a queue = NONE | Q of (int * int * 'a) list;
하위 레벨의 요소가 대기열의 맨 앞에 있습니다. 동일한 레벨의 요소는 우선 순위에 따라 정렬됩니다. 기존
괄호 목록이 있으면 해당 명령의 유효성을 검사 할 코드를 작성하려고합니다. 간결함을 위해 다음 데이터 유형이 정의됩니다. datatype par = LPAR | RPAR
type pList = par list
내가 지금까지 가지고하는 것은 : 예를 들어 fun valid(nil:plist): bool = true
| valid([Lpar]) = fa
나는 새로운 형태의 type map = int * string; val a = (1,"a") : int * string; 를 만드는 경우 다음 나는 그것을 얻을 수있는 방법, 변수 a로부터 내부 "는"문자열을 얻으려면? 나는 [1], [2], (2)를 시도했으나 작동하지 않는다 ...
저는 Linux Mint 17을 사용하고 있습니다. 최근에 apt-get를 사용하여 smlnj (Standard ML of New Jersey)와 sml-mode를 설치했습니다. 내가 Control.Print.PrintDepth := 100; 나는 다음과 같은 오류 얻을 명령을 사용하여 인쇄 깊이를 증가하려고 할 때 : 누구 아이디어가 있습니까 .. - C