`main0`函数的类型是什么？

Question

main0函数的类型是什么？

我正在写gtk3库。但是g_application_run()功能需要argv。 当然，ATS语言在main0函数上可以使用argv。但是什么类型？

Answer 1

下面的代码是在前奏/ basics_dyn.dats声明：

// 
symintr main0 
// 
fun 
main_void_0 
    ((*void*)): void = "ext#mainats_void_0" 
fun 
main_argc_argv_0 
    {n:int | n >= 1} 
    (argc: int n, argv: !argv(n)): void = "ext#mainats_argc_argv_0" 
// 
overload main0 with main_void_0 
overload main0 with main_argc_argv_0 
// 

正如你所看到的，main0有过多的main_void_0和main_argc_argv_0。 argv(n)类型实质上是一个以空值结束的大小为n的线性字符串数组。请注意，空值不会计入大小的一部分。