本当にお久し振りですー、月影です＞ω＜

前にブログの記事を書いてからもうかなりの時が過ぎてしまったし、Twitterにもあまり現れることができなかったので、忘れられてしまっているではないかと恐々としていますです(((ﾟДﾟ)))

なぜ作り直したのです(・ω・?

まず、Haskell - GADTsを使ってみた - Qiitaというわたしの書いたことを参考している記事の存在を知って、わたしの記事の分かりにくい部分、特に「型安全なリストに対する補足とGADTsの話ですー＞ω＜」を書き直す必要性を感じたのです(｀・ω・´)

ただ、ブログを更新するのはあまり気が進まなかったのです（ _ _ ）

なぜなのかと言えば、前のブログに使っていたシステムがわたしにとって少し不便だったからです（ _ _ ）

なのでいつかブログを作り直したいと思っていたのです！

ということで、記事の書き直しを期に、ブログを再構築することにした、というわけなのです＞ω＜

ブログにはHexoを使ったのです＞ω＜

ブログを作り直すに当たって、なるべく簡単で綺麗なものにしようと思ったのです＞ω＜

そこで、いくつか調べてみたのですが……、

• 単なるサイトジェネレーターでは、デザインをするのが大変そうです！（わたしはデザインが苦手なのです‥‥）
• 動的にブログを生成するシステムでは、GitHub Pageで動かすことができないのです！

というわけで、最終的にわたしが辿り着いた結論が、このHexoだったのです。

Hexoというのは、Node.js製のブログに特化したサイトジェネレーターのようです(｀・ω・´)

複数のテーマの中からデザインを選択したり、プラグインで機能を拡張することができますです＞ω＜

……ただ、デザインが綺麗なのはいいのですけれど、少し重いような気もしますです（やっぱり自分でデザインした方がよかったのかな‥‥、なんてちょっとだけ考えていますです）

何はともあれ、これからもよろしくお願いしますです( _ _ )

ブログを更新する余裕がどの程度あるのか分からないのですが、これからも面白いことをできたらいいなぁ、と考えていますです＞ω＜

（具体的には、F2を作り直せたらいいな、なんて）

それと、次の二つの記事を書き直したのです！　ごひーきによろしくですー＞ω＜

• 型安全なリストを作るのです(｀・ω・´) ～ その1、Phantom Type（幽霊型）入門ですー＞ω＜
• 型安全なリストを作るのです(｀・ω・´) ～ その2、GADTsと依存型＞ω＜