Số học hậu tố có giới hạn
Tính từ một đến 100 token hậu tố với số nguyên có giới hạn và các toán tử +, -, *, //.
def postfix_value(tokens):
tokens = tuple(tokens)
if not 1 <= len(tokens) <= 100:
raise ValueError("tokens.limit")
stack = []
for token in tokens:
if type(token) is int and abs(token) <= 1000000000:
stack.append(token)
continue
if type(token) is not str or token not in ("+", "-", "*", "//") or len(stack) < 2:
raise ValueError("token.invalid")
right, left = stack.pop(), stack.pop()
if token == "//" and right == 0:
raise ValueError("division.zero")
value = (left + right if token == "+" else left - right if token == "-" else left * right if token == "*" else left // right)
if abs(value) > 10**18:
raise ValueError("result.range")
stack.append(value)
if len(stack) != 1:
raise ValueError("stack.remainder")
return stack[0]- Dự án
- Kiểm tra phép chia âm làm tròn xuống và từ chối chia cho không, ngăn xếp thiếu hoặc giá trị tuyệt đối trung gian vượt 10**18.
- Kiểm tra trước khi áp dụng
- So sánh hành vi thực tế với kết quả mong đợi. Nếu kiểm tra thất bại, tìm nguyên nhân trước khi sửa tiếp.
- Mô hình
- Cấu hình endpoint tương thích OpenAI hoặc Anthropic bằng URL cơ sở và khóa API nếu cần. Kiểm tra kết nối. Máy chủ mô hình cục bộ phải đang chạy; công cụ từ xa có thể truyền dữ liệu riêng.
def postfix_value(tokens):
tokens = tuple(tokens)
if not 1 <= len(tokens) <= 100:
raise ValueError("tokens.limit")
stack = []
for token in tokens:
if type(token) is int and abs(token) <= 1000000000:
stack.append(token)
continue
if type(token) is not str or token not in ("+", "-", "*", "//") or len(stack) < 2:
raise ValueError("token.invalid")
right, left = stack.pop(), stack.pop()
if token == "//" and right == 0:
raise ValueError("division.zero")
value = (left + right if token == "+" else left - right if token == "-" else left * right if token == "*" else left // right)
if abs(value) > 10**18:
raise ValueError("result.range")
stack.append(value)
if len(stack) != 1:
raise ValueError("stack.remainder")
return stack[0]Xác định biểu thức được phép làm gì trước khi sửa bộ phân tích
Xử lý biểu thức cần ranh giới rõ ngay cả khi ngôn ngữ nhỏ. StackSundial là không gian lập trình AI trên Windows để trao đổi các ranh giới đó cạnh tệp nguồn. Mở dự án và yêu cầu mô hình được kết nối xem các token được chấp nhận, quy tắc đánh giá và xử lý lỗi của bên gọi trước khi đề xuất thay đổi cách triển khai.
Một tác vụ có thể làm là rà soát bộ tính biểu thức hậu tố dùng trong màn hình tính toán nội bộ. Quy định toán tử được phép, giới hạn số và phản hồi với biểu thức sai dạng. Yêu cầu trợ lý chỉ ra nơi thực thi các yêu cầu đó và đề xuất sửa đổi tập trung ở nơi còn thiếu. Như vậy cuộc trao đổi hướng đến bảo trì phần mềm của bạn thay vì chỉ tạo thêm một bộ tính.
Rà soát đường từ chối kỹ như phép tính thành công. Chạy kiểm tra dự án cho toán hạng thiếu, kết quả thừa, chia cho 0 và giá trị vượt giới hạn cho phép. Xem thứ tự toán hạng trong phép toán không giao hoán và xác nhận bên gọi nhận đúng lỗi dự định. Tránh chấp nhận vòng lặp tính ngắn hơn nếu làm suy yếu giao ước xung quanh.
StackSundial hỗ trợ kết nối điểm cuối tương thích OpenAI hoặc Anthropic. Khi có, chọn mô hình AI đã gỡ ràng buộc với hiểu biết rằng hạn chế, giới hạn ngữ cảnh và công cụ tùy thuộc dịch vụ được chọn. Mã đề xuất vẫn là điểm khởi đầu để xem xét và tự kiểm chứng, không phải bằng chứng bộ thông dịch đã sẵn sàng.
Trước khi chấp nhận bản sửa bộ tính
- Nên đưa quy tắc nào vào mô tả tác vụ?
Nêu token được phép, kiểu toán hạng, giới hạn số và hành vi lỗi. Kèm bên gọi trình bày lỗi cho người dùng. Thiếu các quy tắc này, đề xuất có thể tính đúng ví dụ thông thường nhưng chấp nhận biểu thức mà ứng dụng phải từ chối.
- Vì sao kiểm thử phép trừ và chia rõ ràng?
Kết quả của chúng phụ thuộc thứ tự toán hạng, khác phép cộng trong trường hợp thông thường. Dùng dữ liệu kiểm thử cho kết quả khác rõ khi đảo toán hạng. Kiểm tra quy ước phép chia dự án yêu cầu cùng phản hồi khi số chia bằng 0.
- Biểu thức sai dạng có nên trả về 0 không?
Chỉ khi đó là yêu cầu ứng dụng rõ ràng. Giá trị số dự phòng có vẻ hợp lý có thể che giấu đầu vào sai. Yêu cầu trợ lý giữ đường từ chối rõ và xem bên gọi phân biệt kết quả 0 hợp lệ với lỗi thế nào.
- Chỉ giới hạn số token có đủ giới hạn việc tính không?
Rà soát mọi giới hạn dự án yêu cầu, gồm giá trị trung gian và cấu trúc đầu vào được chấp nhận. Số token chỉ giải quyết một phần giao ước. Kiểm thử đường từ chối liên quan sau mọi thay đổi vòng lặp tính.
StackSundial · Cập nhật 2026-10-25