j/Conlang
1
1
Fork 0
Code Issues 5 Pull Requests Packages Projects 2 Releases Wiki Activity
The Conlang programming language is an expression-based interpreted (todo: compiler) language
173 Commits 2 Branches 6 Tags 2.3 MiB
Rust 95.3%
C 4.7%
7b40ddc845
Go to file
John 7b40ddc845 cl-ast: destination side of type alias should be an identifier
2024-04-01 04:20:26 -05:00
.gitea/issue_template gitea: update feature-proposal.md 2024-03-01 03:13:07 -06:00
cl-ast cl-ast: destination side of type alias should be an identifier 2024-04-01 04:20:26 -05:00
cl-interpret temp_type_impl: pretty-print functions 2024-03-01 02:47:07 -06:00
cl-lexer cl-lexer: switch to unicode-ident crate, since a dependency of cl-repl depends on it. 2024-03-01 04:11:38 -06:00
cl-parser cl-ast: destination side of type alias should be an identifier 2024-04-01 04:20:26 -05:00
cl-repl cl-repl: Add example that prints the AST in a more friendly way than Debug but in a more verbose way than Display 2024-03-27 01:24:28 -05:00
cl-structures cl-structures: Sketch out a type-safe generic interning pool 2024-03-27 01:26:27 -05:00
cl-token all: #![warn(clippy::all)] 2024-02-29 21:04:45 -06:00
cl-typeck cl-typeck: Continue work on symbol namespaces 2024-03-27 01:54:19 -05:00
sample-code interpreter: BuiltIn overhaul! 2024-02-29 16:48:09 -06:00
stdlib Pretend conlang has a complete compiler, and start mocking up a standard library 2024-03-01 02:50:50 -06:00
.gitignore Update .gitignore 2023-10-16 22:32:22 -05:00
.rustfmt.toml .rustfmt.toml: Configure rustfmt to be slightly more pretty 2023-09-22 23:55:19 -05:00
Cargo.toml conlang: bump version number 2024-03-01 03:16:02 -06:00
dummy.cl parser: Mockup type-expression syntax 2023-10-30 00:07:27 -05:00
grammar.ebnf ast: Add metadata attributes on Items 2024-02-27 23:31:49 -06:00
LICENSE.md Add LICENSE 2023-10-23 21:05:51 -05:00
readme.md Conlang: Implement functions 1.0 (Resolves #12) 2023-10-29 23:47:00 -05:00

readme.md

Conlang: Expression-Oriented Programming Language

This project began out of a desire to merge Rust-style control flow expressions with Python's fun for-else/while-else syntax. I fully intend to devote my spare time to conlang for the forseeable future, and I livestream development on Twitch for one Friday each month.

Immediate Goals:

  • Decide on a minimal set of keywords and operators to support
  • Lex an entire Rust source file (minus generics, paths, and lifetimes)
  • Write expression grammar
  • Write AST for expression grammar
  • Write parser for AST
  • Create tests for parser (and AST)
  • Parse dummy.cl into a valid AST
  • Pretty printer, for debugging
  • Create minimal statement grammar
    • Variable definition statements
    • Function definition statements

Short Goals:

  • for loops and while loops can be used on the trailing side of an assignment
  • Tree-walk interpreter for prototyping and debugging
  • Data structures and sum-type enums
  • Expression type-checker
  • Trait/Interface system
  • Three-address bytecode VM for standard library development

Long Goals:

  • Minimize the number of kinds of statements
  • Compile to LLVM IR
  • Create a standard library for the language, with Rust-like abstractions.
  • Port the compiler to Conlang