Đang tải bảng tin…
Planet Haskell0 Hot0 bình luận5 phút đọc
New falsify release
Tóm tắt bởi AI
Phiên bản 0.4.0 của thư viện kiểm thử thuộc tính falsify cho Haskell đã ra mắt, lấy cảm hứng từ Hypothesis của Python. Tính năng mới chính là kiểu Context trong monad Property, cung cấp thông tin về số lượng test đang chạy và vòng lặp hiện tại, hỗ trợ sinh test theo kích thước qua hàm sized. Bản phát hành cũng cải tiến đáng kể: tích hợp tasty tách thành gói riêng tasty-falsify, sắp xếp lại cấu trúc module, loại bỏ hàm lỗi thời và thay thế alias kiểu bằng newtype. Bài viết cũng so sánh falsify với QuickCheck và Hedgehog, nhấn mạnh ưu điểm giải quyết vấn đề thu nhỏ bind monadic nhưng vẫn còn ở giai đoạn thử nghiệm.
Vì sao nên đọc: Lập trình viên muốn tối ưu hóa cách viết và debug các test đơn vị trong Haskell cần đọc để khám phá cách falsify cải thiện việc sinh ra các trường hợp test kích thước phù hợp và quản lý context hiệu quả hơn so với các thư viện truyền thống.
Bạn nhớ được gì?
Trả lời 3 câu hỏi ngắn để nhận điểm thưởng cho bài này. Chỉ làm khi bạn muốn lấy điểm.
tối đa +17 điểm
3 câu hỏi · dưới một phút · không bắt buộc
Nguồn: https://well-typed.com/blog/2026/07/falsify-4. 8sync News chỉ tóm tắt và dẫn link; bản quyền nội dung thuộc tác giả và nguồn gốc.
Hệ sinh thái 8 Sync Dev
Một tài khoản, cả hệ sinh thái
Đọc tin ở đây, luyện code, học theo lộ trình và luyện IELTS trên các sản phẩm anh em — tất cả kết nối với nhau trong hệ sinh thái 8 Sync Dev.
8syncdev.com
8syncdev.comCổng chính của hệ sinh thái: giới thiệu sản phẩm, blog và bảng giá trọn bộ.
Khám pháKhóa học
tutorial.8syncdev.comHọc theo lộ trình với video, quiz chấm tự động, certificate và mentor đang làm nghề.
Xem khóa họcLuyện code
coding.8syncdev.comLuyện thuật toán chấm tự động 7 ngôn ngữ, chạy code ngay trên trình duyệt.
Đề xuất cho bạn
Haskell Weekly0 Hot3 phútAI
Issue 533
Số 533 của Haskell Weekly điểm tin cộng đồng nổi bật như quyết định rời bỏ Haskell của Scarf sau 7 năm sử dụng, báo cáo trạng thái GHC từ hội thảo Haskell Implementors' Workshop 2026, đóng cửa tryhaskell.org, sự kiện Diff package áp dụng LiquidHaskell cho kiểm tra tĩnh, và thư viện PGQueuer-hs 0.0.1 mới chạy trên PostgreSQL. Phần giới thiệu cộng đồng giới thiệu server bookmark tự lưu trữ, thư viện học tự động hóa hoạt động, và công cụ chạy thử LeetCode cục bộ.
Đọc bài này để cập nhật những thay đổi quan trọng trong sinh thái Haskell—từ việc chuyển đổi công nghệ của một nhà phát triển lâu năm đến những tiến bộ mới trong công cụ và thư viện, giúp bạn nắm rõ xu hướng và cách ứng dụng trong dự án của mình.
