Как преобразовать строку в дату красным

Question

Если я принимаю дату от пользователя, использующего ask, а затем хочу использовать ее в качестве даты, используя to-date, я получаю ошибку.

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

Как правильно преобразовать строку в дату?

Answer 1

Вы должны использовать нагрузка

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

несколько примеров для на сегодняшний день!

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