에서 스트림을 편평 나는이 데이터 형식이 있습니다 datatype 'a stream' = Susp of unit -> 'a stream
and 'a stream = Empty | Cons of 'a * 'a stream'
을 나는 아래의 유형이 편평한 함수를 작성하려고합니다. flatten: ’a stream’ stream’ -> ’a stream’
나는 입력으로 3 개의 원소를 취하고 가장 작은 것에서 가장 큰 것으로 분류 된 정렬 된 목록을 반환하는 표준 ml 함수를 만들려고한다. 나에게 최소, 최대 및 중간 요소를 가져 오는 3 가지 도우미 메서드를 사용했습니다. 의 int를 처리 할 때 - fun min3 (a, b, c):real =
if a < b andalso a < c then
투쟁 내가 SML 데이터 형식으로 변환하는 데 필요한 다음과 같은 문법이 : 나는 다음과 같은 관리가 Integer ranges over SML integer constants.
Boolean ::= 'true' | 'false'
Operator ::= 'ADD' | 'IF' | 'LESS_THAN'
Arguments ::= (',' Expressio
exception No_intersection of string
fun check_in ((m1:real, b1:real), (m2:real, b2:real)):real*real =
이 함수는 두 행 사이의 교차점을 검사합니다. 각 쌍 인수는 기울기와 y 절편입니다. 나는 그것이 존재하는 경우 두 사이의 교차점을 발견하기로되어 있습니다. 나는 어떤
2 개의 매개 변수를 사용하여 bool을 반환하는 표준 ML에서 함수를 만들려고합니다. 그리고 2 개의 매개 변수는 어떤 형식이든간에 'a * 'a -> bool으로 작성되었지만 시도 할 때마다 2 개의 매개 변수를 만듭니다. 자동으로 ints. 어떻게 함수가 'a 형의 2 개의 매개 변수를 취하게 할 수 있습니까? fun lessThan (a, b) =
내가 작업하고있는 문제는 정수 목록을 가져 와서 그 숫자의 평균을 반환해야합니다. 그것은 다음과 같습니다 특정 형식 ... 난 단지 물음표를 대체 할 수있어 및 기능 내장 어떤을 사용하지 않을 수 fun average (n::ns) =
let
val (a,b) = fold? (?) ? ?
in
real(a)/real(b)
end;
에 맞게해야합
내가 표준 ML에서 univariante 다항식 방정식을 해결하는 함수를 만들려고하지만, 그것은 나에게 오류를주는 유지합니다. 우리는 함수 배있는 경우 다항식 요소 개수가, 예를 변수로 대체 할 경우 (* Eval Function *)
- fun eval (x::xs, a:real):real =
let
val v = x (* The f
쌍 튜플 목록이 주어지면 튜플 문제가 발생합니다. 즉, [(1,2),(3,4),(5,6)]은 ([1,3,5],[2,4,6])을 반환해야합니다. fun convert L = foldl (fn(a,b) => #1a::b) [] L;
하지만라는 오류 얻을 : 내가 해봤 이 코드를 사용하여 해결되지 않은 플렉스 기록을. 왜 내가 이것을 얻고 어떻게 해결할 수