v0.4.2-alpha

[Fix][Impl] 为了消除类构造带来的语法歧义，同时保持实现简洁和括号省略的语法，自此版本，引入了 `new` 操作符
            造成歧义的原方法：
                if a == A{}
            条件是 a == A，还是 a == A{} ?

            因此，现在使用 new a_struct{}来构造类
[Opti] 相较于 Fig v0.4.1-alpha版本，release O3同编译条件下
       Fib普通递归法性能提升 ~50%
       具体方式:
            增加了小整数优化，-128~127的整数现在会直接从IntPool获取而不是新构造
            ...忘了
[Fix] 类构造 shorthand模式忘写了，现在补上了
[Feat][Impl] 类型声明现在接受一个表达式，原为Identifier。实现 var start: time.Time = time.now() 的效果
             这是符合语法和语言特性的支持，类型为一等公民。类似Python的 <class 'type'>

[Impl] 修改了部分错误输出的细节

.gitea/workflows/build.yml

@@ -61,7 +61,7 @@ jobs:
           # 安装依赖并构建
           pip install --upgrade pip
           pip install -r requirements.txt
-          python3 -m PyInstaller -F -n fig-setup --distpath ./dist/linux main.py
+          python3 -m PyInstaller -F -n FigSetup-Linux --distpath ./dist/linux main.py
           echo "Linux安装器构建完成"
 
       - name: 打包Linux发布文件
@@ -119,12 +119,12 @@ jobs:
             "$API/releases/$RELEASE_ID/assets?name=Fig-$VERSION-linux-x86_64.sha256"
           
           # 🔧 新增：上传Linux安装器
-          if [ -f "Installer/ConsoleInstaller/dist/linux/fig-setup" ]; then
+          if [ -f "Installer/ConsoleInstaller/dist/linux/FigSetup-Linux" ]; then
             echo "正在上传Linux安装器..."
             curl -sS -X POST -H "Authorization: token $GITEA_TOKEN" \
               -H "Content-Type: application/octet-stream" \
-              --data-binary @Installer/ConsoleInstaller/dist/linux/fig-setup \
-              "$API/releases/$RELEASE_ID/assets?name=fig-setup"
+              --data-binary @Installer/ConsoleInstaller/dist/linux/FigSetup-Linux \
+              "$API/releases/$RELEASE_ID/assets?name=FigSetup-Linux"
           fi
           
           echo "✅ Linux版本发布完成！"
@@ -186,13 +186,16 @@ jobs:
         run: |
           [Console]::OutputEncoding = [System.Text.Encoding]::UTF8
           
-          # 确保版本号不为空
-          $VERSION = $env:VERSION
-          if ([string]::IsNullOrEmpty($VERSION)) {
-            Write-Host "警告：版本号为空，使用默认值 dev-build"
-            $VERSION = "dev-build"
+          # 🔧 修改：与发布步骤使用相同的版本号计算逻辑
+          if ($env:GITHUB_EVENT_NAME -eq 'workflow_dispatch') {
+            $VERSION = $env:INPUT_VERSION
+            if (-not $VERSION) { $VERSION = "dev-build" }
+          } else {
+            $VERSION = $env:GITHUB_REF_NAME
           }
           
+          Write-Host "打包版本: $VERSION"
+          
           $PACKAGE_NAME = "Fig-${VERSION}-windows-x86_64"
           Write-Host "打包名称: $PACKAGE_NAME"
           
@@ -242,43 +245,77 @@ jobs:
           $API = "https://git.fig-lang.cn/api/v1/repos/$REPO"
           $TOKEN = $env:GITEA_TOKEN
           
-          Write-Host "正在上传Windows版本到发布 $VERSION ..."
+          # 🔧 新增：检查必需的文件是否存在
+          $ZIP_FILE = "Fig-$VERSION-windows-x86_64.zip"
+          $HASH_FILE = "Fig-$VERSION-windows-x86_64.sha256"
+          $INSTALLER_PATH = "Installer\ConsoleInstaller\dist\windows\FigSetup.exe"
           
-          # 1. 尝试通过标签获取 Release ID
-          $RELEASE_RESPONSE = Invoke-RestMethod -Uri "$API/releases/tags/$VERSION" -Headers @{Authorization = "token $TOKEN" } -ErrorAction SilentlyContinue
-          if ($RELEASE_RESPONSE -and $RELEASE_RESPONSE.id) {
-            $RELEASE_ID = $RELEASE_RESPONSE.id
-            Write-Host "找到已有发布 ID: $RELEASE_ID"
+          if (-not (Test-Path $ZIP_FILE)) {
+            Write-Host "❌ 错误：找不到ZIP文件 $ZIP_FILE"
+            Get-ChildItem *.zip
+            exit 1
+          }
+          
+          Write-Host "正在为Windows版本创建/更新发布 $VERSION ..."
+          
+          # 🔧 关键修改：直接创建发布，不先检查（与Linux逻辑一致）
+          $CREATE_BODY = @{
+            tag_name = $VERSION
+            name = "Fig $VERSION"
+            draft = $false
+            prerelease = $false
+          } | ConvertTo-Json -Compress
+          
+          Write-Host "创建发布请求体: $CREATE_BODY"
+          
+          # 直接创建发布（Gitea会自动处理重复创建）
+          $RESPONSE = Invoke-RestMethod -Method Post -Uri "$API/releases" `
+            -Headers @{
+              Authorization = "token $TOKEN"
+              'Content-Type' = 'application/json'
+            } -Body $CREATE_BODY -ErrorAction SilentlyContinue
+          
+          if (-not $RESPONSE -or -not $RESPONSE.id) {
+            # 如果创建失败，尝试通过标签获取已有发布的ID
+            Write-Host "创建失败，尝试获取已有发布..."
+            $RESPONSE = Invoke-RestMethod -Uri "$API/releases/tags/$VERSION" `
+              -Headers @{Authorization = "token $TOKEN" } `
+              -ErrorAction SilentlyContinue
+          }
+          
+          if ($RESPONSE -and $RESPONSE.id) {
+            $RELEASE_ID = $RESPONSE.id
+            Write-Host "✅ 使用发布 ID: $RELEASE_ID 进行上传"
           } else {
-            # 如果不存在，则创建新发布
-            Write-Host '发布不存在，正在创建...'
-            $CREATE_BODY = @{tag_name = $VERSION; name = "Fig $VERSION"; draft = $false; prerelease = $false } | ConvertTo-Json
-            $CREATE_RESPONSE = Invoke-RestMethod -Method Post -Uri "$API/releases" -Headers @{Authorization = "token $TOKEN"; 'Content-Type' = 'application/json' } -Body $CREATE_BODY
-            if ($CREATE_RESPONSE -and $CREATE_RESPONSE.id) {
-              $RELEASE_ID = $CREATE_RESPONSE.id
-              Write-Host "创建新发布 ID: $RELEASE_ID"
-            } else {
-              Write-Host '错误：无法获取或创建发布'
-              exit 1
-            }
+            Write-Host "❌ 错误：无法获取或创建发布 ID"
+            exit 1
           }
           
-          # 2. 使用 Release ID 上传资产
-          Write-Host '正在上传 ZIP 文件...'
-          Invoke-RestMethod -Method Post -Uri "$API/releases/$RELEASE_ID/assets?name=Fig-$VERSION-windows-x86_64.zip" -Headers @{Authorization = "token $TOKEN"; 'Content-Type' = 'application/octet-stream' } -InFile "Fig-$VERSION-windows-x86_64.zip"
+          # 上传资产
+          Write-Host "正在上传 ZIP 文件..."
+          Invoke-RestMethod -Method Post -Uri "$API/releases/$RELEASE_ID/assets?name=$ZIP_FILE" `
+            -Headers @{
+              Authorization = "token $TOKEN"
+              'Content-Type' = 'application/octet-stream'
+            } -InFile $ZIP_FILE -ErrorAction SilentlyContinue
           
-          Write-Host '正在上传校验文件...'
-          Invoke-RestMethod -Method Post -Uri "$API/releases/$RELEASE_ID/assets?name=Fig-$VERSION-windows-x86_64.sha256" -Headers @{Authorization = "token $TOKEN"; 'Content-Type' = 'text/plain' } -InFile "Fig-$VERSION-windows-x86_64.sha256"
+          Write-Host "正在上传校验文件..."
+          Invoke-RestMethod -Method Post -Uri "$API/releases/$RELEASE_ID/assets?name=$HASH_FILE" `
+            -Headers @{
+              Authorization = "token $TOKEN"
+              'Content-Type' = 'text/plain'
+            } -InFile $HASH_FILE -ErrorAction SilentlyContinue
           
-          # 🔧 新增：上传Windows安装器
-          $InstallerPath = "Installer\ConsoleInstaller\dist\windows\FigSetup.exe"
-          if (Test-Path $InstallerPath) {
-              Write-Host '正在上传Windows安装器...'
-              Invoke-RestMethod -Method Post -Uri "$API/releases/$RELEASE_ID/assets?name=FigSetup.exe" `
-                -Headers @{
-                  Authorization = "token $TOKEN"
-                  'Content-Type' = 'application/octet-stream'
-                } -InFile $InstallerPath
+          # 上传Windows安装器
+          if (Test-Path $INSTALLER_PATH) {
+            Write-Host "正在上传Windows安装器..."
+            Invoke-RestMethod -Method Post -Uri "$API/releases/$RELEASE_ID/assets?name=FigSetup.exe" `
+              -Headers @{
+                Authorization = "token $TOKEN"
+                'Content-Type' = 'application/octet-stream'
+              } -InFile $INSTALLER_PATH -ErrorAction SilentlyContinue
+          } else {
+            Write-Host "⚠️  警告：未找到安装器文件 $INSTALLER_PATH"
           }
           
-          Write-Host '✅ Windows版本发布完成！'
+          Write-Host "✅ Windows版本发布完成！"

ExampleCodes/1-Variables.fig

@@ -11,3 +11,69 @@ invalid!
 
 const Pi := 3.14; // recommended, auto detect type
 // equal -> const Pi: Double = 3.14;
+
+/*
+In fig, we have 13 builtin-type
+
+01  Any
+02  Null
+03  Int
+04  String
+05  Bool
+06  Double
+07  Function
+08  StructType
+09  StructInstance
+10  List
+11  Map
+12  Module
+13  InterfaceType
+
+3, 4, 5, 6, 10, 11 are initable
+
+value system:
+    object is immutable
+    (included basic types: Int, String...)
+
+    `variable` is a name, refers to an object
+    assignment is to bind name to value
+    
+    Example: var a := 10;
+
+    [name] 'a' ---> variable slot (name, declared type, access modifier, [value) ---> ObjectPtr ---> raw Object class
+               bind                                                              bind (shared_ptr)
+
+    For example:
+        var a := 10;
+        var b := 10;
+
+        `a` and `b` reference to the same object in memory
+
+        a = 20;
+
+        now a refers to a new object (20, Int)
+
+        what about complex types?
+        they actually have same behaviors with basic types
+
+        var a := [1, 2, 3, 4];
+        var b := a;
+
+        > a
+          [1, 2, 3, 4]
+        > b
+          [1, 2, 3, 4]
+        
+        set a[0] to 5
+
+        > a
+          [5, 2, 3, 4]
+        > b
+          [5, 2, 3, 4]
+
+        Why did such a result occur?
+    
+        " `a` and `b` reference to the same object in memory "
+
+        If you wish to obtain a copy, use List {a} to deeply copy it
+*/

ExampleCodes/SpeedTest/fibBenchmark.fig

@@ -0,0 +1,65 @@
+import std.io;
+import std.time;
+
+func benchmark(fn: Function, arg: Any) -> Null
+{
+    io.println("Testing fn:", fn, "with arg:", arg);
+    const start := time.now();
+    
+    const result := fn(arg);
+    
+    const end := time.now();
+    const duration := new time.Time{
+        end.since(start)
+    };
+    io.println("=" * 50);
+    io.println("fn returns:", result, "\n");
+    io.println("Cost:", duration.toSeconds(), "s");
+    io.println("     ", duration.toMillis(), "ms");
+}
+
+var memo := {};
+
+func fib_memo(x)
+{
+    if memo.contains(x)
+    {
+        return memo.get(x);
+    }
+    if x <= 1
+    {
+        memo[x] = x;
+        return x;
+    }
+    var result := fib_memo(x - 1) + fib_memo(x - 2);
+    memo[x] = result;
+    return result;
+}
+
+func fib_iter(n)
+{
+    var a := 0;
+    var b := 1;
+    for var i := 0; i < n; i = i + 1
+    {
+        var temp := a + b;
+        a = b;
+        b = temp;
+    }
+    return a;
+}
+
+func fib(x)
+{
+    if x <= 1
+    {
+        return x;
+    }
+    return fib(x - 1) + fib(x - 2);
+}
+
+const n := 28;
+
+benchmark(fib, n);
+benchmark(fib_memo, n);
+benchmark(fib_iter, n);

Installer/ConsoleInstaller/main.py

@@ -9,7 +9,7 @@ import json
 import zipfile
 import platform
 from os import path as ospath
-from os import mkdir,chdir
+from os import mkdir,chdir,remove,rename
 
 from sys import exit, argv
 
@@ -49,12 +49,7 @@ def getReleases():
     # print(rel)
     return rel
 
-def install(url, path:str) -> None:
-    if not ospath.exists(path):
-        mkdir(path)
-    
-    filename = path.split('/')[-1]
-    
+def install(url, path:str, filename:str) -> None:
     response = requests.get(url, stream=True)
     total_size = int(response.headers.get('content-length', 0))
     
@@ -64,12 +59,29 @@ def install(url, path:str) -> None:
                 f.write(data)
                 b.update(len(data))
     
+    print()
     print(f'{filename} download completed.')
     print(f'unziping to {path} ...')
+    destZipPath = ospath.dirname(path)
     with zipfile.ZipFile(filename) as zip:
-        zip.extractall(path)
+        zip.extractall(destZipPath) # 解压到安装目录上一层
         
+    rename(ospath.join(destZipPath, ospath.splitext(filename)[0]), path)
+    print()
     print('unziping completed')
+    print('\n==========')
+    print('cleaning...')
+    remove(filename)
+    
+def osEnumToStr(os: int) -> str:
+    if os == Windows:
+        return 'windows'
+    elif os == Linux:
+        return 'linux'
+    elif os == Darwin:
+        return 'darwin'
+    
+    return 'other'
     
 
 def main() -> None:
@@ -84,7 +96,7 @@ def main() -> None:
     print(f'Install to (default: {dpath}): ', end='')
 
     path = input()
-    if path.isspace():
+    if not path:
         path = dpath
     print()
         
@@ -97,7 +109,7 @@ def main() -> None:
         print('No version has been released!')
         exit(0)
     
-    print('There are {} versions:' % len(releases))
+    print(f'There are {len(releases)} versions:')
     i = 1
     for release in releases:
         print(f"    {i} {release['name']} - {release['body']}")
@@ -114,8 +126,7 @@ def main() -> None:
     print()
     
     version = insVersion
-    if not usrInput.isspace():
-  
+    if usrInput:
         if '.' in usrInput:
             for release in releases:
                 if release['tag_name'].find(usrInput) != -1:
@@ -135,13 +146,15 @@ def main() -> None:
     print(f"Installing Fig-{version['tag_name']}")
     
     url = None
+    assetName = None
     for asset in version['assets']:
-        if asset['name'].find(osName) != -1:
+        assetName = asset['name']
+        if assetName.find(osEnumToStr(osName)) != -1 and assetName.find('.zip') != -1:
             url = asset['browser_download_url']
             break
     
     if url:
-        install(url, path)
+        install(url, path, assetName)
     else:
         print('Could not find artifact:')
         print(version['assets'])

fig-vscode/package.json

@@ -2,7 +2,7 @@
   "name": "fig-vscode",
   "displayName": "Fig Language",
   "description": "VSCode extension for Fig language with syntax highlighting",
-  "version": "0.0.2",
+  "version": "0.4.2",
   "publisher": "PuqiAR",
   "engines": {
     "vscode": "^1.90.0"

fig-vscode/syntaxes/fig.tmLanguage.json

@@ -57,7 +57,7 @@
       "patterns": [
         {
           "name": "keyword.control.fig",
-          "match": "\\b(and|or|not|import|func|var|const|final|while|for|if|else|struct|interface|impl|public|return|break|continue|try|catch|throw)\\b"
+          "match": "\\b(and|or|not|import|func|var|const|final|while|for|if|else|new|struct|interface|impl|public|return|break|continue|try|catch|throw)\\b"
         },
         { "name": "constant.language.fig", "match": "\\b(true|false|null)\\b" }
       ]

src/Ast/Expressions/InitExpr.hpp

@@ -7,7 +7,7 @@ namespace Fig::Ast
     class InitExprAst final : public ExpressionAst
     {
     public:
-        FString structName;
+        Expression structe;
 
         std::vector<std::pair<FString, Expression>> args;
 
@@ -30,8 +30,8 @@ namespace Fig::Ast
             type = AstType::InitExpr;
         }
 
-        InitExprAst(FString _structName, std::vector<std::pair<FString, Expression>> _args, InitMode _initMode) :
-            structName(std::move(_structName)), args(std::move(_args)), initMode(_initMode)
+        InitExprAst(Expression _structe, std::vector<std::pair<FString, Expression>> _args, InitMode _initMode) :
+            structe(std::move(_structe)), args(std::move(_args)), initMode(_initMode)
         {
             type = AstType::InitExpr;
         }

src/Ast/Statements/FunctionDefSt.hpp

@@ -23,14 +23,14 @@ namespace Fig::Ast
         FString name;
         FunctionParameters paras;
         bool isPublic;
-        FString retType;
+        Expression retType; 
         BlockStatement body;
-        FunctionDefSt() :
-            retType(ValueType::Null.name)
+
+        FunctionDefSt()
         {
             type = AstType::FunctionDefSt;
         }
-        FunctionDefSt(FString _name, FunctionParameters _paras, bool _isPublic, FString _retType, BlockStatement _body)
+        FunctionDefSt(FString _name, FunctionParameters _paras, bool _isPublic, Expression _retType, BlockStatement _body)
         {
             type = AstType::FunctionDefSt;
 

src/Ast/Statements/InterfaceDefSt.hpp

@@ -25,7 +25,7 @@ namespace Fig::Ast
     {
         FString name;
         FunctionParameters paras;
-        FString returnType;
+        Expression returnType;
 
         BlockStatement defaultBody = nullptr; // nullptr is non-default func
 

src/Ast/Statements/StructDefSt.hpp

@@ -12,12 +12,12 @@ namespace Fig::Ast
     {
         AccessModifier am;
         FString fieldName;
-        FString tiName;
+        Expression declaredType; 
         Expression defaultValueExpr;
 
         StructDefField() {}
-        StructDefField(AccessModifier _am, FString _fieldName, FString _tiName, Expression _defaultValueExpr) :
-            am(std::move(_am)), fieldName(std::move(_fieldName)), tiName(std::move(_tiName)), defaultValueExpr(std::move(_defaultValueExpr))
+        StructDefField(AccessModifier _am, FString _fieldName,  Expression _declaredType, Expression _defaultValueExpr) :
+            am(std::move(_am)), fieldName(std::move(_fieldName)), declaredType(std::move(_declaredType)), defaultValueExpr(std::move(_defaultValueExpr))
         {
         }
     };

src/Ast/Statements/VarDef.hpp

@@ -11,22 +11,28 @@ namespace Fig::Ast
         bool isPublic;
         bool isConst;
         FString name;
-        FString typeName;
+        // FString typeName;
+        Expression declaredType;
         Expression expr;
 
-        VarDefAst() :
-            typeName(ValueType::Any.name)
+        bool followupType;
+
+        VarDefAst()
         {
             type = AstType::VarDefSt;
+            declaredType = nullptr;
+            expr = nullptr;
+            followupType = false;
         }
-        VarDefAst(bool _isPublic, bool _isConst, FString _name, FString _info, Expression _expr) :
-            typeName(std::move(_info))
+        VarDefAst(bool _isPublic, bool _isConst, FString _name, Expression _declaredType, Expression _expr, bool _followupType)
         {
             type = AstType::VarDefSt;
             isPublic = _isPublic;
             isConst = _isConst;
             name = std::move(_name);
+            declaredType = std::move(_declaredType);
             expr = std::move(_expr);
+            followupType = _followupType;
         }
     };
 

src/Ast/astBase.hpp

@@ -26,14 +26,15 @@ namespace Fig::Ast
         TernaryExpr,
 
         /* Postfix */
-        MemberExpr, // a.b
-        IndexExpr,  // a[b]
+        MemberExpr,   // a.b
+        IndexExpr,    // a[b]
         FunctionCall, // a()
 
         /* Literals */
         ListExpr,  // [1, "2", 3
         TupleExpr, // (1, 2, 3)
         MapExpr,   // {a: 1}
+
         InitExpr,  // struct{"123", 456}
         FunctionLiteralExpr,
 
@@ -100,6 +101,8 @@ namespace Fig::Ast
     struct AstAddressInfo
     {
         size_t line, column;
+        std::shared_ptr<FString> sourcePath;
+        std::shared_ptr<std::vector<FString>> sourceLines;
     };
 
     class _AstBase
@@ -117,30 +120,20 @@ namespace Fig::Ast
 
         _AstBase() {}
 
-        void setAAI(AstAddressInfo _aai)
-        {
-            aai = std::move(_aai);
-        }
+        void setAAI(AstAddressInfo _aai) { aai = std::move(_aai); }
 
         virtual FString typeName()
         {
-            return FString::fromStringView(
-                FStringView::fromBasicStringView(magic_enum::enum_name(type)));
+            return FString::fromStringView(FStringView::fromBasicStringView(magic_enum::enum_name(type)));
         }
         virtual FString toString()
         {
             return FString(std::format("<Base Ast '{}' at {}:{}>", typeName().toBasicString(), aai.line, aai.column));
         }
 
-        AstAddressInfo getAAI()
-        {
-            return aai;
-        }
+        AstAddressInfo getAAI() { return aai; }
 
-        AstType getType()
-        {
-            return type;
-        }
+        AstType getType() { return type; }
     };
 
     class StatementAst : public _AstBase
@@ -148,10 +141,7 @@ namespace Fig::Ast
     public:
         using _AstBase::_AstBase;
         using _AstBase::operator=;
-        StatementAst()
-        {
-            type = AstType::StatementBase;
-        }
+        StatementAst() { type = AstType::StatementBase; }
 
         virtual FString toString() override
         {
@@ -162,10 +152,7 @@ namespace Fig::Ast
     class EofStmt final : public StatementAst
     {
     public:
-        EofStmt()
-        {
-            type = AstType::StatementBase;
-        }
+        EofStmt() { type = AstType::StatementBase; }
 
         virtual FString toString() override
         {
@@ -178,10 +165,7 @@ namespace Fig::Ast
     public:
         using _AstBase::_AstBase;
         using _AstBase::operator=;
-        ExpressionAst()
-        {
-            type = AstType::ExpressionBase;
-        }
+        ExpressionAst() { type = AstType::ExpressionBase; }
 
         virtual FString toString() override
         {
@@ -238,41 +222,24 @@ namespace Fig::Ast
     };
 
     static const std::unordered_set<Operator> unaryOps{
-        Operator::Not,
-        Operator::Subtract,
-        Operator::BitNot,
+        Operator::Not,      // !
+        Operator::Subtract, // -
+        Operator::BitNot,   // ~
+
+        Operator::BitAnd, // reference operator &
     };
     static const std::unordered_set<Operator> binaryOps{
-        Operator::Add,
-        Operator::Subtract,
-        Operator::Multiply,
-        Operator::Divide,
-        Operator::Modulo,
-        Operator::Power,
-        Operator::And,
-        Operator::Or,
+        Operator::Add,         Operator::Subtract,     Operator::Multiply,    Operator::Divide,
+        Operator::Modulo,      Operator::Power,        Operator::And,         Operator::Or,
 
-        Operator::Equal,
-        Operator::NotEqual,
-        Operator::Less,
-        Operator::LessEqual,
-        Operator::Greater,
-        Operator::GreaterEqual,
-        Operator::Is,
+        Operator::Equal,       Operator::NotEqual,     Operator::Less,        Operator::LessEqual,
+        Operator::Greater,     Operator::GreaterEqual, Operator::Is,
 
-        Operator::BitAnd,
-        Operator::BitOr,
-        Operator::BitXor,
-        Operator::BitNot,
-        Operator::ShiftLeft,
-        Operator::ShiftRight,
+        Operator::BitAnd,      Operator::BitOr,        Operator::BitXor,      Operator::BitNot,
+        Operator::ShiftLeft,   Operator::ShiftRight,
 
-        Operator::Assign,
-        Operator::PlusAssign,
-        Operator::MinusAssign,
-        Operator::AsteriskAssign,
-        Operator::SlashAssign,
-        Operator::CaretAssign
+        Operator::Assign,      Operator::PlusAssign,   Operator::MinusAssign, Operator::AsteriskAssign,
+        Operator::SlashAssign, Operator::CaretAssign
 
         // Operator::Walrus,
         // Operator::Dot
@@ -348,19 +315,9 @@ namespace Fig::Ast
     {
     public:
         std::vector<Statement> stmts;
-        BlockStatementAst()
-        {
-            type = AstType::BlockStatement;
-        }
-        BlockStatementAst(std::vector<Statement> _stmts) :
-            stmts(std::move(_stmts))
-        {
-            type = AstType::BlockStatement;
-        }
-        virtual FString typeName() override
-        {
-            return FString(u8"BlockStatement");
-        }
+        BlockStatementAst() { type = AstType::BlockStatement; }
+        BlockStatementAst(std::vector<Statement> _stmts) : stmts(std::move(_stmts)) { type = AstType::BlockStatement; }
+        virtual FString typeName() override { return FString(u8"BlockStatement"); }
         virtual FString toString() override
         {
             return FString(std::format("<StmtAst '{}' at {}:{}>", typeName().toBasicString(), aai.line, aai.column));

src/Bytecode/Bytecode.hpp

@@ -0,0 +1,125 @@
+#pragma once
+
+/*
+
+从树遍历到虚拟机!
+
+*/
+
+#include "Core/fig_string.hpp"
+#include "Utils/magic_enum/magic_enum.hpp"
+#include <cstdint>
+#include <format>
+#include <string_view>
+
+namespace Fig
+{
+    using OpCodeType = uint8_t;
+    enum class Bytecode : OpCodeType
+    {
+        HALT = 0x01, // 程序终止，后跟 8 位退出码
+
+        POP = 0x10,
+
+        LOAD_NULL = 0x20,
+        LOAD_TRUE = 0x21,
+        LOAD_FALSE = 0x22,
+        LOAD_CON8 = 0x23,  // 跟 8  位索引 (0     - 255)
+        LOAD_CON16 = 0x24, // 跟 16 位索引 (255   - 65535)
+        LOAD_CON32 = 0x25, // 跟 32 位索引 (65536 - 2^32-1)
+
+        ADD = 0x30, // +
+        SUB = 0x31, // -
+        MUL = 0x32, // *
+        DIV = 0x33, // /
+        MOD = 0x34, // %
+
+        AND = 0x40, // &
+        OR = 0x41,  // |
+        XOR = 0x42, // ~
+        NOT = 0x43, // ! (not)
+
+        EQ = 0x50,   // ==
+        GT = 0x51,   // >
+        GTEQ = 0x52, // >=
+        LT = 0x53,   // <
+        LTEQ = 0x54, // <=
+
+        JUMP16 = 0x60, // 跟 16 位索引 无条件
+        JUMP32 = 0x61, // 跟 32 位索引 无条件
+
+        JUMP16_IF_TRUE = 0x62, // 跟 16 位索引 栈顶为真跳转
+        JUMP32_IF_TRUE = 0x63, // 跟 32 位索引 栈顶为真跳转
+
+        JUMP16_IF_FALSE = 0x64, // 跟 16 位索引 栈顶为假跳转
+        JUMP32_IF_FALSE = 0x65, // 跟 32 位索引 栈顶为假跳转
+
+        LOAD_LOCAL16 = 0x70, // 后跟 16 位索引
+        LOAD_LOCAL32 = 0x71, // 后跟 32 位索引
+    };
+
+    inline FString bytecode2string(Bytecode code)
+    {
+        const std::string_view &name = magic_enum::enum_name(code);
+        return FString(FStringView(name));
+    }
+
+    inline FString reverseCompile(const std::vector<uint8_t> &src)
+    {
+        assert(src.size() >= 1);
+
+        FString result;
+
+        using enum Bytecode;
+        for (size_t i = 0; i < src.size();)
+        {
+            Bytecode code = Bytecode(src[i]);
+            switch (code)
+            {
+                case HALT: {
+                    uint8_t quitCode = src[++i];
+                    result += FString(std::format("HALT {}", static_cast<uint8_t>(quitCode))) + u8"\n";
+                    break;
+                }
+                case LOAD_CON8: {
+                    uint8_t id = src[++i];
+                    result += FString(std::format("LOAD_CON8 {}", static_cast<uint8_t>(id))) + u8"\n";
+                    break;
+                }
+                case LOAD_CON16:
+                case JUMP16:
+                case JUMP16_IF_TRUE:
+                case JUMP16_IF_FALSE:
+                case LOAD_LOCAL16: {
+                    uint8_t high = src[++i];
+                    uint8_t low = src[++i];
+                    int32_t id = (high << 8) | low;
+                    result += FString(std::format("{} {}", bytecode2string(code).toBasicString(), id))
+                              + u8"\n";
+                    break;
+                }
+
+                case LOAD_CON32:
+                case JUMP32:
+                case JUMP32_IF_TRUE:
+                case JUMP32_IF_FALSE:
+                case LOAD_LOCAL32: {
+                    uint32_t b0 = static_cast<uint32_t>(src[++i]);
+                    uint32_t b1 = static_cast<uint32_t>(src[++i]);
+                    uint32_t b2 = static_cast<uint32_t>(src[++i]);
+                    uint32_t b3 = static_cast<uint32_t>(src[++i]);
+
+                    uint32_t id = (b0 << 24) | (b1 << 16) | (b2 << 8) | b3;
+                    result += FString(std::format("{} {}", bytecode2string(code).toBasicString(), id))
+                              + u8"\n";
+                    break;
+                }
+                default: {
+                    result += bytecode2string(code) + u8"\n";
+                }
+            }
+            ++i;
+        }
+        return result;
+    }
+}; // namespace Fig

src/Compiler/Compiler.cpp

@@ -0,0 +1,21 @@
+#include <Ast/astBase.hpp>
+#include <Compiler/Compiler.hpp>
+#include <memory>
+
+namespace Fig
+{
+    void Compiler::compile(Ast::Statement stmt)
+    {
+        using enum Ast::AstType;
+        using namespace Ast;
+        Ast::AstType type = stmt->getType();
+
+        switch (type)
+        {
+            case VarDefSt: {
+                auto vd = std::static_pointer_cast<VarDefAst>(stmt);
+                const FString name = vd->name;
+            }
+        }
+    }
+}; // namespace Fig

src/Compiler/Compiler.hpp

@@ -0,0 +1,32 @@
+#pragma once
+
+#include "Ast/astBase.hpp"
+#include <Ast/ast.hpp>
+#include <Bytecode/Bytecode.hpp>
+#include <VMValue/VMValue.hpp>
+
+#include <vector>
+
+namespace Fig
+{
+    class Compiler
+    {
+    private:
+        std::vector<Ast::Statement> source;
+        std::vector<OpCodeType> output; // std::vector<uint8_t>
+
+        std::vector<Value> constants;   
+    public:
+        std::vector<OpCodeType> getOutput() const { return output; }
+        std::vector<Value> getConstantPool() const { return constants; }
+
+        Compiler() {}
+        Compiler(std::vector<Ast::Statement> _source) : source(std::move(_source)) {}
+
+        void compile_expr(Ast::Expression);
+
+        void compile(Ast::Statement);
+
+        void CompileAll();
+    };
+}; // namespace Fig

src/Core/core.hpp

@@ -4,7 +4,7 @@
 #include <cstdint>
 #include <string_view>
 
-#define __FCORE_VERSION "0.3.6-alpha"
+#define __FCORE_VERSION "0.4.2-alpha"
 
 #if defined(_WIN32)
     #define __FCORE_PLATFORM "Windows"

src/Core/executablePath.hpp

@@ -0,0 +1,21 @@
+#pragma once
+
+#include <filesystem>
+
+#ifdef _WIN32
+    #include <libloaderapi.h>
+#endif
+
+namespace Fig
+{
+    inline std::filesystem::path getExecutablePath()
+    {
+#ifdef _WIN32
+        wchar_t buffer[MAX_PATH];
+        GetModuleFileNameW(nullptr, buffer, MAX_PATH);
+        return std::filesystem::path(buffer);
+#else
+        return std::filesystem::canonical("/proc/self/exe");
+#endif
+    }
+}; // namespace Fig

src/Core/fig_string.hpp

@@ -43,6 +43,10 @@ namespace Fig
         {
             return FString(toBasicString() + x.toBasicString());
         }
+        FString operator+(const char8_t *c)
+        {
+            return FString(*this + std::u8string(c));
+        }
 
         explicit FString(const std::u8string &str)
         {

src/Core/runtimeTime.cpp

@@ -0,0 +1,18 @@
+#include <Core/runtimeTime.hpp>
+
+#include <cassert>
+
+namespace Fig::Time
+{
+    Clock::time_point start_time;
+    void init()
+    {
+        static bool flag = false;
+        if (flag)
+        {
+            assert(false);
+        }
+        start_time = Clock::now();
+        flag = true;
+    }
+};

src/Core/runtimeTime.hpp

@@ -0,0 +1,10 @@
+#pragma once
+
+#include <chrono>
+
+namespace Fig::Time
+{
+    using Clock = std::chrono::steady_clock;
+    extern Clock::time_point start_time; // since process start
+    void init();
+};

src/Error/error.hpp

@@ -6,6 +6,7 @@
 #include <format>
 #include <source_location>
 #include <string>
+#include <vector>
 
 namespace Fig
 {
@@ -16,8 +17,10 @@ namespace Fig
         explicit AddressableError(FString _msg,
                                   size_t _line,
                                   size_t _column,
+                                  FString _sourcePath,
+                                  std::vector<FString> _sourceLines,
                                   std::source_location loc = std::source_location::current()) :
-            src_loc(loc), line(_line), column(_column)
+            src_loc(loc), line(_line), column(_column), sourcePath(std::move(_sourcePath)), sourceLines(std::move(_sourceLines))
         {
             message = _msg;
         }
@@ -33,9 +36,11 @@ namespace Fig
         }
         std::source_location src_loc;
 
-        size_t getLine() const { return line; }
-        size_t getColumn() const { return column; }
+        virtual size_t getLine() const { return line; }
+        virtual size_t getColumn() const { return column; }
         FString getMessage() const { return message; }
+        FString getSourcePath() const { return sourcePath; }
+        std::vector<FString> getSourceLines() const { return sourceLines; }
 
         virtual FString getErrorType() const
         {
@@ -45,6 +50,9 @@ namespace Fig
     protected:
         size_t line, column;
         FString message;
+
+        FString sourcePath;
+        std::vector<FString> sourceLines;
     };
 
     class UnaddressableError : public std::exception
@@ -84,14 +92,6 @@ namespace Fig
     public:
         using AddressableError::AddressableError;
 
-        explicit SyntaxError(FString _msg,
-                             size_t _line,
-                             size_t _column,
-                             std::source_location loc = std::source_location::current()) :
-            AddressableError(_msg, _line, _column, loc)
-        {
-        }
-
         virtual FString toString() const override
         {
             std::string msg = std::format("[SyntaxError] {} in [{}] {}", this->message.toBasicString(), this->src_loc.file_name(), this->src_loc.function_name());

src/Error/errorLog.hpp

@@ -98,8 +98,11 @@ namespace Fig
         }
 
 
-        inline void logAddressableError(const AddressableError &err, FString fileName, std::vector<FString> sourceLines)
+        inline void logAddressableError(const AddressableError &err)
         {
+            const FString &fileName = err.getSourcePath();
+            const std::vector<FString> &sourceLines = err.getSourceLines();
+
             std::print("\n");
             namespace TC = TerminalColors;
             coloredPrint(TC::LightWhite, "An error occurred! ");

src/Evaluator/Context/context.hpp

@@ -1,5 +1,6 @@
 #pragma once
 
+#include "Ast/Statements/InterfaceDefSt.hpp"
 #include "Value/interface.hpp"
 #include <Value/Type.hpp>
 #include <algorithm>
@@ -33,17 +34,13 @@ namespace Fig
         std::unordered_map<std::size_t, FString> functionNames;
 
         // implRegistry <Struct, ordered list of ImplRecord>
-        std::unordered_map<TypeInfo, std::vector<ImplRecord>, TypeInfoHash>
-            implRegistry;
+        std::unordered_map<TypeInfo, std::vector<ImplRecord>, TypeInfoHash> implRegistry;
 
     public:
         ContextPtr parent;
 
         Context(const Context &) = default;
-        Context(const FString &name, ContextPtr p = nullptr) :
-            scopeName(name), parent(p)
-        {
-        }
+        Context(const FString &name, ContextPtr p = nullptr) : scopeName(name), parent(p) {}
 
         void setParent(ContextPtr _parent) { parent = _parent; }
 
@@ -55,37 +52,28 @@ namespace Fig
         {
             variables.insert(c.variables.begin(), c.variables.end());
             functions.insert(c.functions.begin(), c.functions.end());
-            functionNames.insert(c.functionNames.begin(),
-                                 c.functionNames.end());
+            functionNames.insert(c.functionNames.begin(), c.functionNames.end());
             implRegistry.insert(c.implRegistry.begin(), c.implRegistry.end());
             // structTypeNames.insert(c.structTypeNames.begin(),
             // c.structTypeNames.end());
         }
 
-        std::unordered_map<size_t, Function> getFunctions() const
-        {
-            return functions;
-        }
+        std::unordered_map<size_t, Function> getFunctions() const { return functions; }
 
         std::shared_ptr<VariableSlot> get(const FString &name)
         {
             auto it = variables.find(name);
             if (it != variables.end()) return it->second;
             if (parent) return parent->get(name);
-            throw RuntimeError(FString(std::format("Variable '{}' not defined",
-                                                   name.toBasicString())));
+            throw RuntimeError(FString(std::format("Variable '{}' not defined", name.toBasicString())));
         }
         AccessModifier getAccessModifier(const FString &name)
         {
             if (variables.contains(name)) { return variables[name]->am; }
-            else if (parent != nullptr)
-            {
-                return parent->getAccessModifier(name);
-            }
+            else if (parent != nullptr) { return parent->getAccessModifier(name); }
             else
             {
-                throw RuntimeError(FString(std::format(
-                    "Variable '{}' not defined", name.toBasicString())));
+                throw RuntimeError(FString(std::format("Variable '{}' not defined", name.toBasicString())));
             }
         }
         bool isVariableMutable(const FString &name)
@@ -104,16 +92,14 @@ namespace Fig
             {
                 if (!isVariableMutable(name))
                 {
-                    throw RuntimeError(FString(std::format(
-                        "Variable '{}' is immutable", name.toBasicString())));
+                    throw RuntimeError(FString(std::format("Variable '{}' is immutable", name.toBasicString())));
                 }
                 variables[name]->value = value;
             }
             else if (parent != nullptr) { parent->set(name, value); }
             else
             {
-                throw RuntimeError(FString(std::format(
-                    "Variable '{}' not defined", name.toBasicString())));
+                throw RuntimeError(FString(std::format("Variable '{}' not defined", name.toBasicString())));
             }
         }
         void _update(const FString &name, ObjectPtr value)
@@ -122,8 +108,7 @@ namespace Fig
             else if (parent != nullptr) { parent->_update(name, value); }
             else
             {
-                throw RuntimeError(FString(std::format(
-                    "Variable '{}' not defined", name.toBasicString())));
+                throw RuntimeError(FString(std::format("Variable '{}' not defined", name.toBasicString())));
             }
         }
         void def(const FString &name,
@@ -133,14 +118,11 @@ namespace Fig
         {
             if (containsInThisScope(name))
             {
-                throw RuntimeError(FString(
-                    std::format("Variable '{}' already defined in this scope",
-                                name.toBasicString())));
+                throw RuntimeError(
+                    FString(std::format("Variable '{}' already defined in this scope", name.toBasicString())));
             }
-            variables[name] =
-                std::make_shared<VariableSlot>(name, value, ti, am);
-            if (ti == ValueType::Function
-                and value->getTypeInfo() == ValueType::Function)
+            variables[name] = std::make_shared<VariableSlot>(name, value, ti, am);
+            if (ti == ValueType::Function and value->getTypeInfo() == ValueType::Function)
             {
                 auto &fn = value->as<Function>();
                 functions[fn.id] = fn;
@@ -152,19 +134,42 @@ namespace Fig
             //     structTypeNames[st.id] = name;
             // }
         }
+        void
+        defReference(const FString &name, const TypeInfo &ti, AccessModifier am, std::shared_ptr<VariableSlot> target)
+        {
+            if (containsInThisScope(name))
+            {
+                throw RuntimeError(
+                    FString(std::format("Variable '{}' already defined in this scope", name.toBasicString())));
+            }
+            variables[name] = std::make_shared<VariableSlot>(
+                name,
+                target->value,
+                ti,
+                am,
+                true,
+                target
+            );
+        }
         std::optional<Function> getFunction(std::size_t id)
         {
             auto it = functions.find(id);
             if (it != functions.end()) { return it->second; }
             else if (parent) { return parent->getFunction(id); }
-            else { return std::nullopt; }
+            else
+            {
+                return std::nullopt;
+            }
         }
         std::optional<FString> getFunctionName(std::size_t id)
         {
             auto it = functionNames.find(id);
             if (it != functionNames.end()) { return it->second; }
             else if (parent) { return parent->getFunctionName(id); }
-            else { return std::nullopt; }
+            else
+            {
+                return std::nullopt;
+            }
         }
         // std::optional<FString> getStructName(std::size_t id)
         // {
@@ -188,24 +193,15 @@ namespace Fig
             else if (parent != nullptr) { return parent->contains(name); }
             return false;
         }
-        bool containsInThisScope(const FString &name) const
-        {
-            return variables.contains(name);
-        }
+        bool containsInThisScope(const FString &name) const { return variables.contains(name); }
 
-        TypeInfo getTypeInfo(const FString &name)
-        {
-            return get(name)->declaredType;
-        }
+        TypeInfo getTypeInfo(const FString &name) { return get(name)->declaredType; }
         bool isInFunctionContext()
         {
             ContextPtr ctx = shared_from_this();
             while (ctx)
             {
-                if (ctx->getScopeName().find(u8"<Function ") == 0)
-                {
-                    return true;
-                }
+                if (ctx->getScopeName().find(u8"<Function ") == 0) { return true; }
                 ctx = ctx->parent;
             }
             return false;
@@ -215,8 +211,7 @@ namespace Fig
             ContextPtr ctx = shared_from_this();
             while (ctx)
             {
-                if (ctx->getScopeName().find(u8"<While ") == 0
-                    or ctx->getScopeName().find(u8"<For ") == 0)
+                if (ctx->getScopeName().find(u8"<While ") == 0 or ctx->getScopeName().find(u8"<For ") == 0)
                 {
                     return true;
                 }
@@ -225,8 +220,7 @@ namespace Fig
             return false;
         }
 
-        bool hasImplRegisted(const TypeInfo &structType,
-                             const TypeInfo &interfaceType) const
+        bool hasImplRegisted(const TypeInfo &structType, const TypeInfo &interfaceType) const
         {
             auto it = implRegistry.find(structType);
             if (it != implRegistry.end())
@@ -239,9 +233,7 @@ namespace Fig
             return parent && parent->hasImplRegisted(structType, interfaceType);
         }
 
-        std::optional<ImplRecord>
-        getImplRecord(const TypeInfo &structType,
-                      const TypeInfo &interfaceType) const
+        std::optional<ImplRecord> getImplRecord(const TypeInfo &structType, const TypeInfo &interfaceType) const
         {
             auto it = implRegistry.find(structType);
             if (it != implRegistry.end())
@@ -257,9 +249,7 @@ namespace Fig
             return std::nullopt;
         }
 
-        void setImplRecord(const TypeInfo &structType,
-                           const TypeInfo &interfaceType,
-                           const ImplRecord &record)
+        void setImplRecord(const TypeInfo &structType, const TypeInfo &interfaceType, const ImplRecord &record)
         {
             auto &list = implRegistry[structType];
 
@@ -271,8 +261,7 @@ namespace Fig
             list.push_back(record); // order is the level
         }
 
-        bool hasMethodImplemented(const TypeInfo &structType,
-                                  const FString &functionName) const
+        bool hasMethodImplemented(const TypeInfo &structType, const FString &functionName) const
         {
             auto it = implRegistry.find(structType);
             if (it != implRegistry.end())
@@ -283,19 +272,16 @@ namespace Fig
                 }
             }
 
-            return parent
-                   && parent->hasMethodImplemented(structType, functionName);
+            return parent && parent->hasMethodImplemented(structType, functionName);
         }
 
-        bool hasDefaultImplementedMethod(const TypeInfo &structType,
-                                         const FString &functionName) const
+        bool hasDefaultImplementedMethod(const TypeInfo &structType, const FString &functionName) const
         {
             auto it = implRegistry.find(structType);
             if (it == implRegistry.end()) return false;
 
             std::vector<TypeInfo> implementedInterfaces;
-            for (auto &record : it->second)
-                implementedInterfaces.push_back(record.interfaceType);
+            for (auto &record : it->second) implementedInterfaces.push_back(record.interfaceType);
 
             for (auto &[_, slot] : variables)
             {
@@ -303,25 +289,22 @@ namespace Fig
 
                 InterfaceType &interface = slot->value->as<InterfaceType>();
 
-                bool implemented = std::any_of(
-                    implementedInterfaces.begin(),
-                    implementedInterfaces.end(),
-                    [&](const TypeInfo &ti) { return ti == interface.type; });
+                bool implemented = std::any_of(implementedInterfaces.begin(),
+                                               implementedInterfaces.end(),
+                                               [&](const TypeInfo &ti) { return ti == interface.type; });
 
                 if (!implemented) continue;
 
                 for (auto &method : interface.methods)
                 {
-                    if (method.name == functionName && method.hasDefaultBody())
-                        return true;
+                    if (method.name == functionName && method.hasDefaultBody()) return true;
                 }
             }
 
             return false;
         }
 
-        Function getDefaultImplementedMethod(const TypeInfo &structType,
-                                             const FString &functionName)
+        Ast::InterfaceMethod getDefaultImplementedMethod(const TypeInfo &structType, const FString &functionName)
         {
             // O(N²)
             // SLOW
@@ -335,8 +318,7 @@ namespace Fig
             if (it == implRegistry.end()) assert(false);
 
             std::vector<TypeInfo> implementedInterfaces;
-            for (auto &record : it->second)
-                implementedInterfaces.push_back(record.interfaceType);
+            for (auto &record : it->second) implementedInterfaces.push_back(record.interfaceType);
 
             for (auto &[_, slot] : variables)
             {
@@ -344,10 +326,9 @@ namespace Fig
 
                 InterfaceType &interface = slot->value->as<InterfaceType>();
 
-                bool implemented = std::any_of(
-                    implementedInterfaces.begin(),
-                    implementedInterfaces.end(),
-                    [&](const TypeInfo &ti) { return ti == interface.type; });
+                bool implemented = std::any_of(implementedInterfaces.begin(),
+                                               implementedInterfaces.end(),
+                                               [&](const TypeInfo &ti) { return ti == interface.type; });
 
                 if (!implemented) continue;
 
@@ -356,21 +337,15 @@ namespace Fig
                     if (method.name == functionName)
                     {
                         if (!method.hasDefaultBody()) assert(false);
-
-                        return Function(method.paras,
-                                        TypeInfo(method.returnType),
-                                        method.defaultBody,
-                                        shared_from_this());
+                        return method;
                     }
                 }
             }
 
             assert(false);
-            return Function(); // ignore warning
         }
 
-        const Function &getImplementedMethod(const TypeInfo &structType,
-                                             const FString &functionName) const
+        const Function &getImplementedMethod(const TypeInfo &structType, const FString &functionName) const
         {
             auto it = implRegistry.find(structType);
             if (it != implRegistry.end())
@@ -382,11 +357,10 @@ namespace Fig
                 }
             }
 
-            if (parent)
-                return parent->getImplementedMethod(structType, functionName);
+            if (parent) return parent->getImplementedMethod(structType, functionName);
 
             assert(false); // not found
-            throw ""; // ignore warning
+            throw "";      // ignore warning
         }
 
         void printStackTrace(std::ostream &os = std::cerr, int indent = 0) const
@@ -403,8 +377,7 @@ namespace Fig
             os << "[STACK TRACE]\n";
             for (int i = static_cast<int>(chain.size()) - 1; i >= 0; --i)
             {
-                os << "  #" << (chain.size() - 1 - i) << " "
-                   << chain[i]->scopeName.toBasicString() << "\n";
+                os << "  #" << (chain.size() - 1 - i) << " " << chain[i]->scopeName.toBasicString() << "\n";
             }
         }
     };

src/Evaluator/Value/IntPool.hpp

@@ -0,0 +1,40 @@
+#pragma once
+
+#include "Value/value.hpp"
+#include <Core/fig_string.hpp>
+#include <Value/value_forward.hpp>
+#include <Value/Type.hpp>
+#include <array>
+#include <memory>
+
+namespace Fig
+{
+    class IntPool
+    {
+    private:
+        static constexpr ValueType::IntClass CACHE_MIN = -128;
+        static constexpr ValueType::IntClass CACHE_MAX = 127;
+
+        std::array<ObjectPtr, CACHE_MAX - CACHE_MIN + 1> cache;
+
+    public:
+        IntPool()
+        {
+            for (ValueType::IntClass i = CACHE_MIN; i <= CACHE_MAX; ++i)
+            {
+                cache[i - CACHE_MIN] = std::make_shared<Object>(i);
+            }
+        }
+        ObjectPtr createInt(ValueType::IntClass val) const
+        {
+            if (val >= CACHE_MIN && val <= CACHE_MAX) { return cache[val - CACHE_MIN]; }
+            return std::make_shared<Object>(val);
+        }
+
+        static const IntPool &getInstance()
+        {
+            static IntPool pool;
+            return pool;
+        }
+    };
+}; // namespace Fig

src/Evaluator/Value/LvObject.hpp

@@ -87,7 +87,7 @@ namespace Fig
                             std::format("Variable `{}` expects type `{}`, but got '{}'",
                                         s->name.toBasicString(),
                                         s->declaredType.toString().toBasicString(),
-                                        v->getTypeInfo().toString().toBasicString())));
+                                        prettyType(v).toBasicString())));
                 }
                 if (isAccessConst(s->am))
                 {

src/Evaluator/Value/Type.hpp

@@ -2,6 +2,7 @@
 
 #include <Core/fig_string.hpp>
 
+#include <unordered_set>
 #include <variant>
 #include <map>
 
@@ -75,6 +76,28 @@ namespace Fig
         using BoolClass = bool;
         using NullClass = std::monostate;
         using StringClass = FString;
+
+        static const std::unordered_set<TypeInfo, TypeInfoHash> builtinTypes
+        {
+            Any,
+            Null,
+            Int,
+            String,
+            Bool,
+            Double,
+            Function,
+            StructType,
+            StructInstance,
+            List,
+            Map,
+            Module,
+            InterfaceType
+        };
+
+        inline bool isTypeBuiltin(const TypeInfo &type)
+        {
+            return builtinTypes.contains(type);
+        }
     }; // namespace ValueType
 }; // namespace Fig
 

src/Evaluator/Value/VariableSlot.hpp

@@ -4,11 +4,12 @@
 #include <Ast/AccessModifier.hpp>
 #include <Core/fig_string.hpp>
 #include <Value/Type.hpp>
+#include <Value/value_forward.hpp>
+
 #include <memory>
 namespace Fig
 {
-    class Object;
-    using ObjectPtr = std::shared_ptr<Object>;
+
     struct VariableSlot
     {
         FString name;

src/Evaluator/Value/value.cpp

@@ -1,3 +1,4 @@
+#include "Value/structType.hpp"
 #include <Value/Type.hpp>
 #include <Value/value.hpp>
 #include <Context/context.hpp>
@@ -26,9 +27,7 @@ namespace Fig
         {
             if (!typeMap.contains(_name))
             {
-                throw RuntimeError(FString(std::format(
-                    "No type named '{}'",
-                    _name.toBasicString())));
+                throw RuntimeError(FString(std::format("No type named '{}'", _name.toBasicString())));
                 // *this = ValueType::String;
             }
             id = typeMap.at(name); // may throw
@@ -41,10 +40,7 @@ namespace Fig
             ObjectPtr value = key.value;
             const TypeInfo &type = value->getTypeInfo();
 
-            if (type == ValueType::Int)
-            {
-                return std::hash<ValueType::IntClass>{}(value->as<ValueType::IntClass>());
-            }
+            if (type == ValueType::Int) { return std::hash<ValueType::IntClass>{}(value->as<ValueType::IntClass>()); }
             if (type == ValueType::Double)
             {
                 return std::hash<ValueType::DoubleClass>{}(value->as<ValueType::DoubleClass>());
@@ -61,10 +57,7 @@ namespace Fig
             {
                 auto HashFields = [](std::vector<Field> fields) {
                     size_t r = 0;
-                    for (auto &f : fields)
-                    {
-                        r += std::hash<Field>{}(f);
-                    }
+                    for (auto &f : fields) { r += std::hash<Field>{}(f); }
                     return r;
                 };
                 const StructType &st = value->as<StructType>();
@@ -73,19 +66,30 @@ namespace Fig
             if (type == ValueType::StructInstance)
             {
                 const StructInstance &si = value->as<StructInstance>();
-                return std::hash<TypeInfo>{}(si.parentType) + std::hash<uint64_t>{}(reinterpret_cast<uint64_t>(std::addressof(*si.localContext)));
+                return std::hash<TypeInfo>{}(si.parentType)
+                       + std::hash<uint64_t>{}(reinterpret_cast<uint64_t>(std::addressof(*si.localContext)));
             }
             assert(false);
             throw ""; // ignore warning
         }
     }
 
-    FString prettyType(std::shared_ptr<const Object> obj)
+    TypeInfo actualType(std::shared_ptr<const Object> obj)
     {
         auto t = obj->getTypeInfo();
-        if (t == ValueType::StructInstance)
-            return obj->as<StructInstance>().parentType.toString();
-        return t.toString();
+        
+        // dispatch builtin struct types (like Int{}, List{} e.g...)
+        if (t == ValueType::StructType)
+        {
+            return obj->as<StructType>().type;
+        }
+
+        if (t == ValueType::StructInstance) return obj->as<StructInstance>().parentType;
+        return t;
+    }
+    FString prettyType(std::shared_ptr<const Object> obj)
+    {
+        return actualType(obj).toString();
     }
 
     const TypeInfo ValueType::Any(FString(u8"Any"), true);                       // id: 1
@@ -102,8 +106,6 @@ namespace Fig
     const TypeInfo ValueType::Module(FString(u8"Module"), true);                 // id: 12
     const TypeInfo ValueType::InterfaceType(FString(u8"InterfaceType"), true);   // id: 13
 
-
-
     bool implements(const TypeInfo &structType, const TypeInfo &interfaceType, ContextPtr ctx)
     {
         return ctx->hasImplRegisted(structType, interfaceType);
@@ -111,28 +113,25 @@ namespace Fig
 
     bool isTypeMatch(const TypeInfo &expected, ObjectPtr obj, ContextPtr ctx)
     {
-        if (expected == ValueType::Any)
-            return true;
+        if (expected == ValueType::Any) return true;
 
         TypeInfo actual = obj->getTypeInfo();
 
-        if (obj->is<StructInstance>())
+        if (obj->is<StructType>())
+        {
+            const StructType &t = obj->as<StructType>();
+            if (expected == t.type) // the StructType typeinfo
+            {
+                return true;
+            }
+        }
+        else if (obj->is<StructInstance>())
         {
             const StructInstance &si = obj->as<StructInstance>();
-            if (si.parentType == expected)
-            {
-                return true;
-            }
-            if (implements(si.parentType, expected, ctx))
-            {
-                return true;
-            }
-            return false;
-        }
-        else
-        {
-            return expected == actual;
+            if (si.parentType == expected) { return true; }
+            if (implements(si.parentType, expected, ctx)) { return true; }
         }
+        return expected == actual;
     }
 
 } // namespace Fig

src/Evaluator/Value/value.hpp

@@ -6,6 +6,7 @@
 #include <Value/Type.hpp>
 #include <Value/valueError.hpp>
 #include <Value/module.hpp>
+#include <Value/value_forward.hpp>
 
 #include <memory>
 #include <variant>
@@ -31,10 +32,8 @@ namespace Fig
             static_cast<ValueType::DoubleClass>(std::numeric_limits<ValueType::IntClass>::min());
         return d > intMaxAsDouble || d < intMinAsDouble;
     }
-    class Object;
-    using ObjectPtr = std::shared_ptr<Object>;
-
 
+    TypeInfo actualType(std::shared_ptr<const Object> obj);
     FString prettyType(std::shared_ptr<const Object> obj);
 
     bool operator==(const Object &, const Object &);
@@ -509,7 +508,7 @@ namespace Fig
             {
                 bool bothInt = lhs.is<ValueType::IntClass>() && rhs.is<ValueType::IntClass>();
                 auto result = lhs.getNumericValue() + rhs.getNumericValue();
-                if (bothInt && !isNumberExceededIntLimit(result))
+                if (bothInt)
                     return Object(static_cast<ValueType::IntClass>(result));
                 return Object(result);
             }
@@ -526,7 +525,7 @@ namespace Fig
             {
                 bool bothInt = lhs.is<ValueType::IntClass>() && rhs.is<ValueType::IntClass>();
                 auto result = lhs.getNumericValue() - rhs.getNumericValue();
-                if (bothInt && !isNumberExceededIntLimit(result))
+                if (bothInt)
                     return Object(static_cast<ValueType::IntClass>(result));
                 return Object(result);
             }
@@ -541,10 +540,20 @@ namespace Fig
             {
                 bool bothInt = lhs.is<ValueType::IntClass>() && rhs.is<ValueType::IntClass>();
                 auto result = lhs.getNumericValue() * rhs.getNumericValue();
-                if (bothInt && !isNumberExceededIntLimit(result))
+                if (bothInt)
                     return Object(static_cast<ValueType::IntClass>(result));
                 return Object(result);
             }
+            if (lhs.is<ValueType::StringClass>() && rhs.is<ValueType::IntClass>())
+            {
+                FString result;
+                const FString &l = lhs.as<ValueType::StringClass>();
+                for (size_t i=0; i < rhs.getNumericValue(); ++i)
+                {
+                    result += l;
+                }
+                return Object(result);
+            }
             throw ValueError(FString(makeTypeErrorMessage("Unsupported operation", "*", lhs, rhs)));
         }
 
@@ -557,10 +566,13 @@ namespace Fig
                 auto rnv = rhs.getNumericValue();
                 if (rnv == 0)
                     throw ValueError(FString(makeTypeErrorMessage("Division by zero", "/", lhs, rhs)));
-                bool bothInt = lhs.is<ValueType::IntClass>() && rhs.is<ValueType::IntClass>();
+                // bool bothInt = lhs.is<ValueType::IntClass>() && rhs.is<ValueType::IntClass>();
                 auto result = lhs.getNumericValue() / rnv;
-                if (bothInt && !isNumberExceededIntLimit(result))
-                    return Object(static_cast<ValueType::IntClass>(result));
+                // if (bothInt)
+                //     return Object(static_cast<ValueType::IntClass>(result));
+
+                // int / int maybe decimals
+                // DO NOT convert it to INT
                 return Object(result);
             }
             throw ValueError(FString(makeTypeErrorMessage("Unsupported operation", "/", lhs, rhs)));
@@ -570,15 +582,24 @@ namespace Fig
         {
             if (lhs.isNull() || rhs.isNull())
                 throw ValueError(FString(makeTypeErrorMessage("Cannot modulo", "%", lhs, rhs)));
+            if (lhs.is<ValueType::IntClass>() && rhs.is<ValueType::IntClass>())
+            {
+                ValueType::IntClass lv = lhs.as<ValueType::IntClass>();
+                ValueType::IntClass rv = lhs.as<ValueType::IntClass>();
+                if (rv == 0) throw ValueError(FString(makeTypeErrorMessage("Modulo by zero", "/", lhs, rhs)));
+
+                ValueType::IntClass q = lv / rv;
+                ValueType::IntClass r = lv % rv;
+                if (r != 0 && ((lv < 0) != (rv < 0))) { q -= 1; }
+                return q;
+            }
+            
             if (lhs.isNumeric() && rhs.isNumeric())
             {
                 auto rnv = rhs.getNumericValue();
                 if (rnv == 0)
                     throw ValueError(FString(makeTypeErrorMessage("Modulo by zero", "/", lhs, rhs)));
-                bool bothInt = lhs.is<ValueType::IntClass>() && rhs.is<ValueType::IntClass>();
                 auto result = std::fmod(lhs.getNumericValue(), rnv);
-                if (bothInt && !isNumberExceededIntLimit(result))
-                    return Object(static_cast<ValueType::IntClass>(result));
                 return Object(result);
             }
             throw ValueError(FString(makeTypeErrorMessage("Unsupported operation", "%", lhs, rhs)));
@@ -695,7 +716,7 @@ namespace Fig
             {
                 bool bothInt = base.is<ValueType::IntClass>() && exp.is<ValueType::IntClass>();
                 auto result = std::pow(base.getNumericValue(), exp.getNumericValue());
-                if (bothInt && !isNumberExceededIntLimit(result))
+                if (bothInt)
                     return Object(static_cast<ValueType::IntClass>(result));
                 return Object(result);
             }
@@ -703,7 +724,6 @@ namespace Fig
         }
     };
 
-    using ObjectPtr = std::shared_ptr<Object>;
     using RvObject = ObjectPtr;
 
     inline bool operator==(const ValueKey &l, const ValueKey &r)

src/Evaluator/Value/value_forward.hpp

@@ -0,0 +1,10 @@
+#pragma once
+
+#include <memory>
+
+namespace Fig
+{
+    class Object;
+
+    using ObjectPtr = std::shared_ptr<Object>;
+}; // namespace Fig

src/Evaluator/evaluator.hpp

@@ -1,6 +1,7 @@
-#include "Ast/Statements/ImplementSt.hpp"
-#include "Ast/Statements/InterfaceDefSt.hpp"
-#include "Value/Type.hpp"
+#include "Ast/Expressions/InitExpr.hpp"
+#include <Ast/Statements/ImplementSt.hpp>
+#include <Ast/Statements/InterfaceDefSt.hpp>
+#include <Value/Type.hpp>
 #include <Ast/ast.hpp>
 
 #include <Context/context.hpp>
@@ -63,12 +64,18 @@ namespace Fig
 
     public:
         FString sourcePath;
+        std::vector<FString> sourceLines;
 
         void SetSourcePath(const FString &sp)
         {
             sourcePath = sp;
         }
 
+        void SetSourceLines(const std::vector<FString> &sl)
+        {
+            sourceLines = sl;
+        }
+
         void SetGlobalContext(ContextPtr ctx)
         {
             assert(ctx != nullptr);
@@ -121,7 +128,7 @@ namespace Fig
         LvObject evalLv(Ast::Expression, ContextPtr); // for access: a.b / index a[b]
 
         /* Right-value eval*/
-
+        RvObject evalInitExpr(Ast::InitExpr, ContextPtr); // only allows evalUnary to call
         RvObject evalBinary(Ast::BinaryExpr, ContextPtr);   // normal binary expr: +, -, *....
         RvObject evalUnary(Ast::UnaryExpr, ContextPtr);     // unary expr
         RvObject evalTernary(Ast::TernaryExpr, ContextPtr); // ternary expr

src/Evaluator/evaluator_error.hpp

@@ -10,7 +10,10 @@ namespace Fig
     public:
         FString typeName;
         using AddressableError::AddressableError;
-        EvaluatorError(FString _typeName, FString msg, Ast::AstBase ast, std::source_location loc = std::source_location::current())
+        EvaluatorError(FString _typeName,
+                       FString msg,
+                       Ast::AstBase ast,
+                       std::source_location loc = std::source_location::current())
         {
             message = msg;
             line = ast->getAAI().line;
@@ -20,8 +23,13 @@ namespace Fig
 
             typeName = std::move(_typeName);
 
+            sourcePath = *ast->getAAI().sourcePath;
+            sourceLines = *ast->getAAI().sourceLines;
         }
-        EvaluatorError(FString _typeName, std::string_view msg, Ast::AstBase ast, std::source_location loc = std::source_location::current())
+        EvaluatorError(FString _typeName,
+                       std::string_view msg,
+                       Ast::AstBase ast,
+                       std::source_location loc = std::source_location::current())
         {
             message = FString::fromBasicString(std::string(msg.data()));
             line = ast->getAAI().line;
@@ -30,13 +38,11 @@ namespace Fig
             src_loc = std::move(loc);
 
             typeName = std::move(_typeName);
+
+            sourcePath = *ast->getAAI().sourcePath;
+            sourceLines = *ast->getAAI().sourceLines;
         }
 
-        virtual FString getErrorType() const override
-        {
-            return typeName;
-        }
-
-
+        virtual FString getErrorType() const override { return typeName; }
     };
-};
+}; // namespace Fig

src/Evaluator/main.cpp

@@ -28,7 +28,7 @@ This software is licensed under the MIT License. See LICENSE.txt for details.
 */
 
 #include <Utils/argparse/argparse.hpp>
-#include <print>
+// #include <print>
 #include <fstream>
 
 #include <Core/core.hpp>
@@ -38,6 +38,7 @@ This software is licensed under the MIT License. See LICENSE.txt for details.
 #include <Utils/AstPrinter.hpp>
 #include <Utils/utils.hpp>
 #include <Error/errorLog.hpp>
+#include <Core/runtimeTime.hpp>
 
 static size_t addressableErrorCount = 0;
 static size_t unaddressableErrorCount = 0;
@@ -45,14 +46,18 @@ static size_t unaddressableErrorCount = 0;
 
 int main(int argc, char **argv)
 {
+    Time::init();
+    // init, set start_time (std::chrono::time_point)
+
+
     argparse::ArgumentParser program("Fig Interpreter", Fig::Core::VERSION.data());
     program.add_argument("source")
         .help("source file to be interpreted")
         .default_value(std::string(""));
-    program.add_argument("-v", "--version")
-        .help("get the version of Fig Interpreter")
-        .default_value(false)
-        .implicit_value(true);
+    // program.add_argument("-v", "--version")
+    //     .help("get the version of Fig Interpreter")
+    //     .default_value(false)
+    //     .implicit_value(true);
     // interpreter
 
     try
@@ -64,11 +69,11 @@ int main(int argc, char **argv)
         std::cerr << e.what() << '\n';
         return 1;
     }
-    if (program.get<bool>("--version"))
-    {
-        std::print("Fig Interpreter version {}\n", Fig::Core::VERSION);
-        return 0;
-    }
+    // if (program.get<bool>("--version"))
+    // {
+    //     std::print("Fig Interpreter version {}\n", Fig::Core::VERSION);
+    //     return 0;
+    // }
     Fig::FString sourcePath(program.get<std::string>("source"));
     if (sourcePath.empty())
     {
@@ -84,7 +89,9 @@ int main(int argc, char **argv)
     std::string source((std::istreambuf_iterator<char>(file)), std::istreambuf_iterator<char>());
     file.close();
 
-    Fig::Lexer lexer((Fig::FString(source)));
+    std::vector<FString> sourceLines = Fig::Utils::splitSource(Fig::FString(source));
+
+    Fig::Lexer lexer((Fig::FString(source)), sourcePath, sourceLines);
 
     // Token tok;
     // while ((tok = lexer.nextToken()).getType() != TokenType::EndOfFile)
@@ -92,11 +99,9 @@ int main(int argc, char **argv)
     //     std::println("{}", tok.toString().toBasicString());
     // }
 
-    Fig::Parser parser(lexer);
+    Fig::Parser parser(lexer, sourcePath, sourceLines);
     std::vector<Fig::Ast::AstBase> asts;
 
-    std::vector<FString> sourceLines = Fig::Utils::splitSource(Fig::FString(source));
-
     try
     {
         asts = parser.parseAll();
@@ -104,7 +109,7 @@ int main(int argc, char **argv)
     catch (const Fig::AddressableError &e)
     {
         addressableErrorCount++;
-        ErrorLog::logAddressableError(e, sourcePath, sourceLines);
+        ErrorLog::logAddressableError(e);
         return 1;
     }
     catch (const Fig::UnaddressableError &e)
@@ -129,6 +134,7 @@ int main(int argc, char **argv)
     Fig::Evaluator evaluator;
 
     evaluator.SetSourcePath(sourcePath);
+    evaluator.SetSourceLines(sourceLines);
     evaluator.CreateGlobalContext();
     evaluator.RegisterBuiltinsValue(); 
 
@@ -139,7 +145,7 @@ int main(int argc, char **argv)
     catch (const Fig::AddressableError &e)
     {
         addressableErrorCount++;
-        ErrorLog::logAddressableError(e, sourcePath, sourceLines);
+        ErrorLog::logAddressableError(e);
         evaluator.printStackTrace();
         return 1;
     }

src/Lexer/lexer.cpp

@@ -6,6 +6,14 @@
 #include <Core/fig_string.hpp>
 #include <Utils/utils.hpp>
 
+#if 0
+    #include <iostream> // debug
+#endif
+
+#ifndef SourceInfo
+    #define SourceInfo(ptr) (ptr->sourcePath), (ptr->sourceLines)
+#endif
+
 namespace Fig
 {
 
@@ -58,7 +66,10 @@ namespace Fig
         {FString(u8"["), TokenType::LeftBracket},
         {FString(u8"]"), TokenType::RightBracket},
         {FString(u8"{"), TokenType::LeftBrace},
-        {FString(u8"}"), TokenType::RightBrace}};
+        {FString(u8"}"), TokenType::RightBrace},
+        {FString(u8"?"), TokenType::Question},
+        {FString(u8"!"), TokenType::Not},
+    };
 
     const std::unordered_map<FString, TokenType> Lexer::keyword_map{
         {FString(u8"and"), TokenType::And},
@@ -73,6 +84,7 @@ namespace Fig
         {FString(u8"for"), TokenType::For},
         {FString(u8"if"), TokenType::If},
         {FString(u8"else"), TokenType::Else},
+        {FString(u8"new"), TokenType::New},
         {FString(u8"struct"), TokenType::Struct},
         {FString(u8"interface"), TokenType::Interface},
         {FString(u8"impl"), TokenType::Implement},
@@ -159,7 +171,7 @@ namespace Fig
             {
                 if (it.isEnd())
                 {
-                    error = SyntaxError(u8"Unterminated FString", this->line, it.column());
+                    error = SyntaxError(u8"Unterminated FString", this->line, it.column(), SourceInfo(this));
                     return IllegalTok;
                 }
                 next();
@@ -196,12 +208,11 @@ namespace Fig
                 }
                 else
                 {
-                    error = SyntaxError(FString(
-                                            std::format(
-                                                "Unsupported escape character: {}",
-                                                FString(ec.getString()).toBasicString())),
+                    error = SyntaxError(FString(std::format("Unsupported escape character: {}",
+                                                            FString(ec.getString()).toBasicString())),
                                         this->line,
-                                        it.column());
+                                        it.column(),
+                                        SourceInfo(this));
                     return IllegalTok;
                 }
             }
@@ -213,7 +224,7 @@ namespace Fig
         }
         if (unterminated)
         {
-            error = SyntaxError(u8"Unterminated FString", this->line, str_start_col);
+            error = SyntaxError(u8"Unterminated FString", this->line, str_start_col, SourceInfo(this));
             return IllegalTok;
         }
         return Token(str, TokenType::LiteralString);
@@ -240,7 +251,7 @@ namespace Fig
         }
         if (unterminated)
         {
-            error = SyntaxError(u8"Unterminated FString", this->line, str_start_col);
+            error = SyntaxError(u8"Unterminated FString", this->line, str_start_col, SourceInfo(this));
             return IllegalTok;
         }
         return Token(str, TokenType::LiteralString);
@@ -271,7 +282,7 @@ namespace Fig
             {
                 if (it.isEnd())
                 {
-                    error = SyntaxError(u8"Unterminated FString", this->line, it.column());
+                    error = SyntaxError(u8"Unterminated FString", this->line, it.column(), SourceInfo(this));
                     return IllegalTok;
                 }
                 next();
@@ -313,12 +324,11 @@ namespace Fig
                 }
                 else
                 {
-                    error = SyntaxError(FString(
-                                            std::format(
-                                                "Unsupported escape character: {}",
-                                                FString(ec.getString()).toBasicString())),
+                    error = SyntaxError(FString(std::format("Unsupported escape character: {}",
+                                                            FString(ec.getString()).toBasicString())),
                                         this->line,
-                                        it.column());
+                                        it.column(),
+                                        SourceInfo(this));
                     return IllegalTok;
                 }
             }
@@ -330,7 +340,7 @@ namespace Fig
         }
         if (unterminated)
         {
-            error = SyntaxError(u8"Unterminated FString", this->line, str_start_col);
+            error = SyntaxError(u8"Unterminated FString", this->line, str_start_col, SourceInfo(this));
             return IllegalTok;
         }
         return Token(str, TokenType::LiteralString);
@@ -339,21 +349,27 @@ namespace Fig
     {
         FString numStr;
         bool hasPoint = false;
-        // 负号(减号) 直接交由 scanSymbol处理，在parser中被分类->与数字结合/变为操作数
+
         while (hasNext())
         {
             UTF8Char ch = *it;
-            if (ch.isDigit() or ch == U'e') // . / e / - for scientific counting
+
+            if (ch.isDigit() || ch == U'e')
             {
                 numStr += ch.getString();
                 next();
             }
-            else if (ch == U'-' and numStr.ends_with(U'-'))
+            else if (ch == U'-' && !numStr.empty() && (numStr.ends_with(U'e') || numStr.ends_with(U'E')))
             {
                 numStr += ch.getString();
                 next();
             }
-            else if (ch == U'.' and not hasPoint)
+            else if (ch == U'+' && !numStr.empty() && (numStr.ends_with(U'e') || numStr.ends_with(U'E')))
+            {
+                numStr += ch.getString();
+                next();
+            }
+            else if (ch == U'.' && !hasPoint)
             {
                 hasPoint = true;
                 numStr += ch.getString();
@@ -364,22 +380,93 @@ namespace Fig
                 break;
             }
         }
-        // Numbers in Fig-lang
-        /*
-            114514
-            1145.14
-            1.14e3  -> 1140
-            1.14e-3 -> 0.00114
-            .3      -> 0.3
-        */
-        // checking legality
-        if ((*numStr.end()) == u'e') // e 后面必须跟整数表示科学计数
+        if (numStr.empty()) { return IllegalTok; }
+
+        if (numStr.ends_with(U'e'))
         {
-            error = SyntaxError(FString(
-                                    std::format("Ellegal number literal: {}", numStr.toBasicString())),
-                                this->line, it.column());
+            error = SyntaxError(FString(std::format("Illegal number literal: {}", numStr.toBasicString())),
+                                this->line,
+                                it.column(),
+                                SourceInfo(this));
             return IllegalTok;
         }
+
+        bool hasDigit = false;
+        for (auto it = numStr.begin(); it != numStr.end(); ++it)
+        {
+            if (isdigit(*it))
+            {
+                hasDigit = true;
+                break;
+            }
+        }
+
+        if (!hasDigit)
+        {
+            error = SyntaxError(FString(std::format("Illegal number literal: {}", numStr.toBasicString())),
+                                this->line,
+                                it.column(),
+                                SourceInfo(this));
+            return IllegalTok;
+        }
+
+        size_t ePos = numStr.find(U'e');
+        if (ePos != FString::npos)
+        {
+            if (ePos == 0)
+            {
+                error = SyntaxError(FString(std::format("Illegal number literal: {}", numStr.toBasicString())),
+                                    this->line,
+                                    it.column(),
+                                    SourceInfo(this));
+                return IllegalTok;
+            }
+            if (ePos + 1 >= numStr.length())
+            {
+                error = SyntaxError(FString(std::format("Illegal number literal: {}", numStr.toBasicString())),
+                                    this->line,
+                                    it.column(),
+                                    SourceInfo(this));
+                return IllegalTok;
+            }
+            bool hasDigitAfterE = false;
+            for (size_t i = ePos + 1; i < numStr.length(); ++i)
+            {
+                UTF8Char c = std::u8string(1,numStr[i]);
+                if (c == U'+' || c == U'-')
+                {
+                    if (i != ePos + 1)
+                    {
+                        error = SyntaxError(FString(std::format("Illegal number literal: {}", numStr.toBasicString())),
+                                            this->line,
+                                            it.column(),
+                                            SourceInfo(this));
+                        return IllegalTok;
+                    }
+                    continue;
+                }
+
+                if (c.isDigit()) { hasDigitAfterE = true; }
+                else
+                {
+                    error = SyntaxError(FString(std::format("Illegal number literal: {}", numStr.toBasicString())),
+                                        this->line,
+                                        it.column(),
+                                        SourceInfo(this));
+                    return IllegalTok;
+                }
+            }
+
+            if (!hasDigitAfterE)
+            {
+                error = SyntaxError(FString(std::format("Illegal number literal: {}", numStr.toBasicString())),
+                                    this->line,
+                                    it.column(),
+                                    SourceInfo(this));
+                return IllegalTok;
+            }
+        }
+
         return Token(numStr, TokenType::LiteralNumber);
     }
     Token Lexer::scanSymbol()
@@ -400,9 +487,10 @@ namespace Fig
 
         if (!startsWith(sym))
         {
-            error = SyntaxError(
-                FString(std::format("No such operator: {}", sym.toBasicString())),
-                this->line, it.column());
+            error = SyntaxError(FString(std::format("No such operator: {}", sym.toBasicString())),
+                                this->line,
+                                it.column(),
+                                SourceInfo(this));
             next();
             return IllegalTok;
         }
@@ -428,13 +516,14 @@ namespace Fig
 
         if (!symbol_map.contains(sym))
         {
-            error = SyntaxError(
-                FString(std::format("No such operator: {}", sym.toBasicString())),
-                this->line, it.column());
+            error = SyntaxError(FString(std::format("No such operator: {}", sym.toBasicString())),
+                                this->line,
+                                it.column(),
+                                SourceInfo(this));
             next();
             return IllegalTok;
         }
-
+        // std::cerr << Token(sym, symbol_map.at(sym)).toString().toBasicString() << '\n;
         next();
         return Token(sym, symbol_map.at(sym));
     }
@@ -490,7 +579,8 @@ namespace Fig
 
             if (!terminated)
             {
-                error = SyntaxError(FString(u8"Unterminated multiline comment"), this->line, it.column());
+                error =
+                    SyntaxError(FString(u8"Unterminated multiline comment"), this->line, it.column(), SourceInfo(this));
                 next();
                 return IllegalTok;
             }
@@ -522,13 +612,13 @@ namespace Fig
             if (!hasNext())
             {
                 next();
-                // return Token(u8"/", this->symbol_map.at(u8"/")).setPos(last_line, last_column);
+                return Token(u8"/", this->symbol_map.at(u8"/")).setPos(last_line, last_column);
             }
             c = it.peek();
             if (c != U'/' and c != U'*')
             {
                 next();
-                // return Token(u8"/", this->symbol_map.at(u8"/")).setPos(last_line, last_column);
+                return Token(u8"/", this->symbol_map.at(u8"/")).setPos(last_line, last_column);
             }
             scanComments().setPos(last_line, last_column);
             return nextToken();
@@ -561,9 +651,11 @@ namespace Fig
         }
         else
         {
-            error = SyntaxError(FString(
-                                    std::format("Cannot tokenize char: '{}'", FString(ch.getString()).toBasicString())),
-                                this->line, it.column());
+            error =
+                SyntaxError(FString(std::format("Cannot tokenize char: '{}'", FString(ch.getString()).toBasicString())),
+                            this->line,
+                            it.column(),
+                            SourceInfo(this));
             if (hasNext())
             {
                 next();

src/Lexer/lexer.hpp

@@ -23,6 +23,9 @@ namespace Fig
         SyntaxError error;
         UTF8Iterator it;
 
+        FString sourcePath;
+        std::vector<FString> sourceLines;
+
         std::vector<Warning> warnings;
 
         size_t last_line, last_column, column = 1;
@@ -60,8 +63,8 @@ namespace Fig
         static const std::unordered_map<FString, TokenType> symbol_map;
         static const std::unordered_map<FString, TokenType> keyword_map;
 
-        inline Lexer(const FString &_source) :
-            source(_source), it(source)
+        inline Lexer(const FString &_source, const FString &_sourcePath, const std::vector<FString> &_sourceLines) :
+            source(_source), it(source), sourcePath(_sourcePath), sourceLines(_sourceLines)
         {
             line = 1;
         }

src/Module/Library/std/formater/formater.fig

@@ -7,17 +7,40 @@
 
 import std.value; // `type` function and string_from
 
+
+struct FormatError 
+{
+    public msg: String;
+}
+
+impl Error for FormatError
+{
+    getErrorClass()
+    {
+        return "FormatError";
+    }
+    getErrorMessage()
+    {
+        return getErrorClass() + ": " + msg;
+    }
+    toString()
+    {
+        return getErrorMessage();
+    }
+}
+
 public func format(objects ...) -> Any
 {
     if objects.length() < 1
     {
-        return null;
+        throw new FormatError{"Require format string"};
     }
 
     var fmt := objects[0];
-    if value.type(fmt) != "String"
+    var fmtType := value.type(fmt);
+    if fmtType != "String"
     {
-        return null;
+        throw new FormatError{"arg 0 (fmt) must be String type, got " + fmtType};
     }
 
     var result := "";
@@ -33,7 +56,7 @@ public func format(objects ...) -> Any
         {
             if (i + 1 >= length)
             {
-                return null;
+                throw new FormatError{"unclosed brace"};
             }
             
             var nextChar = fmt[i + 1];
@@ -57,12 +80,12 @@ public func format(objects ...) -> Any
             
             if endIndex == -1
             {
-                return null;
+                throw new FormatError{"unclosed brace"};
             }
             
             if argIndex >= objects.length()
             {
-                return null;
+                throw new FormatError{"require enough format expression"};
             }
             
             result += value.string_from(objects[argIndex]);
@@ -79,7 +102,7 @@ public func format(objects ...) -> Any
                 continue;
             }
             
-            return null;
+            throw new FormatError{"invalid format syntax"};
         }
         else
         {
@@ -97,15 +120,16 @@ public func formatByListArgs(objects) -> Any
     {
         return null;
     }
-    if objects.length() < 1
+if objects.length() < 1
     {
-        return null;
+        throw new FormatError{"Require format string"};
     }
 
     var fmt := objects[0];
-    if value.type(fmt) != "String"
+    var fmtType := value.type(fmt);
+    if fmtType != "String"
     {
-        return null;
+        throw new FormatError{"arg 0 (fmt) must be String type, got " + fmtType};
     }
 
     var result := "";
@@ -121,7 +145,7 @@ public func formatByListArgs(objects) -> Any
         {
             if (i + 1 >= length)
             {
-                return null;
+                throw new FormatError{"unclosed brace"};
             }
             
             var nextChar = fmt[i + 1];
@@ -145,12 +169,12 @@ public func formatByListArgs(objects) -> Any
             
             if endIndex == -1
             {
-                return null;
+                throw new FormatError{"unclosed brace"};
             }
             
             if argIndex >= objects.length()
             {
-                return null;
+                throw new FormatError{"require enough format expression"};
             }
             
             result += value.string_from(objects[argIndex]);
@@ -167,7 +191,7 @@ public func formatByListArgs(objects) -> Any
                 continue;
             }
             
-            return null;
+            throw new FormatError{"invalid format syntax"};
         }
         else
         {

src/Module/Library/std/io/io.fig

@@ -43,7 +43,8 @@ public func println(objects...) -> Int
 
 public func printf(objects...) -> Any
 {
-    __fstdout_print(formater.formatByListArgs(objects));
+    var result := formater.formatByListArgs(objects);
+    __fstdout_print(result);
 }
 
 // inputs

src/Module/Library/std/time/time.fig

@@ -0,0 +1,51 @@
+/*
+    Official Module `time`
+    Library/time/time.fig
+    
+    Copyright © 2026 PuqiAR. All rights reserved.
+*/
+
+import _builtins; // provides __ftime_now_ns (int64_t)
+
+
+public struct Time
+{
+    ns: Int; // int64_t, private
+
+    public func toNanos() -> Int
+    {
+        return ns;
+    }
+
+    public func toMicros() -> Int
+    {
+        return __fvalue_int_from(ns / 1000); // convert double to int
+    }
+
+    public func toMillis() -> Double
+    {
+        return ns / 1000 / 1000;
+    }
+
+    public func toSeconds() -> Double
+    {
+        return ns / 1000 / 1000 / 1000;
+    }
+
+    public func since(other: Time) -> Int
+    {
+        const time_ns := other.toNanos();
+        const result := ns - time_ns;
+        if result < 0
+        {
+            throw "time has been reversed! 😢";
+        }
+        return result;
+    }
+    // TODO: support `-` operator when Fig supports overload
+} 
+
+public func now() -> Time
+{
+    return new Time{__ftime_now_ns()};
+}

src/Module/builtins.hpp

@@ -1,10 +1,15 @@
 #pragma once
 
-#include "Ast/Statements/InterfaceDefSt.hpp"
-#include "Ast/functionParameters.hpp"
+#include "Ast/Expressions/VarExpr.hpp"
+#include "Ast/Statements/VarDef.hpp"
+#include "Ast/astBase.hpp"
+#include <Ast/Statements/InterfaceDefSt.hpp>
+#include <Ast/functionParameters.hpp>
 #include <Core/fig_string.hpp>
 #include <Value/value.hpp>
+#include <Core/runtimeTime.hpp>
 
+#include <chrono>
 #include <numeric>
 #include <unordered_map>
 #include <functional>
@@ -33,11 +38,19 @@ namespace Fig
             {u8"true", Object::getTrueInstance()},
             {u8"false", Object::getFalseInstance()},
             {u8"Error",
-             std::make_shared<Object>(InterfaceType(
-                 ErrorInterfaceTypeInfo,
-                 {Ast::InterfaceMethod(u8"toString", Ast::FunctionParameters({}, {}), u8"String", nullptr),
-                  Ast::InterfaceMethod(u8"getErrorClass", Ast::FunctionParameters({}, {}), u8"String", nullptr),
-                  Ast::InterfaceMethod(u8"getErrorMessage", Ast::FunctionParameters({}, {}), u8"String", nullptr)}))},
+             std::make_shared<Object>(InterfaceType(ErrorInterfaceTypeInfo,
+                                                    {Ast::InterfaceMethod(u8"toString",
+                                                                          Ast::FunctionParameters({}, {}),
+                                                                          std::make_shared<Ast::VarExprAst>(u8"String"),
+                                                                          nullptr),
+                                                     Ast::InterfaceMethod(u8"getErrorClass",
+                                                                          Ast::FunctionParameters({}, {}),
+                                                                          std::make_shared<Ast::VarExprAst>(u8"String"),
+                                                                          nullptr),
+                                                     Ast::InterfaceMethod(u8"getErrorMessage",
+                                                                          Ast::FunctionParameters({}, {}),
+                                                                          std::make_shared<Ast::VarExprAst>(u8"String"),
+                                                                          nullptr)}))},
 
             {u8"Any", std::make_shared<Object>(StructType(ValueType::Any, nullptr, {}, true))},
             {u8"Int", std::make_shared<Object>(StructType(ValueType::Int, nullptr, {}, true))},
@@ -65,6 +78,7 @@ namespace Fig
             {u8"__fvalue_double_parse", 1},
             {u8"__fvalue_double_from", 1},
             {u8"__fvalue_string_from", 1},
+            {u8"__ftime_now_ns", 0},
             /* math start */
             {u8"__fmath_acos", 1},
             {u8"__fmath_acosh", 1},
@@ -194,6 +208,15 @@ namespace Fig
                  ObjectPtr val = args[0];
                  return std::make_shared<Object>(val->toStringIO());
              }},
+            {u8"__ftime_now_ns",
+             [](const std::vector<ObjectPtr> &args) -> ObjectPtr {
+                 // returns nanoseconds
+                 using namespace Fig::Time;
+                 auto now = Clock::now();
+                 return std::make_shared<Object>(static_cast<ValueType::IntClass>(
+                     std::chrono::duration_cast<std::chrono::nanoseconds>(now - start_time).count()));
+             }},
+
             /* math start */
             {u8"__fmath_acos",
              [](const std::vector<ObjectPtr> &args) -> ObjectPtr {

src/Parser/parser.cpp

@@ -1,9 +1,9 @@
-#include "Ast/Statements/ErrorFlow.hpp"
-#include "Ast/Statements/ImplementSt.hpp"
-#include "Ast/astBase.hpp"
-#include "Ast/functionParameters.hpp"
-#include "Error/error.hpp"
-#include "Token/token.hpp"
+#include <Ast/Statements/ErrorFlow.hpp>
+#include <Ast/Statements/ImplementSt.hpp>
+#include <Ast/astBase.hpp>
+#include <Ast/functionParameters.hpp>
+#include <Error/error.hpp>
+#include <Token/token.hpp>
 #include <Parser/parser.hpp>
 
 namespace Fig
@@ -22,7 +22,7 @@ namespace Fig
         // 逻辑
         {Ast::Operator::And, {5, 6}},
         {Ast::Operator::Or, {4, 5}},
-        {Ast::Operator::Not, {30, 31}}, // 一元
+        // {Ast::Operator::Not, {30, 31}}, // 一元
 
         // 比较
         {Ast::Operator::Equal, {7, 8}},
@@ -37,7 +37,7 @@ namespace Fig
         {Ast::Operator::BitAnd, {6, 7}},
         {Ast::Operator::BitOr, {4, 5}},
         {Ast::Operator::BitXor, {5, 6}},
-        {Ast::Operator::BitNot, {30, 31}}, // 一元
+        // {Ast::Operator::BitNot, {30, 31}}, // 一元
         {Ast::Operator::ShiftLeft, {15, 16}},
         {Ast::Operator::ShiftRight, {15, 16}},
 
@@ -54,6 +54,14 @@ namespace Fig
 
         // // 点运算符
         // {Ast::Operator::Dot, {40, 41}},
+        {Ast::Operator::TernaryCond, {3, 2}},
+    };
+
+    const std::unordered_map<Ast::Operator, Parser::Precedence> Parser::unaryOpPrecedence = {
+        {Ast::Operator::Subtract, 150}, // -
+        {Ast::Operator::BitAnd, 150},   // &
+        {Ast::Operator::BitNot, 150},   // ~
+        {Ast::Operator::Not, 150},      // !
     };
 
     Ast::VarDef Parser::__parseVarDef(bool isPublic)
@@ -64,31 +72,31 @@ namespace Fig
         expect(TokenType::Identifier);
         FString name = currentToken().getValue();
         next();
-        FString tiName = ValueType::Any.name;
+        Ast::Expression declaredType = nullptr;
         bool hasSpecificType = false;
         if (isThis(TokenType::Colon)) // :
         {
-            expectPeek(TokenType::Identifier, FString(u8"Type name"));
-            next();
-            tiName = currentToken().getValue();
-            next();
+            next(); // consume `:`
+            declaredType = parseExpression(0, TokenType::Assign, TokenType::Semicolon);
             hasSpecificType = true;
         }
         if (isThis(TokenType::Semicolon))
         {
             next(); // consume `;`, no using expectConsume here cause we don't need to check again
-            return makeAst<Ast::VarDefAst>(isPublic, isConst, name, tiName, nullptr);
+            return makeAst<Ast::VarDefAst>(isPublic, isConst, name, declaredType, nullptr, false);
         }
         if (!isThis(TokenType::Assign) and !isThis(TokenType::Walrus)) expect(TokenType::Assign, u8"assign or walrus");
+        bool followupType = false;
+
         if (isThis(TokenType::Walrus))
         {
             if (hasSpecificType) throwAddressableError<SyntaxError>(FString(u8""));
-            tiName = Parser::varDefTypeFollowed;
+            followupType = true;
         }
         next();
         Ast::Expression exp = parseExpression(0);
         expectSemicolon();
-        return makeAst<Ast::VarDefAst>(isPublic, isConst, name, tiName, exp);
+        return makeAst<Ast::VarDefAst>(isPublic, isConst, name, declaredType, exp, followupType);
     }
 
     ObjectPtr Parser::__parseValue()
@@ -125,18 +133,12 @@ namespace Fig
                 return std::make_shared<Object>(i);
             }
         }
-        else if (currentToken().getType() == TokenType::LiteralString)
-        {
-            return std::make_shared<Object>(_val);
-        }
+        else if (currentToken().getType() == TokenType::LiteralString) { return std::make_shared<Object>(_val); }
         else if (currentToken().getType() == TokenType::LiteralBool)
         {
             return std::make_shared<Object>((_val == u8"true" ? true : false));
         }
-        else if (currentToken().getType() == TokenType::LiteralNull)
-        {
-            return Object::getNullInstance();
-        }
+        else if (currentToken().getType() == TokenType::LiteralNull) { return Object::getNullInstance(); }
         else
         {
             throw std::runtime_error(std::string("Internal Error at: ") + std::string(__func__));
@@ -206,7 +208,7 @@ namespace Fig
                 variaPara = pname;
                 next(); // skip `...`
                 if (!isThis(TokenType::RightParen))
-                    throw SyntaxError(
+                    throwAddressableError<SyntaxError>(
                         u8"Expects right paren, variable parameter function can only have one parameter",
                         currentAAI.line,
                         currentAAI.column);
@@ -229,17 +231,17 @@ namespace Fig
         next();
         expect(TokenType::LeftParen);
         Ast::FunctionParameters params = __parseFunctionParameters();
-        FString retTiName = ValueType::Any.name;
+
+        Ast::Expression returnType;
+
         if (isThis(TokenType::RightArrow)) // ->
         {
             next(); // skip `->`
-            expect(TokenType::Identifier);
-            retTiName = currentToken().getValue();
-            next(); // skip return type
+            returnType = parseExpression(0, TokenType::LeftBrace, TokenType::Semicolon);
         }
         expect(TokenType::LeftBrace);
         Ast::BlockStatement body = __parseBlockStatement();
-        return makeAst<Ast::FunctionDefSt>(funcName, params, isPublic, retTiName, body);
+        return makeAst<Ast::FunctionDefSt>(funcName, params, isPublic, returnType, body);
     }
     Ast::StructDef Parser::__parseStructDef(bool isPublic)
     {
@@ -281,13 +283,11 @@ namespace Fig
             {
                 throwAddressableError<SyntaxError>(FString(std::format("expect field name or field attribute")));
             }
-            FString tiName = ValueType::Any.name;
+            Ast::Expression fieldType = nullptr;
             if (isThis(TokenType::Colon))
             {
-                next();
-                expect(TokenType::Identifier, u8"type name");
-                tiName = currentToken().getValue();
-                next();
+                next(); // consume `:`
+                fieldType = parseExpression(0, TokenType::Assign, TokenType::Semicolon);
             }
             Ast::Expression initExpr = nullptr;
             if (isThis(TokenType::Assign))
@@ -297,7 +297,7 @@ namespace Fig
                 initExpr = parseExpression(0);
             }
             expectSemicolon();
-            return Ast::StructDefField(am, fieldName, tiName, initExpr);
+            return Ast::StructDefField(am, fieldName, fieldType, initExpr);
         };
         std::vector<Ast::Statement> stmts;
         std::vector<Ast::StructDefField> fields;
@@ -310,10 +310,7 @@ namespace Fig
                 next(); // consume `}`
                 break;
             }
-            if (isThis(TokenType::Identifier))
-            {
-                fields.push_back(__parseStructField(false));
-            }
+            if (isThis(TokenType::Identifier)) { fields.push_back(__parseStructField(false)); }
             else if (isThis(TokenType::Public))
             {
                 if (isNext(TokenType::Const))
@@ -353,23 +350,18 @@ namespace Fig
                 next(); // consume `struct`
                 stmts.push_back(__parseStructDef(false));
             }
-            else if (isThis(TokenType::Const))
-            {
-                fields.push_back(__parseStructField(false));
-            }
+            else if (isThis(TokenType::Const)) { fields.push_back(__parseStructField(false)); }
             else if (isThis(TokenType::Variable))
             {
-                throwAddressableError<SyntaxError>(FString("Variables are not allowed to be defined within a structure."));
+                throwAddressableError<SyntaxError>(
+                    FString("Variables are not allowed to be defined within a structure."));
             }
             else
             {
                 throwAddressableError<SyntaxError>(FString("Invalid syntax"));
             }
         }
-        if (!braceClosed)
-        {
-            throwAddressableError<SyntaxError>(FString("braces are not closed"));
-        }
+        if (!braceClosed) { throwAddressableError<SyntaxError>(FString("braces are not closed")); }
         return makeAst<Ast::StructDefSt>(isPublic, structName, fields, makeAst<Ast::BlockStatementAst>(stmts));
     }
 
@@ -401,32 +393,22 @@ namespace Fig
                 expect(TokenType::RightArrow); // ->
                 next();                        // consume `->`
 
-                expect(TokenType::Identifier, u8"return type");
-                FString returnType = currentToken().getValue();
-                next(); // consume return type
+                Ast::Expression returnType = parseExpression(0, TokenType::LeftBrace, TokenType::Semicolon);
 
                 if (isThis(TokenType::LeftBrace))
                 {
                     Ast::BlockStatement block = __parseBlockStatement();
 
-                    methods.push_back(Ast::InterfaceMethod(
-                        funcName,
-                        paras,
-                        returnType,
-                        block));
+                    methods.push_back(Ast::InterfaceMethod(funcName, paras, returnType, block));
                     continue;
                 }
-                expect(TokenType::Semicolon);
-                next(); // consume `;`
+                expectSemicolon();
 
-                methods.push_back(Ast::InterfaceMethod(
-                    funcName,
-                    paras,
-                    returnType));
+                methods.push_back(Ast::InterfaceMethod(funcName, paras, returnType));
             }
             else
             {
-                throw SyntaxError(FString(u8"Invalid syntax"), currentAAI.line, currentAAI.column);
+                throwAddressableError<SyntaxError>(FString(u8"Invalid syntax"), currentAAI.line, currentAAI.column);
             }
         }
         return makeAst<Ast::InterfaceDefAst>(interfaceName, methods, isPublic);
@@ -447,7 +429,7 @@ namespace Fig
         FString structName = currentToken().getValue();
         next();                       // consume name
         expect(TokenType::LeftBrace); // {
-        next();  // consume `{`
+        next();                       // consume `{`
 
         std::vector<Ast::ImplementMethod> methods;
 
@@ -466,14 +448,11 @@ namespace Fig
                 Ast::FunctionParameters paras = __parseFunctionParameters();
                 expect(TokenType::LeftBrace);
                 Ast::BlockStatement body = __parseBlockStatement();
-                methods.push_back(Ast::ImplementMethod(
-                    funcName,
-                    paras,
-                    body));
+                methods.push_back(Ast::ImplementMethod(funcName, paras, body));
             }
             else
             {
-                throw SyntaxError(FString(u8"Invalid syntax"), currentAAI.line, currentAAI.column);
+                throwAddressableError<SyntaxError>(FString(u8"Invalid syntax"), currentAAI.line, currentAAI.column);
             }
         }
 
@@ -533,15 +512,13 @@ namespace Fig
                     hasType = true;
                 }
                 expect(TokenType::RightParen); // ）
-                next(); // consume `)`
-                expect(TokenType::LeftBrace); // {
+                next();                        // consume `)`
+                expect(TokenType::LeftBrace);  // {
                 Ast::BlockStatement catchBody = __parseBlockStatement();
 
-                if (hasType)
+                if (hasType) { catches.push_back(Ast::Catch(errVarName, errVarType, catchBody)); }
+                else
                 {
-                    catches.push_back(Ast::Catch(errVarName, errVarType, catchBody));
-                }
-                else {
                     catches.push_back(Ast::Catch(errVarName, catchBody));
                 }
             }
@@ -549,7 +526,8 @@ namespace Fig
             {
                 if (finallyBlock != nullptr)
                 {
-                    throw SyntaxError(u8"Duplicate try finally-block", currentAAI.line, currentAAI.column);
+                    throwAddressableError<SyntaxError>(
+                        u8"Duplicate try finally-block", currentAAI.line, currentAAI.column);
                 }
                 next(); // consume `finally`
                 expect(TokenType::LeftBrace);
@@ -563,21 +541,15 @@ namespace Fig
         return makeAst<Ast::TrySt>(body, catches, finallyBlock);
     }
 
-    Ast::Statement Parser::__parseStatement()
+    Ast::Statement Parser::__parseStatement(bool allowExp)
     {
         Ast::Statement stmt;
         if (isThis(TokenType::EndOfFile)) { return makeAst<Ast::EofStmt>(); }
-        else if (isThis(TokenType::Import))
-        {
-            stmt = __parseImport();
-        }
+        else if (isThis(TokenType::Import)) { stmt = __parseImport(); }
         else if (isThis(TokenType::Public))
         {
             next(); // consume `public`
-            if (isThis(TokenType::Variable) || isThis(TokenType::Const))
-            {
-                stmt = __parseVarDef(true);
-            }
+            if (isThis(TokenType::Variable) || isThis(TokenType::Const)) { stmt = __parseVarDef(true); }
             else if (isThis(TokenType::Function) and isNext(TokenType::Identifier))
             {
                 next();
@@ -585,21 +557,17 @@ namespace Fig
             }
             else if (isThis(TokenType::Struct))
             {
+                next();
                 stmt = __parseStructDef(true);
             }
-            else if (isThis(TokenType::Interface))
-            {
-                stmt = __parseInterfaceDef(true);
-            }
+            else if (isThis(TokenType::Interface)) { stmt = __parseInterfaceDef(true); }
             else
             {
-                throwAddressableError<SyntaxError>(FString(u8"Expected `var`, `const`, `function`, `struct` or `interface` after `public`"));
+                throwAddressableError<SyntaxError>(
+                    FString(u8"Expected `var`, `const`, `function`, `struct` or `interface` after `public`"));
             }
         }
-        else if (isThis(TokenType::Variable) || isThis(TokenType::Const))
-        {
-            stmt = __parseVarDef(false);
-        }
+        else if (isThis(TokenType::Variable) || isThis(TokenType::Const)) { stmt = __parseVarDef(false); }
         else if (isThis(TokenType::Function) and isNext(TokenType::Identifier))
         {
             next();
@@ -617,57 +585,31 @@ namespace Fig
             next();
             stmt = __parseInterfaceDef(false);
         }
-        else if (isThis(TokenType::Implement))
-        {
-            stmt = __parseImplement();
-        }
-        else if (isThis(TokenType::If))
-        {
-            stmt = __parseIf();
-        }
+        else if (isThis(TokenType::Implement)) { stmt = __parseImplement(); }
+        else if (isThis(TokenType::If)) { stmt = __parseIf(); }
         else if (isThis(TokenType::Else))
         {
             throwAddressableError<SyntaxError>(FString(u8"`else` without matching `if`"));
         }
-        else if (isThis(TokenType::LeftBrace))
-        {
-            stmt = __parseBlockStatement();
-        }
-        else if (isThis(TokenType::While))
-        {
-            stmt = __parseWhile();
-        }
-        else if (isThis(TokenType::For))
-        {
-            stmt = __parseFor();
-        }
-        else if (isThis(TokenType::Return))
-        {
-            stmt = __parseReturn();
-        }
-        else if (isThis(TokenType::Break))
-        {
-            stmt = __parseBreak();
-        }
-        else if (isThis(TokenType::Continue))
-        {
-            stmt = __parseContinue();
-        }
-        else if (isThis(TokenType::Throw))
-        {
-            stmt = __parseThrow();
-        }
-        else if (isThis(TokenType::Try))
-        {
-            stmt = __parseTry();
-        }
-        else
+        else if (isThis(TokenType::LeftBrace)) { stmt = __parseBlockStatement(); }
+        else if (isThis(TokenType::While)) { stmt = __parseWhile(); }
+        else if (isThis(TokenType::For)) { stmt = __parseFor(); }
+        else if (isThis(TokenType::Return)) { stmt = __parseReturn(); }
+        else if (isThis(TokenType::Break)) { stmt = __parseBreak(); }
+        else if (isThis(TokenType::Continue)) { stmt = __parseContinue(); }
+        else if (isThis(TokenType::Throw)) { stmt = __parseThrow(); }
+        else if (isThis(TokenType::Try)) { stmt = __parseTry(); }
+        else if (allowExp)
         {
             // expression statement
             Ast::Expression exp = parseExpression(0);
             expectSemicolon();
             stmt = makeAst<Ast::ExpressionStmtAst>(exp);
         }
+        else
+        {
+            throwAddressableError<SyntaxError>(u8"invalid syntax", currentAAI.line, currentAAI.column);
+        }
         return stmt;
     }
     Ast::BlockStatement Parser::__parseBlockStatement()
@@ -700,7 +642,7 @@ namespace Fig
         }
         else
         {
-            condition = parseExpression(0);
+            condition = parseExpression(0, TokenType::LeftBrace);
         }
         // parenthesis is not required
         expect(TokenType::LeftBrace); // {
@@ -723,7 +665,7 @@ namespace Fig
                 }
                 else
                 {
-                    elifCondition = parseExpression(0);
+                    elifCondition = parseExpression(0, TokenType::LeftBrace);
                 }
                 expect(TokenType::LeftBrace); // {
                 Ast::BlockStatement elifBody = __parseBlockStatement();
@@ -753,7 +695,7 @@ namespace Fig
         }
         else
         {
-            condition = parseExpression(0);
+            condition = parseExpression(0, TokenType::LeftBrace);
         }
         expect(TokenType::LeftBrace); // {
         Ast::BlockStatement body = __parseBlockStatement();
@@ -771,12 +713,15 @@ namespace Fig
             throwAddressableError<SyntaxError>(u8"BlockStatement cannot be used as for loop increment");
         }
 
-        if (isThis(TokenType::If) || isThis(TokenType::While) || isThis(TokenType::For) || isThis(TokenType::Return) || isThis(TokenType::Break) || isThis(TokenType::Continue))
+        if (isThis(TokenType::If) || isThis(TokenType::While) || isThis(TokenType::For) || isThis(TokenType::Return)
+            || isThis(TokenType::Break) || isThis(TokenType::Continue))
         {
             throwAddressableError<SyntaxError>(u8"Control flow statements cannot be used as for loop increment");
         }
 
-        return __parseStatement();
+        Ast::Expression exp = parseExpression(0, TokenType::LeftBrace);
+        // expectSemicolon(); we dont check the semicolon
+        return makeAst<Ast::ExpressionStmtAst>(exp);
     }
     Ast::For Parser::__parseFor()
     {
@@ -784,22 +729,20 @@ namespace Fig
         // TODO: support enumeration
         next(); // consume `for`
         bool paren = isThis(TokenType::LeftParen);
-        if (paren)
-            next(); // consume `(`
+        if (paren) next(); // consume `(`
         // support 3-part for loop
         // for init; condition; increment {}
-        Ast::Statement initStmt = __parseStatement(); // auto check ``
+        Ast::Statement initStmt = __parseStatement(false); // auto check ``
         Ast::Expression condition = parseExpression(0);
         expectSemicolon(); // auto consume `;`
 
         Ast::Statement incrementStmt = nullptr;
         if (!isThis(paren ? TokenType::RightParen : TokenType::LeftBrace)) // need parse increment?
         {
-            auto guard = disableSemicolon();
+            // auto guard = disableSemicolon();
             incrementStmt = __parseIncrementStatement();
         } // after parse increment, semicolon check state restored
-        if (paren)
-            expectConsume(TokenType::RightParen);           // consume `)` if has `(`
+        if (paren) expectConsume(TokenType::RightParen);    // consume `)` if has `(`
         expect(TokenType::LeftBrace);                       // {
         Ast::BlockStatement body = __parseBlockStatement(); // auto consume `}`
         return makeAst<Ast::ForSt>(initStmt, condition, incrementStmt, body);
@@ -906,7 +849,7 @@ namespace Fig
         return makeAst<Ast::MapExprAst>(val);
     }
 
-    Ast::InitExpr Parser::__parseInitExpr(FString structName)
+    Ast::InitExpr Parser::__parseInitExpr(Ast::Expression structe)
     {
         // entry: current is `{`
         next(); // consume `{`
@@ -917,16 +860,13 @@ namespace Fig
         .2 Person {name: "Fig", age: 1, sex: "IDK"}; // can be unordered
         .3 Person {name, age, sex};
         */
-        uint8_t mode; // 0=undetermined, 1=positional, 2=named, 3=shorthand
+        uint8_t mode = 0; // 0=undetermined, 1=positional, 2=named, 3=shorthand
 
         while (!isThis(TokenType::RightBrace))
         {
             if (mode == 0)
             {
-                if (isThis(TokenType::Identifier) && isNext(TokenType::Colon))
-                {
-                    mode = 2;
-                }
+                if (isThis(TokenType::Identifier) && isNext(TokenType::Colon)) { mode = 2; }
                 else if (isThis(TokenType::Identifier) && (isNext(TokenType::Comma) || isNext(TokenType::RightBrace)))
                 {
                     mode = 3;
@@ -970,17 +910,19 @@ namespace Fig
             }
             else if (!isThis(TokenType::RightBrace))
             {
-                throwAddressableError<SyntaxError>(FString(
-                    std::format("Expect `,` or `}}` in struct initialization expression, got {}",
-                                currentToken().toString().toBasicString())));
+                throwAddressableError<SyntaxError>(
+                    FString(std::format("Expect `,` or `}}` in struct initialization expression, got {}",
+                                        currentToken().toString().toBasicString())));
             }
         }
         expect(TokenType::RightBrace);
         next(); // consume `}`
-        return makeAst<Ast::InitExprAst>(structName, args,
-                                         (mode == 1 ? Ast::InitExprAst::InitMode::Positional :
-                                                      (mode == 2 ? Ast::InitExprAst::InitMode::Named : Ast::InitExprAst::InitMode::Shorthand)));
+        return makeAst<Ast::InitExprAst>(
+            structe,
+            args,
+            static_cast<Ast::InitExprAst::InitMode>(mode));
     }
+
     Ast::Expression Parser::__parseTupleOrParenExpr()
     {
         next();
@@ -1002,8 +944,7 @@ namespace Fig
             {
                 next(); // consume ','
 
-                if (currentToken().getType() == TokenType::RightParen)
-                    break;
+                if (currentToken().getType() == TokenType::RightParen) break;
 
                 elements.push_back(parseExpression(0));
             }
@@ -1054,10 +995,7 @@ namespace Fig
             expect(TokenType::Identifier, u8"package name");
             path.push_back(currentToken().getValue());
             next(); // consume package name
-            if (isThis(TokenType::Semicolon))
-            {
-                break;
-            }
+            if (isThis(TokenType::Semicolon)) { break; }
             else if (isThis(TokenType::Dot))
             {
                 next(); // consume `.`
@@ -1067,8 +1005,7 @@ namespace Fig
                 throw SyntaxError();
             }
         }
-        expect(TokenType::Semicolon);
-        next(); // consume `;`
+        expectSemicolon();
         return makeAst<Ast::ImportSt>(path);
     }
 
@@ -1078,8 +1015,7 @@ namespace Fig
         Ast::Operator op;
 
         Token tok = currentToken();
-        if (tok == EOFTok)
-            throwAddressableError<SyntaxError>(FString(u8"Unexpected end of expression"));
+        if (tok == EOFTok) throwAddressableError<SyntaxError>(FString(u8"Unexpected end of expression"));
         if (tok.getType() == stop || tok.getType() == stop2)
         {
             if (lhs == nullptr) throwAddressableError<SyntaxError>(FString(u8"Expected expression"));
@@ -1117,39 +1053,56 @@ namespace Fig
         {
             FString id = tok.getValue();
             next();
-            if (currentToken().getType() == TokenType::LeftBrace)
-            {
-                lhs = __parseInitExpr(id); // a_struct{init...}
-            }
-            else
-            {
-                lhs = __parseVarExpr(id);
-            }
+            lhs = __parseVarExpr(id);
         }
         else if (isTokenOp(tok) && isOpUnary((op = Ast::TokenToOp.at(tok.getType()))))
         {
             // prefix
             next();
-            lhs = __parsePrefix(op, getRightBindingPower(op));
+            lhs = makeAst<Ast::UnaryExprAst>(op, parseExpression(bp, stop, stop2));
+        }
+        else if (tok.getType() == TokenType::New)
+        {
+            // `new` now is an independent syntax
+            next();
+            Ast::Expression operand = parseExpression(bp, TokenType::LeftBrace);
+            expect(TokenType::LeftBrace);
+            lhs = __parseInitExpr(operand);
         }
         else
         {
-            throwAddressableError<SyntaxError>(FString(u8"Unexpected token in expression"));
+            throwAddressableError<SyntaxError>(FString(u8"Unexpected token in expression:") + tok.toString());
         }
 
         // infix / (postfix) ?
         while (true)
         {
             tok = currentToken();
-            if (tok.getType() == TokenType::Semicolon || tok == EOFTok) break;
+            if (tok.getType() == stop || tok.getType() == stop2 || tok == EOFTok) break;
 
             /* Postfix */
 
+            if (tok.getType() == TokenType::LeftBrace)
+            {
+                throwAddressableError<SyntaxError>(
+                    FString(u8"Since Fig v0.4.2, please use new struct{} to avoid syntax ambiguity"));
+            }
+
             if (tok.getType() == TokenType::LeftParen)
             {
                 lhs = __parseCall(lhs);
                 continue;
             }
+            // else if (tok.getType() == TokenType::LeftBrace) { lhs = __parseInitExpr(lhs); }
+            /*
+                since Fig v0.4.2, use new struct{};
+
+                if a == A{}
+                is A{} struct init?
+                or A a variable, {} is the body?
+
+                fuck.
+            */
 
             // member access: a.b
             if (tok.getType() == TokenType::Dot)
@@ -1169,22 +1122,24 @@ namespace Fig
             if (tok.getType() == TokenType::LeftBracket)
             {
                 next(); // consume '['
-                auto indexExpr = parseExpression(0, TokenType::RightBracket);
+                auto indexExpr = parseExpression(0, TokenType::RightBracket, stop2);
                 expect(TokenType::RightBracket);
                 next(); // consume ']'
 
                 lhs = makeAst<Ast::IndexExprAst>(lhs, indexExpr);
                 continue;
             }
-
             // ternary
             if (tok.getType() == TokenType::Question)
             {
+                auto [lbp, rbp] = getBindingPower(Ast::Operator::TernaryCond);
+                if (bp >= lbp) break;
+
                 next(); // consume ?
                 Ast::Expression trueExpr = parseExpression(0, TokenType::Colon);
-                expect(TokenType::Colon);
-                next(); // consume :
-                Ast::Expression falseExpr = parseExpression(0, TokenType::Semicolon, stop2);
+                expectConsume(TokenType::Colon);
+
+                Ast::Expression falseExpr = parseExpression(0);
                 lhs = makeAst<Ast::TernaryExprAst>(lhs, trueExpr, falseExpr);
                 continue;
             }
@@ -1192,11 +1147,11 @@ namespace Fig
             if (!isTokenOp(tok)) break;
 
             op = Ast::TokenToOp.at(tok.getType());
-            Precedence lbp = getLeftBindingPower(op);
+            auto [lbp, rbp] = getBindingPower(op);
             if (bp >= lbp) break;
 
             next(); // consume op
-            lhs = __parseInfix(lhs, op, getRightBindingPower(op));
+            lhs = makeAst<Ast::BinaryExprAst>(lhs, op, parseExpression(rbp, stop, stop2));
         }
 
         return lhs;
@@ -1206,20 +1161,15 @@ namespace Fig
     {
         output.clear();
         Token tok = currentToken();
-        if (tok == EOFTok)
-        {
-            return output;
-        }
+        if (tok == EOFTok) { return output; }
 
         while (!isEOF())
         {
             auto stmt = __parseStatement();
             if (!output.empty() && stmt->getType() == Ast::AstType::PackageSt)
             {
-                throw SyntaxError(
-                    u8"Package must be at the beginning of the file",
-                    currentAAI.line,
-                    currentAAI.column);
+                throwAddressableError<SyntaxError>(
+                    u8"Package must be at the beginning of the file", currentAAI.line, currentAAI.column);
             }
             pushNode(stmt);
         }

src/Parser/parser.hpp

@@ -1,11 +1,12 @@
 #pragma once
 
+#include <Ast/astBase.hpp>
 #include <Ast/ast.hpp>
 #include <Lexer/lexer.hpp>
 #include <Core/fig_string.hpp>
 #include <Error/error.hpp>
 
-#include <print>
+#include <memory>
 #include <source_location>
 #include <unordered_map>
 
@@ -21,6 +22,9 @@ namespace Fig
         std::vector<Ast::AstBase> output;
         std::vector<Token> previousTokens;
 
+        std::shared_ptr<FString> sourcePathPtr;
+        std::shared_ptr<std::vector<FString>> sourceLinesPtr;
+
         size_t tokenPruduced = 0;
         size_t currentTokenIndex = 0;
 
@@ -38,15 +42,8 @@ namespace Fig
             bool original;
 
         public:
-            SemicolonDisabler(Parser *parser) :
-                p(parser), original(p->needSemicolon)
-            {
-                p->needSemicolon = false;
-            }
-            ~SemicolonDisabler()
-            {
-                p->needSemicolon = original;
-            }
+            SemicolonDisabler(Parser *parser) : p(parser), original(p->needSemicolon) { p->needSemicolon = false; }
+            ~SemicolonDisabler() { p->needSemicolon = original; }
             // disable copy and assign
             SemicolonDisabler(const SemicolonDisabler &) = delete;
             SemicolonDisabler &operator=(const SemicolonDisabler &) = delete;
@@ -65,14 +62,8 @@ namespace Fig
             output.push_back(node);
         }
 
-        bool isTokenSymbol(Token tok)
-        {
-            return Lexer::symbol_map.contains(tok.getValue());
-        }
-        bool isTokenOp(Token tok)
-        {
-            return Ast::TokenToOp.contains(tok.getType());
-        }
+        bool isTokenSymbol(Token tok) { return Lexer::symbol_map.contains(tok.getValue()); }
+        bool isTokenOp(Token tok) { return Ast::TokenToOp.contains(tok.getType()); }
         bool isEOF()
         {
             if (tokenPruduced == 0) return false;
@@ -82,32 +73,33 @@ namespace Fig
     public:
         using Precedence = uint32_t;
         static const std::unordered_map<Ast::Operator, std::pair<Precedence, Precedence>> opPrecedence;
-        Parser(const Lexer &_lexer) :
-            lexer(_lexer)
+        static const std::unordered_map<Ast::Operator, Precedence> unaryOpPrecedence;
+
+        Parser(const Lexer &_lexer, FString _sourcePath, std::vector<FString> _sourceLines) : lexer(_lexer)
         {
+            sourcePathPtr = std::make_shared<FString>(_sourcePath);
+            sourceLinesPtr = std::make_shared<std::vector<FString>>(_sourceLines);
         }
 
-        AddressableError* getError() const
-        {
-            return error.get();
-        }
+        AddressableError *getError() const { return error.get(); }
 
         template <class _ErrT, typename = AddressableError>
-        void throwAddressableError(FString msg, size_t line, size_t column, std::source_location loc = std::source_location::current())
+        void throwAddressableError(FString msg,
+                                   size_t line,
+                                   size_t column,
+                                   std::source_location loc = std::source_location::current())
         {
-            static_assert(std::is_base_of_v<AddressableError, _ErrT>,
-                          "_ErrT must derive from AddressableError");
-            _ErrT spError(msg, line, column, loc);
+            static_assert(std::is_base_of_v<AddressableError, _ErrT>, "_ErrT must derive from AddressableError");
+            _ErrT spError(msg, line, column, *sourcePathPtr, *sourceLinesPtr, loc);
             error = std::make_unique<_ErrT>(spError);
             throw spError;
         }
         template <class _ErrT, typename = AddressableError>
         void throwAddressableError(FString msg, std::source_location loc = std::source_location::current())
         {
-            static_assert(std::is_base_of_v<AddressableError, _ErrT>,
-                          "_ErrT must derive from AddressableError");
+            static_assert(std::is_base_of_v<AddressableError, _ErrT>, "_ErrT must derive from AddressableError");
             // line, column provide by `currentAAI`
-            _ErrT spError(msg, currentAAI.line, currentAAI.column, loc);
+            _ErrT spError(msg, currentAAI.line, currentAAI.column, *sourcePathPtr, *sourceLinesPtr, loc);
             error = std::make_unique<_ErrT>(spError);
             throw spError;
         }
@@ -115,22 +107,15 @@ namespace Fig
         template <class _ErrT, typename = UnaddressableError>
         void throwUnaddressableError(FString msg, std::source_location loc = std::source_location::current())
         {
-            static_assert(std::is_base_of_v<AddressableError, _ErrT>,
-                          "_ErrT must derive from AddressableError");
+            static_assert(std::is_base_of_v<AddressableError, _ErrT>, "_ErrT must derive from AddressableError");
             _ErrT spError(msg, loc);
             error = std::make_unique<_ErrT>(spError);
             throw spError;
         }
 
-        void setCurrentAAI(Ast::AstAddressInfo _aai)
-        {
-            currentAAI = std::move(_aai);
-        }
+        void setCurrentAAI(Ast::AstAddressInfo _aai) { currentAAI = std::move(_aai); }
 
-        Ast::AstAddressInfo getCurrentAAI() const
-        {
-            return currentAAI;
-        }
+        Ast::AstAddressInfo getCurrentAAI() const { return currentAAI; }
 
         inline const Token &nextToken()
         {
@@ -143,7 +128,8 @@ namespace Fig
             if (int64_t(currentTokenIndex - 1) < int64_t(0))
             // 同下 next注释
             {
-                throw std::runtime_error("Internal Error in Parser::rollbackToken, trying to rollback but it's already on the begin");
+                throw std::runtime_error(
+                    "Internal Error in Parser::rollbackToken, trying to rollback but it's already on the begin");
             }
             currentTokenIndex--;
         }
@@ -152,10 +138,14 @@ namespace Fig
             if (int64_t(currentTokenIndex) < (int64_t(tokenPruduced) - 1))
             {
                 /*
-                必须两个都显示转换为int64_t.否则，负数时会超出范围，变成int64_t max, 并且 CTI也需要显示转换，否则转换完的pruduced又会被转回去，变为 int64_t max
+                必须两个都显示转换为int64_t.否则，负数时会超出范围，变成int64_t max, 并且
+                CTI也需要显示转换，否则转换完的pruduced又会被转回去，变为 int64_t max
                 */
                 currentTokenIndex++;
-                setCurrentAAI(Ast::AstAddressInfo{.line = currentToken().line, .column = currentToken().column});
+                setCurrentAAI(Ast::AstAddressInfo{.line = currentToken().line,
+                                                  .column = currentToken().column,
+                                                  .sourcePath = sourcePathPtr,
+                                                  .sourceLines = sourceLinesPtr});
                 return;
             }
             if (isEOF()) return;
@@ -163,7 +153,11 @@ namespace Fig
             tokenPruduced++;
             if (tok == IllegalTok) throw lexer.getError();
             currentTokenIndex = tokenPruduced - 1;
-            setCurrentAAI(Ast::AstAddressInfo{.line = tok.line, .column = tok.column});
+            setCurrentAAI(Ast::AstAddressInfo{.line = tok.line,
+                                              .column = tok.column,
+                                              .sourcePath = sourcePathPtr,
+                                              .sourceLines = sourceLinesPtr});
+
             previousTokens.push_back(tok);
         }
         inline const Token &currentToken()
@@ -184,18 +178,11 @@ namespace Fig
             return tok;
         }
 
-        std::pair<Precedence, Precedence> getBindingPower(Ast::Operator op)
-        {
-            return opPrecedence.at(op);
-        }
-        Precedence getLeftBindingPower(Ast::Operator op)
-        {
-            return getBindingPower(op).first;
-        }
-        Precedence getRightBindingPower(Ast::Operator op)
-        {
-            return getBindingPower(op).second;
-        }
+        const std::pair<Precedence, Precedence> &getBindingPower(Ast::Operator op) const { return opPrecedence.at(op); }
+        Precedence getLeftBindingPower(Ast::Operator op) const { return getBindingPower(op).first; }
+        Precedence getRightBindingPower(Ast::Operator op) const { return getBindingPower(op).second; }
+
+        const Precedence &getUnaryBp(Ast::Operator op) const { return unaryOpPrecedence.at(op); }
 
         // template <class _Tp, class... Args>
         // std::shared_ptr<_Tp> makeAst(Args &&...args)
@@ -217,8 +204,9 @@ namespace Fig
             if (peekToken().getType() != type)
             {
                 throwAddressableError<SyntaxError>(FString(std::format("Expected `{}`, but got `{}`",
-                                                                           magic_enum::enum_name(type),
-                                                                           magic_enum::enum_name(peekToken().getType()))), loc);
+                                                                       magic_enum::enum_name(type),
+                                                                       magic_enum::enum_name(peekToken().getType()))),
+                                                   loc);
             }
         }
 
@@ -226,9 +214,11 @@ namespace Fig
         {
             if (currentToken().getType() != type)
             {
-                throwAddressableError<SyntaxError>(FString(std::format("Expected `{}`, but got `{}`",
-                                                                           magic_enum::enum_name(type),
-                                                                           magic_enum::enum_name(currentToken().getType()))), loc);
+                throwAddressableError<SyntaxError>(
+                    FString(std::format("Expected `{}`, but got `{}`",
+                                        magic_enum::enum_name(type),
+                                        magic_enum::enum_name(currentToken().getType()))),
+                    loc);
             }
         }
 
@@ -237,8 +227,9 @@ namespace Fig
             if (peekToken().getType() != type)
             {
                 throwAddressableError<SyntaxError>(FString(std::format("Expected `{}`, but got `{}`",
-                                                                           expected.toBasicString(),
-                                                                           magic_enum::enum_name(peekToken().getType()))), loc);
+                                                                       expected.toBasicString(),
+                                                                       magic_enum::enum_name(peekToken().getType()))),
+                                                   loc);
             }
         }
 
@@ -246,18 +237,17 @@ namespace Fig
         {
             if (currentToken().getType() != type)
             {
-                throwAddressableError<SyntaxError>(FString(std::format("Expected `{}`, but got `{}`",
-                                                                           expected.toBasicString(),
-                                                                           magic_enum::enum_name(currentToken().getType()))), loc);
+                throwAddressableError<SyntaxError>(
+                    FString(std::format("Expected `{}`, but got `{}`",
+                                        expected.toBasicString(),
+                                        magic_enum::enum_name(currentToken().getType()))),
+                    loc);
             }
         }
 
-        [[nodiscard]] SemicolonDisabler disableSemicolon()
-        {
-            return SemicolonDisabler(this);
-        }
+        [[nodiscard]] SemicolonDisabler disableSemicolon() { return SemicolonDisabler(this); }
 
-        void expectSemicolon()
+        void expectSemicolon(std::source_location loc = std::source_location::current())
         {
             // if need semicolon and stream has `;`, consume it. if not need semicolon, do nothing
 
@@ -272,29 +262,23 @@ namespace Fig
             }
 
             // normal semicolon check
-            expectConsume(TokenType::Semicolon);
+            expectConsume(TokenType::Semicolon, loc);
         }
 
-        void expectConsume(TokenType type, FString expected)
+        void expectConsume(TokenType type, FString expected, std::source_location loc = std::source_location::current())
         {
-            expect(type, expected);
+            expect(type, expected, loc);
             next();
         }
 
-        void expectConsume(TokenType type)
+        void expectConsume(TokenType type, std::source_location loc = std::source_location::current())
         {
-            expect(type);
+            expect(type, loc);
             next();
         }
 
-        bool isNext(TokenType type)
-        {
-            return peekToken().getType() == type;
-        }
-        bool isThis(TokenType type)
-        {
-            return currentToken().getType() == type;
-        }
+        bool isNext(TokenType type) { return peekToken().getType() == type; }
+        bool isThis(TokenType type) { return currentToken().getType() == type; }
 
         static constexpr FString varDefTypeFollowed = u8"(Followed)";
 
@@ -313,28 +297,31 @@ namespace Fig
 
         Ast::VarExpr __parseVarExpr(FString);
         Ast::FunctionDef __parseFunctionDef(bool); // entry: current is Token::Identifier (isPublic: Bool)
-        Ast::StructDef __parseStructDef(bool);     // entry: current is Token::Identifier (struct name) arg(isPublic: bool)
-        Ast::InterfaceDef __parseInterfaceDef(bool); // entry: current is Token::Identifier (interface name) arg(isPublic: bool)
-        Ast::Implement __parseImplement();         // entry: current is `impl`
+        Ast::StructDef __parseStructDef(bool); // entry: current is Token::Identifier (struct name) arg(isPublic: bool)
+        Ast::InterfaceDef
+        __parseInterfaceDef(bool);         // entry: current is Token::Identifier (interface name) arg(isPublic: bool)
+        Ast::Implement __parseImplement(); // entry: current is `impl`
 
-        Ast::Throw __parseThrow();                 // entry: current is `throw`
-        Ast::Try __parseTry();                     // entry: current is `try`
+        Ast::Throw __parseThrow(); // entry: current is `throw`
+        Ast::Try __parseTry();     // entry: current is `try`
 
         Ast::BinaryExpr __parseInfix(Ast::Expression, Ast::Operator, Precedence);
         Ast::UnaryExpr __parsePrefix(Ast::Operator, Precedence);
         Ast::Expression __parseCall(Ast::Expression);
 
         Ast::ListExpr __parseListExpr(); // entry: current is `[`
-        Ast::MapExpr __parseMapExpr(); // entry: current is `{`
+        Ast::MapExpr __parseMapExpr();   // entry: current is `{`
 
-        Ast::InitExpr __parseInitExpr(FString);  // entry: current is `{`, ahead is struct name. arg (struct name : FString)
-        Ast::Expression __parseTupleOrParenExpr();             // entry: current is `(`
+        Ast::InitExpr __parseInitExpr(Ast::Expression); // entry: current is `{`, ahead is struct type exp.
+    
+
+        Ast::Expression __parseTupleOrParenExpr();      // entry: current is `(`
 
         Ast::FunctionLiteralExpr __parseFunctionLiteralExpr(); // entry: current is Token::LParen after Token::Function
 
-        Ast::Import __parseImport();                           // entry: current is Token::Import
+        Ast::Import __parseImport(); // entry: current is Token::Import
 
-        Ast::Statement __parseStatement();                     // entry: (idk)
+        Ast::Statement __parseStatement(bool = true); // entry: (idk)
         Ast::Expression parseExpression(Precedence, TokenType = TokenType::Semicolon, TokenType = TokenType::Semicolon);
         std::vector<Ast::AstBase> parseAll();
     };

src/Token/token.hpp

@@ -31,6 +31,7 @@ namespace Fig
         For,       // for
         If,        // if
         Else,      // else
+        New,       // new
         Struct,    // struct
         Interface, // interface
         Implement, // impl

src/Utils/AstPrinter.hpp

@@ -111,7 +111,7 @@ private:
         printFString(node->name, 0);
         printIndent(indent + 2);
         std::cout << "Type: ";
-        printFString(node->typeName, 0);
+        printFString(node->declaredType->toString(), 0);
         if (node->expr)
         {
             printIndent(indent + 2);

src/VMValue/VMValue.cpp

@@ -0,0 +1,29 @@
+#include <VMValue/VMValue.hpp>
+
+#include <cassert>
+#include <string>
+
+namespace Fig
+{
+    FString Value::toString() const
+    {
+        if (static_cast<int>(type) > static_cast<int>(Double))
+        {
+            return heap->toString();
+        }
+        switch (type)
+        {
+            case Null:
+                return u8"null";
+            case Bool:
+                return (b ? u8"true" : u8"false");
+            case Int:
+                return FString(std::to_string(i));
+            case Double:
+                return FString(std::to_string(d));
+            
+            default:
+                assert(false);
+        }
+    }
+};

src/VMValue/VMValue.hpp

@@ -0,0 +1,91 @@
+#pragma once
+
+/*
+    value system for virtual machine
+    not Evaluator value
+*/
+
+#include <Core/fig_string.hpp>
+
+#include <cstdint>
+
+namespace Fig
+{
+    struct HeapObject;
+
+    struct Value
+    {
+        struct NullObject {};
+
+        enum _Type : uint8_t
+        {
+            Null = 0,
+            Bool,
+            Int,
+            Double,
+
+            /* Complex types, alloc in heap*/
+            String,
+            // Function,
+            // StructType,
+            // StructInstance,
+            // List,
+            // Map,
+            // Module,
+            // InterfaceType
+        } type;
+        
+        union
+        {
+            NullObject n;
+            bool b;
+            int64_t i;
+            double d;
+
+            HeapObject *heap;
+        };
+
+        Value()
+        {
+            type = Null;
+            n = NullObject();
+        }
+
+        Value(bool _b)
+        {
+            type = Bool;
+            b = _b;
+        }
+
+        Value(int64_t _i)
+        {
+            type = Int;
+            i = _i;
+        }
+
+        Value(double _d)
+        {
+            type = Double;
+            d = _d;
+        }
+
+        FString toString() const;
+    };
+
+    struct HeapObject
+    {
+        Value::_Type type; // > 3
+
+        virtual FString toString() const = 0;
+    };
+
+    struct String : HeapObject
+    {
+        FString value;
+
+        virtual FString toString() const override
+        {
+            return value;
+        }
+    };
+};

src/VirtualMachine/main.cpp

@@ -0,0 +1,43 @@
+/*
+
+ ███████████ █████   █████ ██████████    ███████████ █████   █████████     █████         █████████   ██████   █████   █████████  █████  █████   █████████     █████████  ██████████
+░█░░░███░░░█░░███   ░░███ ░░███░░░░░█   ░░███░░░░░░█░░███   ███░░░░░███   ░░███         ███░░░░░███ ░░██████ ░░███   ███░░░░░███░░███  ░░███   ███░░░░░███   ███░░░░░███░░███░░░░░█
+░   ░███  ░  ░███    ░███  ░███  █ ░     ░███   █ ░  ░███  ███     ░░░     ░███        ░███    ░███  ░███░███ ░███  ███     ░░░  ░███   ░███  ░███    ░███  ███     ░░░  ░███  █ ░
+    ░███     ░███████████  ░██████       ░███████    ░███ ░███             ░███        ░███████████  ░███░░███░███ ░███          ░███   ░███  ░███████████ ░███          ░██████
+    ░███     ░███░░░░░███  ░███░░█       ░███░░░█    ░███ ░███    █████    ░███        ░███░░░░░███  ░███ ░░██████ ░███    █████ ░███   ░███  ░███░░░░░███ ░███    █████ ░███░░█
+    ░███     ░███    ░███  ░███ ░   █    ░███  ░     ░███ ░░███  ░░███     ░███      █ ░███    ░███  ░███  ░░█████ ░░███  ░░███  ░███   ░███  ░███    ░███ ░░███  ░░███  ░███ ░   █
+    █████    █████   █████ ██████████    █████       █████ ░░█████████     ███████████ █████   █████ █████  ░░█████ ░░█████████  ░░████████   █████   █████ ░░█████████  ██████████
+   ░░░░░    ░░░░░   ░░░░░ ░░░░░░░░░░    ░░░░░       ░░░░░   ░░░░░░░░░     ░░░░░░░░░░░ ░░░░░   ░░░░░ ░░░░░    ░░░░░   ░░░░░░░░░    ░░░░░░░░   ░░░░░   ░░░░░   ░░░░░░░░░  ░░░░░░░░░░
+
+   Copyright (C) 2020-2026 PuqiAR
+
+This software is licensed under the MIT License. See LICENSE for details.
+*/
+
+
+// DO NOT USE CLANG-FORMAT FOR THIS FILE
+
+#include <Bytecode/Bytecode.hpp>
+#include <iostream>
+
+int main()
+{
+    using namespace Fig;
+
+
+    std::vector<OpCodeType> src;
+    
+    {
+        using enum Bytecode;
+        src = {
+            0x21, // LOAD_TRUE
+            0x23, 0x7f, // LOAD_CON8 0x7f
+            0x24, 0x12, 0x34, // LOAD_CON16 0x1234
+            0x25, 0x12, 0x34, 0x56, 0x78, // LOAD_CON32 0x12345678
+            0x63, 0x12, 0x34, 0x56, 0x78 // JUMP32_IF_TRUE
+        };
+
+        FString r = reverseCompile(src);
+        std::cout << r.toBasicString() << std::endl;
+    }
+}

xmake.lua

@@ -7,7 +7,6 @@ target("Fig")
     set_kind("binary")
     set_languages("c++23")
 
-
     add_ldflags("-static", {force = true})
     if is_plat("linux") then
         -- Linux: clang + libc++
@@ -27,15 +26,52 @@ target("Fig")
     end
     
 
-    add_files("src/main.cpp")
+    add_files("src/Evaluator/main.cpp")
     add_files("src/Core/warning.cpp")
+    add_files("src/Core/runtimeTime.cpp")
     add_files("src/Evaluator/evaluator.cpp")
+    add_files("src/Evaluator/Value/value.cpp")
     add_files("src/Lexer/lexer.cpp")
     add_files("src/Parser/parser.cpp")
-    add_files("src/Value/value.cpp")
 
     add_includedirs("src")
+    add_includedirs("src/Evaluator")
 
     set_warnings("all")
 
     add_defines("__FCORE_COMPILE_TIME=\"" .. os.date("%Y-%m-%d %H:%M:%S") .. "\"")
+
+-- -- Bytecode VM target
+-- target("Figc")
+--     set_kind("binary")
+--     set_languages("c++23")
+
+--     add_ldflags("-static", {force = true})
+--     if is_plat("linux") then
+--         -- Linux: clang + libc++
+--         set_toolchains("clang")
+--         add_cxxflags("-stdlib=libc++")
+--         add_ldflags("-stdlib=libc++")
+--     elseif is_plat("windows") then
+--         -- 1. CI cross (Linux -> Windows)
+--         -- 2. local dev (Windows + llvm-mingw)
+--         set_toolchains("mingw") -- llvm-mingw
+--         add_ldflags("-Wl,--stack,268435456")
+--         -- set_toolchains("clang")
+--         -- static lib
+--         -- add_ldflags("-target x86_64-w64-mingw32", "-static")
+--         -- add_cxxflags("-stdlib=libc++")
+--         -- add_ldflags("-stdlib=libc++")
+--     end
+    
+--     add_includedirs("src/Evaluator")
+--     add_files("src/Evaluator/Value/value.cpp")
+--     add_files("src/VirtualMachine/main.cpp")
+--     add_files("src/Core/warning.cpp")
+--     add_files("src/Lexer/lexer.cpp")
+--     add_files("src/Parser/parser.cpp")
+
+--     add_includedirs("src")
+--     set_warnings("all")
+
+--     add_defines("__FCORE_COMPILE_TIME=\"" .. os.date("%Y-%m-%d %H:%M:%S") .. "\"")