저는 ML을 처음 사용합니다. 조건부 표현식을 인수로 취하는 함수를 정의해야합니다. 표현식이 "10 div 0 = 0"과 같이 유효하지 않은 경우 문제가 발생합니다. 어떻게 처리 할 수 있습니까? 는 예를 들어, 함수는 다음과 같이 정의된다 : foo exp1 = if (exp1) then ... else... 및 exp1이 분할 오류를 처리하는 방법
2 개의 매개 변수를 사용하여 bool을 반환하는 표준 ML에서 함수를 만들려고합니다. 그리고 2 개의 매개 변수는 어떤 형식이든간에 'a * 'a -> bool으로 작성되었지만 시도 할 때마다 2 개의 매개 변수를 만듭니다. 자동으로 ints. 어떻게 함수가 'a 형의 2 개의 매개 변수를 취하게 할 수 있습니까? fun lessThan (a, b) =
나는 int 쌍의 목록을 취하는 표준 ml에서 함수를 만들려고합니다. 그리고 그 쌍으로부터 max 요소를 포함하는 int의 목록을 반환해야합니다. (int * int) list -> int list. 지금까지는 코드를 작성했지만 작동하지 않았고 오류가 발생하여 문제를 파악하는 것 같습니다. 여기 코드입니다 : - fun maxpairs x =
= fold
문제에 대한 도움을 찾고 있습니다. ML에리스트와 함수 모두를 전달하는 함수를 작성하려고합니다. 기본적으로 프로그램이하는 일은 목록을 작성하고 각 요소를 함수를 통해 실행하는 것입니다. 함수가 true를 반환하면 요소가 목록에 추가되고 함수가 실행을 완료하면 목록이 반환됩니다. 내 코드는 다음과 같습니다. fun select(x:list, funct)=
온라인 도서 "전산 범주 이론"http://www.cs.man.ac.uk/~david/categories/book/book.pdf을 잘 읽고 있는데이 책의 2.10 문제점에 몇 가지 문제가 있습니다. 특히, powerset의 정의와 함께. 하지만, 나는 정수의 집합의 카디널리티를 계산할 수 있습니다 왜 val someset=singleton(3); (*co
나는 newby입니다. 아래 코드를 작성합니다. Delay(e) == fn() => e
Force(e) == e()
fun time_consuming(n) =
let fun tak(x, y, z) = if x <= y then y
else tak(tak(x-1,y,z), tak(y-1,z,x), tak(z-1,x,y))
내가 기능을 쓴, 예를 들면 나는 다음 줄이 오류 (이 함수에서 불과 부분) : up (St(d)::Dt::St(c)::[rp]) = Pr (Sym(d), Sym(c))
Pr, Sym, St, Dt - 모든 데이터 유형입니다. d 및 c은 문자열입니다. up 함수를 실행하면 ([St("hello"),Dt,St("hi"),rp]), 인수에 val it =
디버깅 목적으로 도움말 기능 내에서 목록을 인쇄하고 싶습니다. 그리고 무엇인가의 이유로 그것은 아무 것도 인쇄하지 않습니다. 누가 잘못되었는지 알아? 난이도 시도 local
....
and xx(LparenToken) = "LparenToken"
| xx(RparenToken) = "RparenToken"
| xx(QuoteToken) = "Quot
나는 입력으로 3 개의 원소를 취하고 가장 작은 것에서 가장 큰 것으로 분류 된 정렬 된 목록을 반환하는 표준 ml 함수를 만들려고한다. 나에게 최소, 최대 및 중간 요소를 가져 오는 3 가지 도우미 메서드를 사용했습니다. 의 int를 처리 할 때 - fun min3 (a, b, c):real =
if a < b andalso a < c then