Я новичок в языках ML. Я читаю руководство по ОВД, и теперь я в бешенстве. Я прочитал половину...

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

Я получаю это сообщение об ошибке в своем журнале каждый раз, когда мое приложение подключается к...

В последнее время работаю в iOS ATS. И я перечисляю все серверные API, которые использовались в...

В следующем коде: #include "share/atspre_staload.hats" extern castfn usize_of_int(num:...

У меня есть следующие два типа, которые являются взаимно рекурсивными (они имеют указатели,...

Есть ли способ указать ABI функции непосредственно в ATS?Например, я хочу сделать это: %{^ typedef...

datatype используется для создания нелинейного типа, который будет выделяться в куче, и datavtype...

Я пытаюсь создать версию string_is_prefix, которая доказывает, что строка длиннее префикса, если...

Если у нас есть три целых числа a> 0, b, ab> = 0, таких что a * b = ab, то b> = 0, а если ab = 0,...

Рассмотрим: #include "share/atspre_staload.hats" %{^ #include <sys/types.h>...

Рассмотрим: #include "share/atspre_staload.hats" fun plus_int_int(x: int, y: int): int =...

Проходя некоторые упражнения с использованием libedit, чтобы быстро что-то заработать, я придумал...

Рассмотрим: #include "share/atspre_staload.hats" fun only_zero(n: int(0)): void = println

Моя точная ошибка времени ссылки: print.o: In function...

Я добавил новую цель (main.o) в существующий проект: DATS_FILES = main.dats HFILES = config.h es.h...

Рассмотрим array.sats: #include "share/atspre_staload.hats" fun {a:t@ype} make: (int, a)...

Рассмотрим эту не определенную (но работающую) программу: #include "share/atspre_staload

Мне кажется, что я уже задавал этот вопрос и получил ответ раньше, но я не могу найти эти Q & A....

Это не с "the pattern is expected to be formed with a constructor (of datavtype)", так как он...

В (по крайней мере) Linux argv и envp имеют один и тот же тип: они являются указателями на массив...