Haskellによるライブコーディング #104 リクエストヘッダー

📈本日の主な進捗

ToRequestHeaders / FromRequestHeadersによる実装を引き続き
- https://github.com/igrep/wai-sample/commit/0b0ed5114d000ed6e56c099f0019f9be8437044b
- product-isomorphic版のvoidや<$などを実装して新しいRouteで利用できないか試してみたが、うまく行かないことが分かった

引き続き新しく作ったToRequestHeaders / FromRequestHeadersを使ってrequest header関連の処理を書き直します
1. その後は、できればRequestHeadersCodecの作り直しをして、ドキュメントの生成が出来ない問題を解決したいところです。ちょっと考えたんですが、コンストラクターから、各フィールドが保持しているRequestHeadersCodecのリストを作れば今まで一番気にしていた問題を解決できるのではないか、という気がしています。ただ、単純なリストだと同じ型の値しか保持できないことになってしまうので、やっぱりまた何かしら型レベルリストを使うことになるかも知れません（でもそれだとやっぱりGenericsでよいのでは？）。
随分前から試していたproduct-isomorphicを使った作戦が、単純にはうまく行かなさそうなので、別の方法を考えます
- 配信中は単純にproduct-isomorphicの利用を諦めて普通のFunctorを使う方向で検討していましたが、|$等をRoute専用に作ることで解決できないかと考えています。ちょっとやり過ぎな気もしますが。