完整的common lisp的學習集合整理如下:
繼續分析spacemacs的配置,**如下:
其中,第11行**已經做了分析,第12行**是什麼意思呢?從**結構來看,這裡定義了乙個常量作為emacs的啟動時間。常量的數值是什麼呢?是current-time函式的返回值。
接下來,學習的物件就是這個current-time函式了。檢視emacs的內建幫助如下;
這個函式返回的是自從2023年以來的時間,單位是秒。不過,這個函式的返回值不是乙個簡單的數值,而是乙個字串。其中,秒的部分還被分割成了兩部分,其中一部分是16bit的低位,剩下的是高位。另外兩個元素分別是微秒和皮秒?如果做乙個測試確認,我覺得能夠把前兩個計算出來應該就足以說明問題了。
測試如下:
這樣,使用我常用的計算工具python來做乙個計算試試看:
把轉換出來的秒大概換算成年,不考慮什麼閏年等影響,大概過了50年。從2023年算起,正好是2023年。今天是2020-02-12,看起來計算準確。
Mysql 插入或更新時欄位自動獲取當前時間
顯示格式為 建立時間字段 alter table表名稱 add column欄位名datetime null default current timestamp comment 建立時間 如果已經建立了時間字段,使用下面的修改方法 alter table表名稱 modify column欄位名dat...
PHP獲取當前時間差8小時的問題
echo date y m d h i s 當前時間 這個方法獲取的時間和標準時間差8小時 從php5.1.0開始,php.ini裡加入了date.timezone這個選項,預設情況下是關閉的 也就是顯示的時間 無論用什麼php命令 都是格林威治標準時間 和我們的時間 北京時間 差了正好8個小時,有...
獲取當前UnixTime的零點時間戳
最近有個需求,開屏廣告每天只出一次。思路為如果出了開屏廣告,則記錄當前時間,下次來的時候,讀取當前時間和上一次出開屏的時間。算一下是不是在同一天即可。我們的第乙個想法是將上次開屏時間和當前時間歸一到 0 點進行比較 其實有寫個更簡單的方法 所以我們需要獲取某乙個時間戳 當天的 0點。可以採用 loc...