diff --git a/reid/src/ast/mod.rs b/reid/src/ast/mod.rs
index 0f5a83a..afa119c 100644
--- a/reid/src/ast/mod.rs
+++ b/reid/src/ast/mod.rs
@@ -66,6 +66,7 @@ pub enum ExpressionKind {
     IfExpr(Box<IfExpression>),
     StructExpression(StructExpression),
     UnaryOperation(UnaryOperator, Box<Expression>),
+    CastTo(Box<Expression>, Type),
 }
 
 #[derive(Debug, Clone)]
diff --git a/reid/src/ast/parse.rs b/reid/src/ast/parse.rs
index 9b923a7..ea26c59 100644
--- a/reid/src/ast/parse.rs
+++ b/reid/src/ast/parse.rs
@@ -233,10 +233,27 @@ impl Parse for PrimaryExpression {
             }
         }
 
+        while let Ok(as_cast) = stream.parse::<AsCast>() {
+            expr = Expression(
+                ExpressionKind::CastTo(Box::new(expr), as_cast.0),
+                stream.get_range().unwrap(),
+            );
+        }
+
         Ok(PrimaryExpression(expr))
     }
 }
 
+#[derive(Debug)]
+pub struct AsCast(Type);
+
+impl Parse for AsCast {
+    fn parse(mut stream: TokenStream) -> Result<Self, Error> {
+        stream.expect(Token::AsKeyword)?;
+        Ok(AsCast(stream.parse()?))
+    }
+}
+
 /// This algorithm seems somewhat like magic to me. I understand it if I read
 /// carefully, but it is difficult to read every single time.
 ///
diff --git a/reid/src/ast/process.rs b/reid/src/ast/process.rs
index 23e1c41..58498b0 100644
--- a/reid/src/ast/process.rs
+++ b/reid/src/ast/process.rs
@@ -256,6 +256,7 @@ impl ast::Expression {
                     Box::new(expr.process(module_id)),
                 ),
             },
+            ast::ExpressionKind::CastTo(expression, _) => todo!(),
         };
 
         mir::Expression(kind, self.1.as_meta(module_id))
diff --git a/reid/src/lexer.rs b/reid/src/lexer.rs
index 919f27e..769aa40 100644
--- a/reid/src/lexer.rs
+++ b/reid/src/lexer.rs
@@ -24,6 +24,8 @@ pub enum Token {
     FnKeyword,
     /// `pub`
     PubKeyword,
+    /// `as`
+    AsKeyword,
     /// `->`
     Arrow,
     /// `if`
@@ -124,6 +126,7 @@ impl ToString for Token {
             Token::False => String::from("false"),
             Token::Extern => String::from("extern"),
             Token::Struct => String::from("struct"),
+            Token::AsKeyword => String::from("as"),
             Token::Semi => String::from(';'),
             Token::Equals => String::from('='),
             Token::Colon => String::from(':'),
@@ -286,6 +289,7 @@ pub fn tokenize<T: Into<String>>(to_tokenize: T) -> Result<Vec<FullToken>, Error
                     "extern" => Token::Extern,
                     "pub" => Token::PubKeyword,
                     "struct" => Token::Struct,
+                    "as" => Token::AsKeyword,
                     _ => Token::Identifier(value),
                 };
                 variant