類型在數據庫

Question

存儲`DiffTime`我需要一個DiffTime從time庫存儲在數據庫中（PostgreSQL的），並有三種選擇轉換爲數據庫類型：

1. 使用整數fromIntegral . fromEnum
2. 通過合理toRational
3. 數字實時使用realToFrac

的整數是準確的，但相當大，因爲存儲在微微秒（10^12）。數字也是精確的，但計算Rational可能非常昂貴，因爲它必須計算分子和分母的gcd。真實是不準確的，但也許這並不重要。

我的時間粒度不會低於幾分鐘或比幾天大。我需要做出精確的計算。速度可能不是問題。

我應該選擇哪一個選項以及其含義？在處理用戶提交的數字時，通常應避免使用Rational，如scientific庫中所解釋的那樣？

Answer 1

我想你可能在尋找interval。 hasql庫也有一個用於DiffTime的編碼器和解碼器，其名稱也是interval。