smlnj

    0

    1답변

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

    0

    1답변

    그래서이 질문을 해결하려고합니다. 다음 단어를 문자 목록에서 제거하는 함수를 작성합니다. 이 함수는 단어의 튜플을 문자 목록과 나머지 목록으로 반환합니다. 다음 [# "t", # "h", # "e", # "", # "c", # "a", # "t"] ==> 문자 목록 • 목록이있는 경우 (예 : "#"e ", #"e " 비어있는 목록이 아닌 문자로 시작하는

    4

    1답변

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

    0

    1답변

    SML에서 어떻게 구현하나요? 내부 용 for-loop를 재귀 내부 함수로 변경할 수 있습니까? void RecursivePermute(char str[], int k) { int j; // Base-case: All fixed, so print str. if (k == strlen(str)) printf("%s\n", str); el

    0

    2답변

    fun p(L) = [L] @ p(tl(L) @ [hd(L)]); L이 [1,2,3]이면 [[1,2,3], [2,3,1] , [3,1,2]]. 끝까지 첫 번째 숫자를 매번 추가 할 때마다 L = []이면 여기에서 []가 작동하지 않습니다. 세 개의 목록이있는 기능을 중지하는 방법은 무엇입니까?

    1

    1답변

    저는 SML과 같은 연습 문제를 해결하려고합니다. 10 개 질문을 포함한 객관식 시험에 사용할 ML 프로그램을 작성하십시오. 프로그램에 다음이 포함되어야합니다. o 시험의 대답 키 예 : val key= “adabcbaadb”; o 학생의 이름과 답변이 들어있는 레코드 (정보)에 대한 유형 정의. 예 : {name=”Ali”,ans=”abadccdadb

    0

    1답변

    let, in, end를 사용하여 카레 함수를 정의하는 데 문제가 있습니다. 나는 다음과 같은 코드를 가지고 : filter_many listOfFunc listOfElements = let fun allPredicate(element,[]) = true | allPredicate(element,(a,b)::xs) = a(element

    0

    1답변

    fun first_answer(my_f:('a -> 'b option)) : 'a list -> 'b = let fun help(_a:'a list) : 'a = (((List.map valOf)o(List.filter isSome)o(List.map my_f)) _a) in help end; Error: syntax error: replac

    1

    1답변

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

    1

    1답변

    나는 SMLNJ를 처음 사용합니다. 이 작품 : case (tts t2) of (other, "<+") => parse_append t t2 ts pre c j | (other, "<<-") => parse_sample t t2 ts pre c j | (other, "<-") => parse_assign_or_sub t t2 ts pre c j