ML 함수 쓰기

Question

저는 ML에 익숙하지 않아 이해하기 위해 최선을 다하고 있습니다.

길이가 같은 두 개의 목록을 입력으로 사용하고 첫 번째 입력 목록과 두 번째 입력 목록에서 각각 요소가 교대로 추출되는 출력 목록을 생성하는 alternate : 'a list -> 'a list이라는 ML 함수를 작성하십시오.

예

alternate ([1,3,5],[2,4,6]) = [1,2,3,4,5,6] 

이 내 작품 : fun alternate (x::xs,y::ys) = x::alternate(x,y);

Answer 1

당신은 두 문제를 분리 : 재귀 케이스와 기본 케이스. (1) 반복적 인 경우 문제의 일부 단위를 해결합니다.이 경우 각 목록의 단일 요소를 결과 앞에 배치하고 재귀 적으로 같은 방식으로 나머지 문제를 해결하려고합니다. (2) 기본 경우 목록은 비어 있으며 결과는 빈 목록입니다.

fun alternate (x::xs, y::ys) = x::y::alternate(xs, ys) 
    | alternate ([], []) = [] 
    | alternate _ = raise Fail "xs and ys don't have the same length" 

(3) 함수가 짝수 길이의 입력이 잘 정의되어 있기 때문에, 하나는 비어 있고 다른 곳리스트를 포함하는 두 개의 튜플 일치 _ 포괄 패턴 없으며 예외가 발생합니다.