Merd for nerds「Rubyのような表現力に、Haskellのような型チェック」が宣伝文句のプログラミング言語 merd で遊んでみよう、という企画です。 型付けの強い言語は型推論やパターンマッチと言った強力な機能と引き替えに、 言語としての記述力にそこかしこで制限が加わってしまいがちです。 例えばCのprintfのような機能。例えばad-hocなoverloading。 果たしてこの制限は不可避なのでしょうか？（反語） まだまだα版とのことで、この記事の内容はすぐ古くなる可能性が大きいです。 とりあえず ver 0.1.6 に基づいて書いていきます。 ご意見・間違いの指摘など大歓迎。 インストール Hello, World 文法の概観 * WYSIHIIP * 遅延評価 パターンマッチ * 部分適用 * オーバーロード if-then-else * 型システム 続 型システム ライブラリ探訪 インストール
