adelarsq / lightlang Goto Github PK

Prolog support will be based on Shen approach.

Links:

• Shen Prolog
• Samples

Verify if infix functions will be good or not for simplicy of the language.

Reference: fsharp/fslang-suggestions#772

Links:

• Cyclic dependencies are evil

This will be in a proper library, but keeping this for now.

Related articles:
https://www.nature.com/articles/s41586-023-06004-9

Features:

• Create package for the transpiled language/platforms
• Namespace support

Source generators within the language itselt for:

• FFI pourpouses
• Syntax extensions (SQL, HTML, ...)
• Type providers? 1

It's an interesting idea based on the article https://notes.eatonphil.com/2024-03-15-zig-rust-and-other-languages.html :

I think the ideal situation in the future will be that every language supports annotating blocks of code as must-not-allocate or something along those lines. Either the compiler will enforce this and fail if you seem to allocate in a block marked must-not-allocate, or it will panic during runtime so you can catch this in tests.

Using comptime instead of generics, based on Zig approach.

Links:

• What is Zig comptime

This will be in a proper library, but keeping this for now.