OCaml은 오버로딩을 지원하지 않는다는 것을 알고 있습니다. 그런 다음 과부하가 발생하지 않도록이 작업을 수행하기 위해 우리가 할 수있는 일은 무엇입니까? 1) 대신 다형성을 사용 하시겠습니까? 2) 다른 기능에 다른 이름을 지정 하시겠습니까? 3) 서로 다른 모듈에 같은 이름의 함수를 넣으시겠습니까? 어느 것이 작동할까요?
int 또는 real 중 하나 일 수있는 유형 번호의 데이터 유형을 만들었으며 "number"유형의 2 개 숫자를 추가하는 함수를 작성해야합니다. 문제가있는 것은 다음과 같습니다. 그런 문법을 정의하는 문법으로, 나는 다음을 시도했지만 아무것도 작동하지 않는 것처럼 보인다. 코드는 내가 함수 유형 번호의 수 n을 인식하는지 확인하려면 다음은, 다음의 코드는
내가 표준 ML에 새로운 데이터 타입에 대한 함수를 만들고 싶어 는, 데이터 유형이 intnest 호출되는 사용자 정의 데이터 유형에 요소를 추가 : datatype intnest =
INT of int
| LIST of intnest list;
난 함수를 만들고 싶어 intlist에있는 모든 정수를 추가하는 다음 코드를 시도했습니다. fun
트리가 완전한지 아닌지를 확인하는 함수를 표준 ml로 만들고 싶습니다. 함수가 어떻게 든 작동하지만 잘못된 유형 및 비 한정적인 경우에 대한 경고를줍니다. 트리 코드 : 이제 datatype 'data tree =
EMPTY
| NODE of 'data tree * 'data * 'data tree;
fun isComplete EMPTY =
목록 및 기능을 사용하고 BST를 만드는 기능 표준 ml을 만들고 싶습니다. 'a list -> ('a * 'a -> bool) -> 'a tree,하지만 난 그것을 몇 가지 문제가 있어요, 여기에 내가 쓴 코드입니다 : : 함수의 유형입니다 datatype 'data tree =
EMPTY
| NODE of 'data tree * 'data *
저는 분수에 대한 간단한 추상 데이터 형식을 쓰고 있습니다. 생성자가 작동하지 않아도 SML 구문에서 매우 손실됩니다. signature fracs = sig
type fraction
exception zero_denominator
(* constructor *)
val // : int * int -> fraction
/***********
내 기능의 오류를 알아낼 수 없습니다. 목록 번호를 n 번 순환하는 것으로 가정합니다. 예 : cycle([1, 2, 3, 4, 5, 6], 2)은 목록을 두 번 순환하여 [3, 4, 5, 6, 1, 2]을 반환합니다. 여기 내 코드가 있지만 무한 반복 루프로 들어가고 있다고 생각합니다. 어떤 도움이 필요합니까? fun cycle (a, n) = if n
Windows에서 표준 ML을 실행하는 방법에 대한 좋은 설명서를 찾고있었습니다. 아무도 이것에 좋은 가이드가 있습니까? 내가 시도 컴파일 SML/NJ에서 Cygwin에서,이 가이드를 사용 : 어떤 제안을 감상 할 수있다 http://www.smlnj.org/install/index.html $ config/install.sh
config/install.
사이의 유형 및 순수 함수 (ML 형 또는 하스켈 형 언어로 컴파일) 때때로 이진 트리 또는 포리스트 또는 다른 대수 유형의 데이터 항목 집합을 저장해야합니다. 그것은 어떤 방법으로도 행해질 수 있습니다. 그리고 SQL 과 함께이 데이터 (예 : rebalance binary tree)에 대한 일부 변환을 수행하는 것이 좋습니다. 그들 사이에 타입과 순수한