GHC: chèn ngày biên soạn

Question

Tôi nghĩ rằng đã có một câu hỏi về điều này, nhưng tôi không thể tìm thấy một.

Tôi muốn chương trình của mình in ra ngày được biên dịch. Cách dễ nhất để thiết lập điều đó là gì?

Tôi có thể nghĩ đến một số khả năng, nhưng không cái nào trong số đó là những gì bạn gọi là "dễ dàng". Lý tưởng nhất là tôi muốn có thể chỉ làm ghc --make Foo và có Foo in ra ngày biên soạn mỗi khi tôi chạy nó.

khả năng phi dễ khác nhau mà mùa xuân đến tâm trí:

• Tìm hiểu Template Haskell. Tìm hiểu cách sử dụng Data.Time để tìm ngày hôm nay. Tìm cách chuyển đổi thành chuỗi. (Bây giờ chương trình của tôi yêu cầu TH để làm việc. Tôi cũng cần thuyết phục nó biên dịch lại mô-đun đó mỗi lần, nếu không tôi sẽ có được ngày biên dịch cho mô-đun đó [không bao giờ thay đổi] thay vì toàn bộ chương trình.)

• Viết một kịch bản lệnh shell để tạo ra một mô-đun Haskell nhỏ có chứa ngày hệ thống. (Bây giờ tôi phải sử dụng shell script chứ không phải biên dịch chương trình của tôi trực tiếp. Ngoài ra, vỏ kịch bản trên Windows lá nhiều để được mong muốn!)

• ngồi xuống và viết một số mã Haskell mà tạo ra một module Haskell nhỏ chứa cuộc hẹn. (Di động nhiều hơn ý tưởng trước đó - nhưng vẫn yêu cầu các bước xây dựng bổ sung hoặc ngày được in sẽ không chính xác.)

• Có thể có một số cách để thực hiện điều này thông qua Cabal - nhưng tôi thực sự muốn đóng gói chương trình nhỏ này để có được một cơ sở ngày?

Có ai có đề xuất đơn giản hơn không?

Answer 1

Sử dụng mẫu Haskell cho việc này tương đối đơn giản. Bạn chỉ cần:

1. Run IO hành động trong vòng Template Haskell đơn nguyên:

   runIO :: IO a -> Exp a 
   

2. Sau đó tạo một chuỗi chữ với:

   stringE :: String -> ExpQ 
   

3. Đặt một biểu hiện toàn bộ trong vòng một quasiquote.

   $(...) 
   

Chương trình này sẽ in thời điểm biên soạn của nó:

{-# LANGUAGE TemplateHaskell #-} 
import Language.Haskell.TH 
import Data.Time 

main = print $(stringE =<< runIO (show `fmap` Data.Time.getCurrentTime)) 

Bạn có thể đặt đoạn có liên quan vào một module mà nhập khẩu tất cả các module khác để chắc chắn rằng nó được biên dịch lại.

Hoặc lấy thông tin sửa đổi hiện tại từ hệ thống phiên bản của bạn.Xem: TemplateHaskell and IO

Answer 2

Các preprocessor helpfully định nghĩa __DATE__ và __TIME__ macro (giống như trong C), vì vậy công trình này:

{-# LANGUAGE CPP #-} 
main = putStrLn (__DATE__ ++ " " ++ __TIME__) 

Đây có lẽ là đơn giản hơn so với đề nghị của Template Haskell Michal, nhưng không cho phép bạn chọn định dạng ngày tháng.