APIとのインターフェイスのためのHTTPレンズ？

Question

私は、ハスケルとの勢いを拾い始めて、lensのような私が毎日実行する抽象を愛しています。

私は、REST APIレンズを使用すると便利ですが、時間がかかりそうでないことを見つける前に、それは可能ですか？

私が見る大きな問題は（私のレンズの構文は、おそらく間違っている）私は直接、データ構造にアクセスするが、要求された文字列を出力していないよということです。

λ> over (user "robertplant") . set favoritesong 

POST http://...com/api/user/robertplant/favoritesong 
{ 
    ... 
} 

---- 

λ> over (user "robertplant") . view _1 

GET http://...com/api/user/robertplant/favoritesong/123 

私はそれがATの仮定しています適用上の問題が少なかったり、おそらくMonadが必要なのでしょうか？

私は、このレンズがレンズの法則を満たしていることを想像することができました（ある意味では、まだ私にとってはあまりにもぼやけています）が、レンズには文字列を出すハードウェアがあります。このような他のデータ構造。

これは追求する価値のある旅ですか？

Answer 1

いいえ、これは残念ながらレンズとは関係ありません。レンズはそれはあなたがそれだけでこのトピックに関連されることはありません、あなたが探している出力を生成するためにHaskellで書くでしょういくつかの巧妙なものがありますが可能ですlens laws

view l (set l v s) ≡ v 
set l (view l s) s ≡ s 
set l v' (set l v s) ≡ set l v' s 

を満たすものです。