以前に、djangoのコードからローカライズされた時間を取得する方法をやったけど、それを含めて整理する。 まず、プロジェクトを立ち上げた時、時間まわりの設定は、 TIME_ZONE = 'UTC' USE_TZ = True になっている。 djangoのコード内で、日付時間を取得する…

ml-lexのレキサーを書いていた。 github.com この方のがとてもわかりやすいと思う。 これの 2 章。 tiger.lexを書く。 %s COMMENT 正確には%stateらしい。 COMMENTという状態をあらかじめ定義しておく。 var type function break of end in nil let do to fo…