From 42f020977e7c83d24cc7a81f0a75c51da4ca099b Mon Sep 17 00:00:00 2001
From: CHatingPython <chatingpython@kpgpmc.org>
Date: Mon, 29 Jun 2026 20:43:00 +0200
Subject: [PATCH] feat: introduce more integer thing types

Closes: #31
---
 furc/src/main.cpp             |  2 +-
 furvm/include/furvm/thing.hpp | 42 ++++++++++++++++++++++++++++++-----
 furvm/src/main.cpp            |  2 +-
 3 files changed, 38 insertions(+), 8 deletions(-)

diff --git a/furc/src/main.cpp b/furc/src/main.cpp
index 313892f..d370a17 100644
--- a/furc/src/main.cpp
+++ b/furc/src/main.cpp
@@ -68,7 +68,7 @@ int main(void) {
         file.close();
 
         furvmMod->set_native_function("print",
-            [](furvm::executor& executor) { std::cout << executor.load_thing(0)->get<furvm::int_t>() << '\n'; });
+            [](furvm::executor& executor) { std::cout << executor.load_thing(0)->integer() << '\n'; });
 
         furvm::executor_h executor = context->emplace_executor(context);
         executor->push_frame(furvmMod, *furvmMod->function_at("main"));
diff --git a/furvm/include/furvm/thing.hpp b/furvm/include/furvm/thing.hpp
index eda6f28..58f5419 100644
--- a/furvm/include/furvm/thing.hpp
+++ b/furvm/include/furvm/thing.hpp
@@ -27,13 +27,31 @@ struct thing_type {
     std::uint64_t value;
 };
 
-using int_t = std::int32_t; /**< A 4-byte integer. */
+using byte_t  = std::int8_t;  /**< A 1-byte integer. */
+using short_t = std::int16_t; /**< A 2-byte integer. */
+using int_t   = std::int32_t; /**< A 4-byte integer. */
+using long_t  = std::int64_t; /**< An 8-byte integer. */
+
+/**
+ * @brief A 1-byte integer thing type.
+ */
+static constexpr thing_type ByteType = { thing_type_t::Primitive, sizeof(byte_t) };
+
+/**
+ * @brief A 2-byte integer thing type.
+ */
+static constexpr thing_type ShortType = { thing_type_t::Primitive, sizeof(short_t) };
 
 /**
  * @brief A 4-byte integer thing type.
  */
 static constexpr thing_type IntType = { thing_type_t::Primitive, sizeof(int_t) };
 
+/**
+ * @brief An 8-byte integer thing type.
+ */
+static constexpr thing_type LongType = { thing_type_t::Primitive, sizeof(long_t) };
+
 template <template <typename> typename Allocator>
 class thing final {
     friend class executor;
@@ -238,24 +256,36 @@ public:
      * @return A boolean result of the comparison in a thing form.
      */
     thing greater_equals(const thing& rhs) const { return binary_op(rhs, std::greater_equal<>{}); }
-private:
-    // TODO: Change to `to_long` after introducing long type.
-    int_t to_int() const {
+public:
+    /**
+     * @brief Returns a largest integer value of the thing.
+     *
+     * @return The integer value.
+     */
+    long_t integer() const {
         if (m_type.type != thing_type_t::Primitive) throw bad_thing_access();
         switch (m_type.value) {
+        case sizeof(byte_t): return get<byte_t>();
+        case sizeof(short_t): return get<short_t>();
         case sizeof(int_t): return get<int_t>();
+        case sizeof(long_t): return get<long_t>();
         default: throw std::runtime_error("unreachable");
         }
     }
-
+private:
     template <typename Op>
     thing binary_op(const thing& rhs, const Op& op) const {
         if (type().type == thing_type_t::Primitive && rhs.type().type == thing_type_t::Primitive) {
             std::size_t size = std::max(type().value, rhs.type().value);
 
+            long_t result = op(integer(), rhs.integer());
+
             thing res(thing_type{ thing_type_t::Primitive, size }, m_allocator);
             switch (size) {
-            case sizeof(int_t): res.get<int_t>() = op(to_int(), rhs.to_int()); break;
+            case sizeof(byte_t): res.get<byte_t>() = result; break;
+            case sizeof(short_t): res.get<short_t>() = result; break;
+            case sizeof(int_t): res.get<int_t>() = result; break;
+            case sizeof(long_t): res.get<long_t>() = result; break;
             default: throw std::runtime_error("unreachable");
             }
             return std::move(res);
diff --git a/furvm/src/main.cpp b/furvm/src/main.cpp
index d5aad7d..2b1973e 100644
--- a/furvm/src/main.cpp
+++ b/furvm/src/main.cpp
@@ -25,7 +25,7 @@ int main(void) {
     furvm::mod_h      furlangModule = context->emplace_module("furlang");
     furvm::function_h printFunc     = furlangModule->emplace_function("print", 1, "print");
     furlangModule->set_native_function("print",
-        [](furvm::executor& executor) { std::cout << executor.load_thing(0)->get<furvm::int_t>() << '\n'; });
+        [](furvm::executor& executor) { std::cout << executor.load_thing(0)->integer() << '\n'; });
 
     furvm::mod_h      mainModule = context->emplace_module("main", s_bytecode.begin(), s_bytecode.end());
     furvm::function_h mainFunc   = mainModule->emplace_function("main", 0, 0);