unspeaker/tengri
1
0
Fork 0
mirror of https://codeberg.org/unspeaker/tengri.git synced 2025-12-06 11:46:42 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

dsl eval and ns again

Browse source
This commit is contained in:
🪞👃🪞 2025-08-16 12:38:24 +03:00
parent d7884f6289
commit 4fc0db5777
3 changed files with 256 additions and 81 deletions
Download patch file Download diff file Expand all files Collapse all files

74
dsl/src/dsl_ns.rs
View file

@ -1,74 +0,0 @@
use crate::*;
/// Namespace where keys are symbols.
pub trait DslSymNs<'t, T: 't>: 't {
/// Known symbold.
const SYMS: DslNs<'t, fn (&'t Self)->Perhaps<T>> = DslNs(&[]);
/// Resolve a symbol if known.
fn from_sym <D: Dsl> (&'t self, dsl: D) -> Perhaps<T> {
if let Some(dsl) = dsl.sym()? {
for (sym, get) in Self::SYMS.0 { if dsl == *sym { return get(self) } }
}
return Ok(None)
}
}
/// Define a symbol namespace.
#[macro_export] macro_rules! dsl_sym_ns (
(|$state:ident:$State:ty| -> $Type:ty {$($lit:literal => $exp:expr),* $(,)?})=>{
impl<'t> DslSymNs<'t, $Type> for $State {
const SYMS: DslNs<'t, fn (&'t $State)->Perhaps<$Type>> = DslNs(&[
$(($lit, |$state: &$State|Ok(Some($exp)))),*
]);
}
});
/// Namespace where the keys are heads of expressions.
pub trait DslExpNs<'t, T: 't>: 't {
/// Known expressions.
const EXPS: DslNs<'t, fn (&'t Self, &str)->Perhaps<T>> = DslNs(&[]);
/// Resolve an expression if known.
fn from_exp <D: Dsl> (&'t self, dsl: D) -> Perhaps<T> {
if let Some(exp) = dsl.exp()? {
//panic!("exp\n{:?}\n{:?}\n{:?}\n{:?}",
//exp.src(), exp.head(), exp.head().src(), Self::EXPS.0);
for (key, value) in Self::EXPS.0.iter() {
println!("{key} {:?}", exp.head());
if exp.head() == Ok(Some(key)) { return value(self, exp.tail()?.unwrap_or("")) }
}
}
return Ok(None)
}
}
/// Define an expression namespace.
#[macro_export] macro_rules! dsl_exp_ns (
(|$state:ident:$State:ty|->$Type:ty { $( (
$key:literal $(/ $sub:ident : $Sub:ty)? $(, $arg:ident:$ty:ty)* $(, ..$tail:ident)?
) => $body:expr),* $(,)? }) => {
impl<'t> DslExpNs<'t, $Type> for $State {
const EXPS: DslNs<'t, fn (&'t $State, &str)->Perhaps<$Type>> = DslNs(&[ $(
($key, |$state: &$State, mut tail: &str|{
$(let $arg: $ty = if let Some(val) = dsl_next(&mut tail)? {
val
} else {
return Err(format!("missing arg: {}", stringify!($arg)).into())
};)*
$(let $tail = tail;)?
Ok(Some($body))
})
),* ]);
}
});
pub fn dsl_next <T> (dsl: &mut impl Dsl) -> DslPerhaps<T> {
todo!()
}
/// Namespace.
///
/// Currently linearly searched.
/// Maybe it's better to use a trie.
/// I don't think there's a `const` trie in Rust?
/// Oughtta be.
pub struct DslNs<'t, T: 't>(pub &'t [(&'t str, T)]);