도우미 방법이 거의없는 local 블록이 있습니다. datatype color = BLACK | RED;
datatype 'a RBTree = Nil
| Br of (int * 'a * color) * 'a RBTree * 'a RBTree;
datatype Balance = RR | LR | LL | RL;
exception NotFou
함수의 각 호출에서 목록의 이전 요소가 유지되도록 함수 목록을 업데이트해야한다고 가정합니다. local
val all_list = [];
in
fun insert (x:int) : string = int2string (list_len((([email protected][x]))))
end;
내가 호출 할 때마다 삽입하는 것입니다 문
행렬의 첫 번째 및 마지막 열을 삭제하는 보이지 않는 구성 요소와 보이지 않는 구성 요소가있는 ML 모듈. 행렬은 다음과 같이 목록 목록으로 저장됩니다. | 4 | 5 | 6 | 7 | | 8 | 9 | 10 | 11 | | 12 | 13 | 14 | 15 | => 4x4 배열 위의 행렬은 val mat = [[4,5,6,7], [8,9,10,11], [1
SML NJ에서 조작 된 람다 식을 사용하려고하는데 어떤 이유로 오류가 발생합니다. 내 "program.sml"의 코드 : fun add x y = x + y; // (x. y. A x y)
fun plus = add 1; // (x. y. A x y) 1 --> (y. A 1 y) -(e.g.)plus 4=5
오류 우분투 터미널에서 명령을 '사용'p
내가 SML의 REPL을 시작하고 print("floor is : "^(Int.toString (floor 3.1823))^"\n");
에 넣어 언제 floor is : 3
val it =() : unit
즉, 예상되는 동작를 얻을. 내가 이맥스 조직 모드 소스 블록에서 같은 일을 할 때 : #+name: sml_test
#+begin_src s
난 다음 데이터 유형 선언 및 기능이 인터리빙 양방향 무한 및 한정된 서열 datatype direction = Back | Forward
datatype 'a bseq = bNil | bCons of 'a * (direction -> 'a bseq)
fun bHead (bCons (x, _)) = x
| bHead bNil = raise E
나는 다음과 같은 구현 SML에서 내가 얻을 fun reverse x y =
case x of
[] => y
| x::xs => reverse(xs, x::y)
;
오류 메시지 목록을 반대하려고에 항목을 추가하는 동안 이상한 오류를주는 형식 유추는 꿰 뚫을 : trial.sml:1.6-4.35 Error: case ob
구문 분석 알고리즘 here을 찾았습니다. 그러나 ML에 있으며 너무 익숙하지 않습니다. 알고리즘을 더 잘 이해하기 위해 저는 이것을 C++과 같은 명령형 언어로 변환하려고합니다. 이제 너는 내가 잘 모르거나 이해하지 못하는 몇 가지 것들이있다. 여기 는 후위 식을 구문 분석에 대한 헤더입니다 (AFAIK이 기술적으로하지 헤더, 그러나 일치하지만 기능적인
My Exercise는 이것을 나에게 원래 코드로 제공했습니다. 그들은 자바 구현을 원했습니다. 나는 지금 나는 그것을 이해할 수 없게되었다고 생각했다. 어쨌든 을 모두 고정시키는 변수 "n"을 사용하는 지점이 있습니다. 디버깅 할 수있는 것이 더 많지 않은 한 이것이 내 진짜 문제였습니다. 나는 내 마지막 다음 주 전에이 물건을 배우려고하고있다. fun