sml

0열

1답변

Windows Installer 패키지 "smlnj-110.79"를 사용하여 Windows 10에 SML/NJ를 설치하고 this coursera video lecture의 지침에 따라 명령 프롬프트를 열고 sml을 액세스 할 수 있어야합니다. "sml"이라고 치면됩니다. 그러나 "sml"을 반환하면 "sml이 내부 또는 외부 명령, 실행 가능한 프로그램

6열

1답변

생성자를 숨기지 않고 SML 유형이 eqtype이되지 않도록 방지

선언문에서 표준 ML은 모든 변형에 대한 유형 인수가 모두 eqtype 인 경우 동등 유형을 생성합니다. 나는 평등의 자신의 정의를 제공하고 자신의 eqtypes과 SML 규칙의 예상치 못한 결과를 (건설하는 사용자의 무능력을 한탄 몇 군데에 주석을 본 적이 예를 들어 베어 ref들과 array들 eqtypes하지만 datatype Foo = Foo of

7열

1답변

모듈을 설계 할 때 유형 수준 또는 모듈 수준 중 어느 것을 매개 변수화할지 결정하는 방법은 무엇입니까?

ML 스타일 모듈에 대한 깊은 이해를 위해 노력하고 있습니다. 저는 개념이 중요하다고 생각하며 그들이 생각하는 종류의 것을 좋아합니다. 나는 단지 이며 파라 메트릭 유형과 파라 메트릭 모듈간에 발생할 수있는 긴장감을 발견했습니다. 내 프로그램을 구축 할 때 현명한 디자인 결정을 내릴 수 있도록 문제를 생각하는 도구를 찾고 있습니다. 주먹 나는 일반적으로 내

4열

1답변

서명 또는 구조에 대해 SML/NJ REPL에 질의 하시겠습니까?

signature 또는 structure의 목록을 SML/NJ REPL의 최상위 환경에서 사용할 수 있습니까? sml 소스 디렉토리의 sources.cm 파일에 정의 된 것처럼 보이는 서명/구조 목록을 얻으려고합니다. - signature s = LIST; 의 줄을 따라 뭔가가 최상위 환경의 바인딩을 대신 나열합니다. fun boundSignatures

-2열

1답변

"??" 표준 ML

나는이 ML 코드를 찾고 있었어요 의 의미와 나는 "?"를하는 일이 문 fun doSomething (a, b) = if a < b then ?? else ?? ; 을 보았다 이 문맥에서 의미합니까?

0열

1답변

SML을 사용하는 정수의 자릿수

SML에서 정수의 자릿수를 합산하는 함수를 만드는 중이지만 다음 오류가 발생합니다. Error: operator and operand don't agree [overload conflict] operator domain: real * real operand: [* ty] * [* ty] in expression: n/

1열

1답변

인덱스에 목록 삽입하기

SML로 "레지스터"에 값을 삽입하려고합니다. 목록 (또는 레지스터)이 해당 인덱스에 정의되어 있지 않으면 그 인덱스까지 0의 목록을 만들어야합니다. 나는 다음과 같이 시도했지만 그것을 작동시키지 못한다. fun storeInReg [] valIns idx = if idx = 0 then [valIns] else 0::s

0열

1답변

let 바인딩 방식으로 SML에서 상수를 정의하는 방법은 무엇입니까?

let 바인딩 방식으로 SML에서 상수를 정의하는 방법이 있습니까? 그래서 기본적으로 내가 부탁 해요 어떤 예를 들어 아래의 방법으로, 일정 x = 5을 수행하는 방법이다 : let .... in ... end

0열

2답변

sml에서 let 바인딩의 방식으로 레코드 유형을 나타내는 방법이 있습니까?

나는 다음과 같은 기록이있는 경우 : type president = {name: String, age: int}; 난 그냥 사용하여 동일한 정보를 나타낼 수를 let 바인딩 및 fun 또는 fn 같은 간단한?

3열

1답변

표준 ML 오류 : 연산자와 피연산자가 일치하지 않음

sum이라는 int를 취하는 함수 number_before_reaching_sum을 작성하고 목록의 첫 번째 n 요소가 sum보다 작게 추가되도록 int n을 반환하지만 목록의 첫 번째 n + 1 요소가 sum 이상을 추가합니다. 여기에 오류 메시지가 출력합니다 내 코드 fun number_before_reaching_sum(sum:int,lists:int