Add business from Parser to CodeGen for ASTFunctionClass

Create the Fly Base Library based on llvm libc

The links of the logo and the website are dead.

The function can have parameters by reference.
int get(int &a, int b) {
a = 2
return 1
}

Related to: Syntax: define package, imports and namespace

Implements the import logic feature

A single source file of Fly code must be able:

• to import one or more different packages,
• to access functions into the imported packages,
• to raise an error if two packages have the names.

Add import keywords to:

Related to: Syntax: define package, imports and namespace

Implements module features in order to prepare the logic for packages

A single source file:

• have to belongs to only one package,
• can have the same package of more other source files

More source files:

• can be grouped into one package as a logical group
• of the same package raises an error if own same variables, constants, functions.

Add package keywords to:

I tried to download the tar.gz file for Mac, but an error is thrown:

Unable to expand "https__github.com_fly-lang_releases_download_v0.2.0_fly-0.2.0-macos-x86_64.tar.gz". It is in an unsupported format.

LLVM Module Management

Import External/Internal Module into a LLVM Module by creating dependency.
Enable Linker to build a single file ready to be executed in a target machine.

How to declare a constant in two different scopes:

• at the package level
• at the function level

Package Const

A constant can be accessed from all functions in that package. This constant needs to be declared out the functions and immediately initialized.

Function Const

A constant can be accessed from only elements in the same function where declared.

Add these data types:

double (float double precision)

long (64 bit long)

There are different Type System in a programming language:

• weak or strong typing: implicit during conversion and acceptable or explicit and unacceptable which have precise rules.
• static or dynamic typing: where type checking happens at compile time or run time.

https://www.destroyallsoftware.com/compendium/types?share_key=baf6b67369843fa2

Function Var Args

func(int a...) {

}

Define the main types for variables and constants to be used in the code considering to manage the common data types: integer and float numbers, boolean, strings, and array.
Moreover, it's important to expect:

1. integer with different number of bits, signed or unsigned
2. float with different number of bits, signed or unsigned
3. string representation, encoding, escape.
4. boolean representation
5. array representation

Think about it is better to include other built-in data types.

Create Types:

int for integer type numbers of 32bits
float for floating point decimal numbers of 32bits
boolfor boolean types of 1 bits

Create global vars with default values:

int a create a var with default value 0
float b create b var with default value 0
bool c create c var with default value false

Create global vars with assigned values:

int a=1 create a var with value 1
float b=1.0 create b var with value 1.0
bool c=true create c var with value true

Global vars can be defined only after package definition:

package packageA

int a=1

How to declare a variable in two scopes:

• at the package level
• at the function level

Package Var

A var can be accessed from all functions in that package. This var needs to be declared out the functions and not initialized, can be initialized only into a function.

Function Var

A var can be accessed from only elements in the same function where declared.

Use llvm::StringRef for all words from the source file in Parser, AST, Sema and CodeGen.

Based on #5 and #14

Parse the body of a Function by identifying:

• Return
• Var declarations (with assignment or not)
• Var assignment
  • Reference to other Var
  • Add Expression with operators with all complex combinations
  • Call to a Function
  • Ternary Operator
• Call to a Function

Add all to the Function AST

Find the right way to remove void from builtin types and use only in function types

How to demarcate boundaries between two separate statements?
Define statement terminator for using to demarcate the end of an individual statement and its implicit behavior:

• C/C++, Java: uses a semicolon
• Javascript: use an implicit semicolon if not present in the code
• Go: not use semicolons but the compiler inserts them.
• Python: newline terminated

Chose the representation of the following operators:

• Arithmetic Operators
• Relational Operators
• Logical Operators
• Bitwise Operators
• Assignment Operators

Create the Fly syntax for defining a function

Following different examples from known languages, chose the best syntax (combination permitted) by considering the most readable solution. You can also make a different proposal.

Python

def printme( str ):
   print str
   return true

Rust

fn printme(str: String) -> bool {
    println!(str);
    return true;
}

C/C++

bool printme(char str*) {
  cout << str;
  return true;
}

Javascript

function printme(str) {
  alert(str)
  return true;
}

Go

func printme(str string) bool {
  fmt.Println(str)
  return true
}

Each AST class need to to have a print() function that write the content like the fly language does.
Example:
ASTFunction::print()

public void test() {
...
}

The structure type is used to represent a collection of data members together in memory. The elements of a structure may be any type that has a size.

https://www.llvm.org/docs/LangRef.html#t-struct

Each block of code need to be debuggable

Define the syntax for the best approach for defining a package, importing, and use in the code.
Following some programming language examples:

• Javascript: import "modname";
• Java: import package.*
• PHP: use Namespace\function_name as function_alias_name;
• Rust: use module::submodule::symbol as altname
• C++: #include and using namespace std;
• Go: import m "math" or import . "math"

Easy, readable and powerful

Define the conditional keywords and punctuators by considering the connected issue Syntax: define the block of code delimiter.

• if-then-else blocks
• switch-case blocks

Each programming languages use a different kind of block delimiter, for functions and statements defining:

• {} used in C/C++, Java, Go, PHP, C#, Swift, Rust ...
• tab and spaces used in Python, Haskell
• Special keywords like Begin/End used in Pascal, Delphi, ML
• A mix of brace, spaces, and keywords like in Ruby

Chose the Fly solution for maintaining code readability and ease of use.

Enable comments by following options:

• // double slash
• /* */ slash asterisk
• # hashtag
• -- double dash

For more Options:
https://en.wikipedia.org/wiki/Comment_(computer_programming)

Refactoring from Parser to CodeGen for including error management.
Remove not useful assertions.

Define the cycling keywords and punctuators by considering the connected issue Syntax: define the block of code delimiter.

• while, while-do, do-while
• for

Permit to compile code for debugging by option -g

Add string as data type

Define the Comment Parser based on #8
Store comments in AST respectively

Add a base ASTCondition Class for:

• ASTIfBlock
• ASTSwitchBlock
• ASTWhileBlock
• ASTForBlock