ml

1열

1답변

이사벨 (Isabelle)의 ML 프로그래밍 : 내장 함수 및 전술 중 일부를 찾을 수 없음

이사벨 (Isabelle)에 ML 코드를 작성하기 위해 "이사벨 요리 책"을 연구 중입니다. 불행히도 내장 함수를 찾을 수 없으므로 (이름이 변경되었거나 경로 structure.fct를 지정해야하기 때문에) 많은 예제가 작동하지 않습니다. 예를 들어 etac, rtac 및 atac을 사용하는 예제는 더 이상 작동하지 않습니다. 새로운 이름은 무엇이며 어떻게

isabelle ml 2017-11-10

---

3열

1답변

K 구현 on N 구현 - SML

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

sml smlnj ml 2017-12-31

---

6열

1답변

함수 응용 프로그램 평가 순서가 SML에서 결정적입니까?

OCaml에서 함수 응용 프로그램의 평가 순서는 지정되지 않았습니다 (일명 비 결정적입니다). 표준 ML에서는 비 결정적이거나 결정 성이 있습니까? 명확히하는 명세 섹션에 대한 참조를 제공 할 수 있습니까? 편집 : - 두 구문에 얼마나 가까운 고려 더욱 미친 OCaml의 달리 나중에 오는 사람들을 위해, 나는 또한 SML처럼, F 번호 순서 지정 및 결정

sml ml 2017-05-10

---

1열

2답변

숫자가 홀수인지 SML인지 여부를 알려주십시오.

이것은 제가 작업 한 두 번째 SML 프로그램입니다. 이 함수들은 상호 재귀 적입니다. 만약 내가 이상한 (1) 전화 사실과 심지어 (1) 나는 거짓말을 받아야한다. 이 함수는 모든 양의 정수에 대해 작동해야합니다. 나는이 프로그램을 실행할 때, : fun odd (n) = if n=0 then false else even (n-1); and

recursion sml smlnj ml mutual-recursion 2017-05-10

---

1열

1답변

SML 함수와 튜플

SML 함수 맵은 함수와 목록을 취하여 목록의 요소에 함수를 적용합니다. 다음 유형이있는 함수 맵은 다형성과 고차 함수입니다. fun map f [] = [] | map f (x::xs) = (f x)::(map f xs) val it = fn : (’a -> ’b) -> ’a list -> ’b list 두 함수 F 및 g, 2- 튜플 요소들의리스트

list function tuples sml ml 2017-10-07

---

1열

2답변

언어 ML 함수 브로는 '*는'*의 INT - <code>f(x,y,z)</code></p> <p>가정하자 ML 언어> BOOL

함수이다. f의 인수가 a’ * a’ * int 유형을 갖도록하는 f의 정의 예를 제공하십시오. 샘플 코드 내가 a’ * a’ * int -> bool이 발을 변경하는 방법 fun f1 (x,y,z) = z<5 ; val f1 = fn : 'a * 'b * int -> bool ?

function types sml ml 2017-10-14

---

2열

1답변

sml의 타입 클래스를 달성하는 방법

아래와 같이 비교 세트를 쓰고 싶습니다. signature COMPARABLE_SET= sig type 'a set val empty: 'a set val insert: 'a * 'a set -> 'a set val member: 'a * 'a set -> bool end 난 비교 가능하도록 설정 유형 '의 요소를

ocaml sml ml 2017-10-18

---

0열

3답변

ML 목록 유형을 확인하고 오류 메시지를주는 방법은 무엇입니까?

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

list types sml smlnj ml 2017-10-20

---

1열

1답변

카레 함수 유형의 괄호 사이의 차이점

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

sml smlnj ml 2017-10-20

---

6열

2답변

왜 ML/Haskell 데이터 타입이 산술 표현식 같은 "언어"를 정의하는데 유용합니까?

이것은 ML 제품군과 같은 기능 언어로 된 정적 유형 시스템에 대한 부드러운 질문입니다. 왜 목록이나 트리 같은 데이터 구조를 설명하기 위해 데이터 유형이 필요한지 이해하지만 데이터 유형 내의 명제 로직과 같은 "표현식"을 정의하는 것은 약간의 편의를 제공하는 것으로 보이며 반드시 필요한 것은 아닙니다. 예를 들어 datatype arithmetic_exp

haskell types ml 2017-09-05

---