smlnj

    0

    2답변

    SML에 처음 입어서 함수 분할을 쓰고 싶습니다. int list -> int list * int list 목록이 있습니다. 정수는 두 개의 정수 목록을 만듭니다. 하나는 음수가 아닌 항목을 포함하고 다른 하나는 음수 항목을 포함합니다. fun splitup (xs :int list) = if null xs then ([],[])

    0

    3답변

    모든 유형의 목록을 취하고 목록이 실제 목록 인 경우에만 head 요소를 반환하는 샘플 함수를 작성하려고합니다. 그렇지 않으면 함수에서 오류 메시지 을 제공해야합니다. . . 연산자 : 연산자와 피연산자가 없습니다. . . datatype typeR = Real of real fun head(xs) = case xs of [] => r

    1

    1답변

    이러한 반환 유형은 무엇이 다른가요 ?? val fn1 : int −> (int −> (int −> int)) val fn2: (int −> int) −> (int −> int) 이것은 int -> int -> int meaning int -> (int -> int) 즉 적합한 타입의 함수를 생성? 그들은 괄호없이 같은 의미가 있습니다!

    0

    1답변

    나는 이러한 기능이 있습니다 fun IsDivisible(t, t2) = if t mod t2 > 0 then true else false; fun IsDivisibleFilter(ts, t) = List.filter(fn x => IsDivisible(x, t)) ts; fun IsDivisibleMap(ts, ts2) = map(fn x => I

    2

    2답변

    Posix.Process.execp을 사용하여 실행 한 명령의 출력을 캡처하려고합니다. stackoverflow 찾은 일부 C 코드를 포팅하고 한 실행에 대한 출력을 캡처 할 수 있지만 두 번째 실행 출력을 가져올 수 없습니다. 여기 내 함수의 : (* Runs a command c (command and argument list) using Posix.P

    0

    1답변

    안녕하세요, 다음 SML 코드에 컴파일 오류가 발생했습니다. 누군가 도움을받을 수 있습니까? 표현 Error: operator and operand don't agree [UBOUND match] operator domain: 'Z list operand: ''list in expression: null mylist

    3

    1답변

    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])"입력을 입력 할 때 왜 빈 목록을 반환하는지 알 수 없습니

    -1

    1답변

    저는 ML에 익숙하지 않아 이해하기 위해 최선을 다하고 있습니다. 길이가 같은 두 개의 목록을 입력으로 사용하고 첫 번째 입력 목록과 두 번째 입력 목록에서 각각 요소가 교대로 추출되는 출력 목록을 생성하는 alternate : 'a list -> 'a list이라는 ML 함수를 작성하십시오. 예 alternate ([1,3,5],[2,4,6]) = [1,

    0

    1답변

    listViolations (L1, L2)의 결과 배열을 반환하는 SML 함수를 코딩하려고합니다. 나는 각 요소를 서로 O (n^2)로 참조하기를 원한다. 그리고 선택이 서로 충돌하는지 확인한다. 시각화하려면 [[1, 2], [2, 3]]은 옵션 1이고 [[3,2], [2, 1]]는 옵션 2입니다. ListViolations ([[[1, 2], [2, 3]

    1

    1답변

    SML (메타 언어)을 처음 사용합니다. 누구든지 아래에 주어진 유형에서 함수를 파생시키는 방법을 말해 줄 수 있습니까? ('a ->'b) -> ('b 목록 -> c) ->'a -> 'c 목록 SML의 카레 기능을 이해하는 데 어려움을 겪고 있습니다.