Как преобразовать имя datetime в день и имя месяца в erlang?
вы можете использовать getAttribute:
var p = document.getElementById("p");
var alignP = p.getAttribute("align");
https://developer.mozilla.org/en-US/docs/Web/API/Element/getAttribute
2 ответа
Я нашел решение.
A = calendar:universal_time().
qdate:to_string(<<"D M j G:i:s T Y">> , <<"IST">>, A).
Вы можете использовать http://uk3.php.net/manual/en/function.date.php для различного форматирования , Рекомендуется использовать только в том случае, если вам необходимо поддерживать устаревшую систему, потому что использование этого вызова функции кажется дорогостоящим.
Используйте исключительные qdate для всех ваших форматирования даты / времени, преобразования и обработки часового пояса. Посмотрите на раздел Демонстрация , в частности, чтобы получить суть и приспособиться к вашим потребностям.
Обработка даты Erlang, на мой взгляд, запутана и отсутствует в основных функциональность, необходимая для правильной обработки даты. Все становится лучше, но не совсем там. Более того, обработка часовых поясов в лучшем случае примитивна. Функции
qdate будут принимать (почти) любой формат даты и конвертировать в любой формат даты, используя либо неявный часовой пояс (установка часового пояса на -процесс) или путем установки определенного часового пояса.
В любом случае, если вы поедете обычай, вы получите нечто похожее на это:
1> {{Year, Month, Day}, {Hour, Minute, Second}} = calendar:now_to_datetime(erlang:now()).
{{2018,7,13},{14,39,45}}
2> lists:flatten(io_lib:format("~4..0w-~2..0w-~2..0wT~2..0w:~2..0w:~2..0w",[Year,Month,Day,Hour,Minute,Second])).
"2018-07-13T14:39:45"
.. .not good;)
Это мои два цента. Ура!