Jai-like Syntax Solution for Foreign Procedures

gistfile1.txt

I'm using `proc` as a prefix to remove ambiguity in the syntax. The current syntax is ambiguous.
(int) // Is this a procedure that takes an int or is it just an int?

Current Jai Syntax:

name :: proc();              // type
name :: proc() {};           // declaration
name :: proc() #foreign lib; // foreign declaration

This syntax fails if you want have foreign variables too. Foreign variables would not have a consistent syntax.

// Example:
#foreign(lib, "name") var: type;

In order to make the syntax consistent you need the ability to state that that expression is a procedure literal without a body rather than a procedure type.

I propose the following:

name :: proc();     // Procedure type
name :: proc() {};  // Procedure literal with a body
name :: proc() ---; // Procedure literal without a body

Specifying the linking name can be done with a prefix tag and its library in a surrounding foreign block:

foreign lib {
	#link_name "CloseHandle"
	close_handle :: proc(h: Handle) -> i32;
}


This is syntax can be extended to foreign variables too:

foreign libc {
	errno: i32;
}