j/Conlang
1
1
Fork 0
Code Issues 5 Pull Requests Packages Projects 2 Releases Wiki Activity
416 Commits 3 Branches 6 Tags
Commit Graph

62 Commits

Author SHA1 Message Date
John
e3d94d8949 conlang: Unify binding operations! 
This breaks out the pattern matching/unification algorithm from cl-interpret/interpret.rs to cl-interpret/pattern.rs

TODO: pattern destructuring in const, static :^)
 2025-02-22 05:16:37 -06:00
John
7a8da33de9 cl-interpret: Tuple structs + fix tuple member access 2025-02-22 03:31:27 -06:00
John
697d139cfd conlang: Add Tuple-Struct Patterns 
- Patterns are no longer parsed with the highest precedence
- Function calls with just a path and a tuple of args can now be transformed into a Pattern
 2025-02-22 01:37:08 -06:00
John
5d2c714bc1 conlang: Patterns...2! 
- Deny arbitrary paths in patterns (only one non-keyword identifier allowed!)
- Allow patterns in for-loop binders (literally useless atm, but it's a step toward making patterns the only way to bind names.)

Next: Functions, Tuple Struct Patterns... And solving the stupid syntactic ambiguity of structors.
 2025-02-22 01:00:29 -06:00
John
b115fea71b cl-interpret: fix import in builtin! doctest 2025-02-21 22:49:14 -06:00
John
088cd4d1e4 cl-interpret: Change format of todo for Impl 2025-02-20 22:05:23 -06:00
John
0fd9c002fc cl-interpret: Interpret items in a file in a particular order 
1) mod
2) use
3) enum, struct, type
4) fn
5) impl
6) const | static

This is a stopgap until names are statically resolved
 2025-02-20 22:04:27 -06:00
John
772286eefa conlang: Single-expression functions 2025-02-20 21:59:42 -06:00
John
a6ad20911d builtins: Add temp builtin for dumping the global string pool 2025-02-18 21:49:59 -06:00
John
edabbe1655 cl-interpret: process use items and imports in the interpreter 2025-02-18 21:44:52 -06:00
John
af9c293907 cl-interpret, cl-repl: 
Move IO builtins into the CLI, so get_line can use repline keybinds.
 2025-02-06 21:35:17 -06:00
John
0e3ba342c4 cl-interpret: make the error type smaller (at the cost of a heap allocation) 2025-01-31 03:35:35 -06:00
John
d95d35268e cl-interpret: Builtin refactor 
- Everything is different now
  - Builtins are now built on top of Rust functions, so they can be recursive!
  - TODO: allow macro-defined builtins to call each other?
- The builtins! macro is a lot nicer to work with
  - No redundant return value
  - Maps the result over Into::into, allowing for type inference!
  - Uses explicit pattern syntax instead of weird binding, where possible
  - Does not #[allow(unused)], so you'll get unused variable warnings now!
 2025-01-31 03:34:45 -06:00
John
0c2b0002ce conlang: Docs! 2025-01-29 05:07:08 -06:00
John
026681787a cl-interpret: Add a new pretty-debug-printer builtin 2025-01-29 04:16:28 -06:00
John
80e1219808 cl-interpret: Tests for new pattern matching behavior 
TODO: Expand control flow tests
 2025-01-29 04:15:57 -06:00
John
6ee9bbd72e conlang: PATTERN MATCHING AND DESTRUCTURED BINDINGS WOOOOO 
- Integrate the Match and Pattern nodes into the AST
  - TODO: `let x: T` is ambiguous with `let x: {}`. Currently the latter takes precedence in the parser.

- Implement pattern matching through unification in the interpreter.
  - It's not fast, but it works!

- Refactor destructuring assignments to use the new pattern functionality
 2025-01-29 04:15:33 -06:00
John
d21683ad61 conlang: Add Quote expression as a hack for testing 
Possibly removed later, or replaced with something that turns Conlang AST nodes into Conlang data structures.
 2025-01-29 03:56:19 -06:00
John
518fbe74a1 cl-ast: Fix AddrOf misbehavior 2025-01-29 03:31:24 -06:00
John
5db77db6b8 cl-interpret: Use dyn dispatch for iterators. 
- This is a hack because the language has the syntax but no concept of iterators
 2025-01-28 06:25:04 -06:00
John
145a24c5ff cl-interpret: Assignment 2.0, now with more destructuring! 
TODO: Destructuring `let`, destructuring patterns in function args..?
 2025-01-28 06:23:37 -06:00
John
485afb7843 cl-interpret: Make ConValues act like value types 
(Aside from the fact that they're smothered in heap allocations)
 2025-01-28 06:20:10 -06:00
John
01871bf455 cl-interpret: get_line builtin! 2025-01-28 06:14:05 -06:00
John
fd361f2bea cl-interpret: Upvars 2.0 
- Only captures locals
 2025-01-28 06:13:38 -06:00
John
0eef6b910c cl-interpret/collect_upvars: elide lifetime 2025-01-23 18:53:07 -06:00
John
c50940a44c cl-interpret: Make an attempt at closures 
(It kinda sucks, but it emulates closures half decently)
 2025-01-23 16:23:42 -06:00
John
883fd31d38 conlang: Elide lifetimes (fixes clippy lint) 2025-01-16 20:57:33 -06:00
John
df68d6f2e6 cl-interpret/tests: Fix broken test 2024-09-19 14:29:21 -05:00
John
5deb585054 cl-ast: Add float support 
- Smuggle floats as integers to maintain `eq`
- This is bad, but not terrible for spec-compliant floats. Might have issues with NaN.

cl_parser: Smuggle floats

cl_interpret: unpack smuggled floats in float literal node
 2024-09-19 13:20:19 -05:00
John
fad28beb05 interpreter: Add float machinery 
- operators
- type casting
 2024-09-18 01:02:09 -05:00
John
8675f91aca cl-ast: Remove tail from let (it caused more problems that it could've solved) 2024-07-31 03:19:20 -05:00
John
97808fd855 cl-parser: Transliterate to a trait-based parsing implementation 
Bump version number.
 2024-07-31 01:39:00 -05:00
John
388a69948e Revert "cl-ast: Unify break, return, and unary expressions" 
This reverts commit adb0fd229c9621ad409871115f1a688ddf67e3f3.
 2024-07-30 22:31:39 -05:00
John
adb0fd229c cl-ast: Unify break, return, and unary expressions 2024-07-30 20:16:07 -05:00
John
0e545077c6 cl-ast: Remove "Continue" struct 2024-07-30 19:42:28 -05:00
John
b64cc232f9 cl-ast: Move loop expression into unary exprs (with lowest priority) 2024-07-30 18:21:25 -05:00
John
b0341f06fd cl-ast: Move let into Expr 2024-07-30 18:02:09 -05:00
John
b17164b68b cl-interpret: Write an example for driving the interpreter 2024-07-29 15:42:05 -05:00
John
ecebefe218 cl-interpret: Knock those modules free! 2024-07-27 22:47:46 -05:00
John
b2733aa171 cl-interpret/builtin: Add len builtin as a quick hack to write more interesting programs. 
This is temporary, I just want a way to get the length of a thing atm.
 2024-07-27 18:43:03 -05:00
John
3f5c5480ae cl-interpret: [NOT FINAL] Add unicode-aware O(n) string indexing 2024-07-27 18:04:39 -05:00
John
e43847bbd4 conlang: Introduce as casting 
Arbitrary primitive type conversion

Currently implemented as jankily as possible in the interpreter, but it works alright™️
 2024-07-26 05:26:08 -05:00
John
b3d62c09aa conlang: Self is not a type, it's a path to a type 2024-07-17 15:05:52 -05:00
John
15c4b89bce cl-interpret: builtin.rs whitespace changes 2024-07-11 04:43:25 -05:00
John
aa7612926e cl-interpret: Add format builtin 
Might as well add some new features to play around with until I rip 'em all out
 2024-07-11 04:42:36 -05:00
John
a646a9e521 cl-interpret: VERY rudimentary support for Const and Static 2024-07-11 03:07:56 -05:00
John
d692f6bb80 cl-interpret: Complain, rather than panic, on outlined module 2024-07-11 02:48:35 -05:00
John
d723f7cece cl-interpret: String-building addition 
Note: This drastically increases the number of symbols. Yeowch.
 2024-07-09 06:14:44 -05:00
John
b446677eda cl-interpret: Enforce wrapping behavior 2024-07-09 06:13:55 -05:00
John
0beb121f32 cl-interpret: Change print to print without newline, add new println builtin 2024-07-09 06:13:05 -05:00