しりとりの圏の実装(未完) - Qiita

haskell入門 の著者の一人、hirataraです。といっても、このエントリは書籍とはまったく関連のないお遊びです ということで、今回は10年ほど前のエントリである しりとりの圏 を、Haskellで実装しようと試みましたので、その過程をだらだらと書いていきます。 前置き しりとりの圏とは以下のようなものです。 対象(Object)は文字 'あ' 'い' 'う' ・・・ 射(Morphism)は文字列 "はすける" :: 'は' -> 'る' 恒等射(Identity)は一文字 "あ" : 'あ' -> 'あ' 合成は文字列の結合 "るびー" . "はすける" == "はすけるびー" この圏は直感的にわかりやすい圏で、圏論の初学者が集合圏以外の圏に触れるきっかけとしてはちょうどよい題材と言えます。 しかし、「圏論と言えばHaskellだろう」と安易に考えてこの圏をHaskellのプログ

[igrep]

Category型クラスのインスタンスとして実装しないで値レベルの演算として。。。と思ったけど、規則に沿った単語同士の合成以外をコンパイルエラーにしたいのが今回の肝なんですかね。