types

scout-interpreter/src/builtin.rs

@@ -28,6 +28,7 @@ pub enum BuiltinKind {
     Len,
     Input,
     Contains,
+    Type,
 }
 
 impl BuiltinKind {
@@ -43,6 +44,7 @@ impl BuiltinKind {
             "len" => Some(Len),
             "input" => Some(Input),
             "contains" => Some(Contains),
+            "type" => Some(Type),
             _ => None,
         }
     }
@@ -55,6 +57,10 @@ impl BuiltinKind {
     ) -> EvalResult {
         use BuiltinKind::*;
         match self {
+            Type => {
+                assert_param_len!(args, 1);
+                Ok(Arc::new(Object::Str(args[0].type_str().to_string())))
+            }
             Print => {
                 for obj in args {
                     println!("{obj}");

scout-interpreter/src/object.rs

@@ -15,6 +15,22 @@ pub enum Object {
     Fn(Vec<Identifier>, Block),
 }
 
+impl Object {
+    pub fn type_str(&self) -> &str {
+        use Object::*;
+        match self {
+            Null => "null",
+            Map(_) => "map",
+            Str(_) => "string",
+            Node(_) => "node",
+            List(_) => "list",
+            Boolean(_) => "bool",
+            Number(_) => "number",
+            Fn(_, _) => "fn",
+        }
+    }
+}
+
 impl PartialEq for Object {
     fn eq(&self, other: &Self) -> bool {
         use Object::*;