Tilia—a new formatter for Haskell

Daml for Haskellers: interview with Heitor Toledo Lassarote de Paula

In this interview with our Daml Team Lead, Heitor, we examine which Haskell intuitions transfer successfully to Daml, where analogies such as Update and IO break down, and how developers should reason about authorization, visibility, contract lifecycles, and testing. We also discuss learning paths and tooling for Daml developers, common mistakes made by Solidity programmers, and the practical topics covered in the upcoming Daml Smart Contracts Development Guide.

Issue 538

Bản tin tuần này của cộng đồng Haskell giới thiệu phiên bản Cabal 3.18.1.0, dự án biên dịch chéo GHC 9.8 cho iOS từ đầu, bài nói về cải tiến Haskell cho khoa học dữ liệu, chia sẻ của Simon Peyton Jones về nguồn gốc và tương lai của ngôn ngữ, cùng nhiều cập nhật nhỏ khác như Hasql v2, Ormolu, thư viện Redis, và các công cụ lập trình cơ sở dữ liệu.

Lập trình viên Haskell sẽ tìm hiểu cách tối ưu hóa dự án hiện tại bằng cách khám phá các công cụ mới như Ormolu và Hasql v2, đồng thời cập nhật kiến thức về xu hướng như GHC 9.8, cơ sở dữ liệu và ứng dụng khoa học dữ liệu trong ngôn ngữ này.

From Scientific Computing to Type-Safe Finance: Bitnomial

Bài phỏng vấn bàn về những thay đổi cần thiết để Haskell phổ biến hơn với nhà phát triển và doanh nghiệp, cũng như vai trò của Haskell Foundation. Nó cũng phân tích cách Bitnomial ứng dụng Haskell trong hệ thống tài chính quy mô lớn nhờ type safety và effect tracking, cùng những ưu điểm của công nghệ như Servant trong việc nâng cao độ tin cậy hệ thống.

Lập trình viên chuyên nghiệp nên đọc bài này để hiểu cách Haskell, với tính bảo mật kiểu và quản lý tác động hiệu quả, giúp các công ty tài chính như Bitnomial xây dựng hệ thống phức tạp mà vẫn duy trì độ chính xác và hiệu suất trong môi trường yêu cầu cao về an toàn và tính nhất quán.

Issue 540

Bài viết là bản tin tuần trao đổi tin tức cộng đồng Haskell, liệt kê các bài viết sâu sắc và cập nhật công cụ gần đây. Trong phần tin ngắn, lỗ hổng bảo mật trong gói aeson/text-iso8601 do

Bài này mang đến tổng quan đa dạng về sự phát triển và ứng dụng thực tế của Haskell trong các dự án công nghệ hiện đại.

Why Function Arguments Are Not Function Colors

An essay reframes the long-running 'function colors' debate by proposing a precise criterion: a change is a 'color' only if it forces itself immediately and inescapably on every caller in the stack, rather than being encapsulated by an intermediate function. Using Go's context.Context as a counterexample, the piece shows that ordinary function parameters are not colors because callers can trivially satisfy them (e.g., context.Background()) without propagating change upward. It then applies this lens to Haskell, arguing STM and IO qualify as colors (with STM riding on IO's color) while State does not, since State changes can always be locally encapsulated. The piece closes by noting async in JavaScript and Zig only partially fits the color definition depending on implementation specifics.

"Five-Point Haskell": Unconditional Election (via Parametricity)

Weblog of Justin Le, covering various adventures in programming and explorations in the worlds of computation physics, and knowledge.

nyuu.page

Công cụ nyuu.page là trình vá ROM đa định dạng, hỗ trợ nhiều loại tệp ROM khác nhau.

Nếu bạn muốn tự động hóa và tối ưu hóa quá trình patch ROM cho nhiều hệ điều hành khác nhau, Multi-format ROM patcher sẽ giúp bạn tiết kiệm thời gian và tránh lỗi khi áp dụng các update thủ công.