如何将字符串转换为红色日期

How to convert a string to Date in red

如果我使用 ask 接受用户的日期,然后希望使用 to-date 将其用作日期,我会收到错误消息。

>> to-date "31-Dec-2019"
*** Script Error: cannot MAKE/TO date! from: "31-Dec-2019"
*** Where: to
*** Stack: to-date

将字符串转换为日期的正确方法是什么?

你必须使用load

>> load "31-Dec-2019"
== 31-Dec-2019

迄今为止的几个示例!

>> to-date 1547196008
== 11-Jan-2019/8:40:08
>> to-date [200 1 1]
== 1-Jan-0200