SML 람다 미적분 해석 함수를 만들고 있는데 몇 가지 오류가 발생하여 수정 방법을 모르겠습니다. cfunf id (CAPP(e1,e2))=
if not(cfree id (CAPP(e1,e2)))
then CAPP(CK,CAPP(e1,e2))
else
if ((CID id) = e2) andalso not(
나는 여기에서 모든 것을하려고했지만 아무 일도 없었습니다. 비어있는 목록으로 호출하면 코드가 제대로 작동하지만 빈 목록 []을 넣 자마자 문제가 발생합니다. 출력은 짧은리스트의 길이와 입력리스트의 머리입니다 튜플에서 생성 된 목록이 될 예정이다 fun zip(xs1, x2) =
case xs1 of
[] => []
| (h1:
SML에서 k-out-of-N을 구현하려고 했으므로 "pick (3, [1,2,3,4])"는 [[1,2,3 ], [1,3,4] ...] (N 개의 모든 K 크기 선택) 나는 List.map을 사용하여 함수를 호출하고 각 요소에 적용한다고 생각했습니다. 실제로 "pick (3, [1,2,3,4,5])"입력을 입력 할 때 왜 빈 목록을 반환하는지 알 수 없습니
저는 ML에 익숙하지 않아 이해하기 위해 최선을 다하고 있습니다. 길이가 같은 두 개의 목록을 입력으로 사용하고 첫 번째 입력 목록과 두 번째 입력 목록에서 각각 요소가 교대로 추출되는 출력 목록을 생성하는 alternate : 'a list -> 'a list이라는 ML 함수를 작성하십시오. 예 alternate ([1,3,5],[2,4,6]) = [1,
그냥 여기 내 이해를 확인하고 싶습니다. 의 ML 프로그램의 요소을 새로 고치고 문제 중 하나에 "의 정수만 입력하면됩니다. " 문제 문을 의미하는 것으로 보인다 structure HashFn100 = MakeHashFn(struct val i = 100 end);
하지만 structure HashFn100 = MakeHashFn(100);
: 나는
내가 표준 ML에 새로 온 다음 코드 fun whilestat test stmt1 =
(fn x => if (test x) then (stmt1 x;whilestat test stmt1) else (x));
를 작성하려고 문제는 나에게 다음과 같은 오류 w.sml:21.6-22.82 Error: right-hand-side of clause
그래서 최근에 sml을 배우고 Java와 비교하여 사용 방법을 혼란스럽게합니다. 그래서 연속적인 값 쌍을 취하여 추가하고 합계를 새 목록에 삽입하는 코드를 작성하라고 들었습니다. 원본 목록의 길이가 홀수 인 경우 첫 번째 n-1 항목이 쌍으로 추가되며 n-th 항목은 새 목록 끝에 그대로 복사됩니다. fun sumpairs x =
if null
이러한 반환 유형은 무엇이 다른가요 ?? val fn1 : int −> (int −> (int −> int))
val fn2: (int −> int) −> (int −> int)
이것은 int -> int -> int meaning int -> (int -> int)
즉 적합한 타입의 함수를 생성? 그들은 괄호없이 같은 의미가 있습니다!
mlton 또는 mosml에서 컴파일 할 코드를 작성하려고합니다. 내 mosml에서 나는 다음과 같이 실패 할 수있다. Process.exit(Process.failure)
그러나 동일한 코드를 다시 사용하고 mlton에서 컴파일하려고 할 때. 라이브러리 세트에서 프로세스를 찾을 수 없습니다. 하나의 소스 코드 파일 내에서 어느 플랫폼에서든 작동하는 코