Может ли кто-нибудь сказать мне, как реализовать следующую функцию в ATS: fun int2double (x: int): double Спасибо!

Я часто вижу код, похожий на следующую строку в ATS: val xs = g0ofg1(xs) Функция g0ofg1 выглядит как некий кастинг. Что он на самом деле делает?

Например, как я могу написать что-то в ATS, соответствующее следующему коду на C: void myloop(int n) { int i; for (i = 0; i < n; i += 1) printf("i = %i\n", i); return; }

Я часто вижу тип вроде (int, int) -<cloptr1> bool . Что это на самом деле значит? Как это соотносится с таким типом, как (int, int) -<cloref1> bool ?

По сути, я ищу что-то более или менее эквивалентное следующему коду C: int theGlobalCount = 0; int theGlobalCount_get() { return theGlobalCount; } void theGlobalCount_set(int n) { theGlobalCount = n; return; }

Я знаю, как использовать patsopt и atscc2js для компиляции кода ATS в код JS: patsopt -d foo.dats | atscc2js -o foo_dats.js Нужно ли включать какую-то JS-библиотеку для atscc2js, чтобы запускать JS-код в foo_dats.js?

Скажем, я хочу суммировать целые числа в списке. Я могу сделать это, применив к списку оператор сокращения с начальным значением 0 и функцию сложения. Как называется оператор сокращения в ATS?

Какого типа функция main0 ? Я пишу библиотеку gtk3. Однако для функции g_application_run() требуется argv . Конечно, язык ATS может использовать функцию argv на main0 . Но что это за тип?

В gflist_vt.sats подпись gflist_vt_mergesort$cmp подразумевает, что порядок, используемый для сортировки, должен быть таким же, как и для штампа. Я так понимаю, что если такая функция сравнения задана, то надежность функции обеспечена. В...

У меня есть задание, которое я должен выполнить для школы, которое включает в себя использование foldleft для нахождения длины списка. Мой вопрос заключается в реализации foldleft. Нам дали пример кода, который использует foldleft для умножения...

Например, я могу реализовать функцию факториала следующим образом: fun factorial(n: int): int = if n > 0 then n * factorial(n-1) else n Вызов factorial на 100, я получаю 0 из-за целочисленного переполнения. Мне нужен тип для больших...

У меня есть следующий код ATS: extern prfun mul_nx0_0 {n:int} (): MUL(n, 0, 0) extern prfun mul_nx1_n {n:int} (): MUL(n, 1, n) extern prfun mul_neg_1 {m,n,p:int} (MUL(m, n, p)): MUL(~m, n, ~p) extern prfun mul_neg_2 {m,n,p:int} (MUL(m, n, p)):...

Я новичок в языках ML. Я читаю руководство по ATS и сейчас в бешенстве. Я прочитал половину руководства, и в нем нет объяснения, как скомпилировать непустую функцию. Только один пример с "hello world" программой. ats val x = "hello"...