問題タブ [unfold]

vCard パーサーを作成しようとしていますが、行の展開に問題があります。ここでわかるように: http://www.faqs.org/rfcs/rfc822.html「展開」を探してください。次のすべてが有効であることが示されています。

これを展開するにはどうすればよいですか？これには正規表現がありますか？クラスが書かれている場合、私はそれを使用します:)

メソッドなどの折りたたみを有効にするように設定しましたが、ファイルを開くたびにすべてが折りたたまれるというデフォルトは好きではありません.vimrc。set foldmethod=syntaxを有効foldmethodにして、開いたときにファイルを展開する方法はありますか?

Programming in Haskell で、Graham Hutton はリストの展開を次のように定義しています。

関数を定義する

これは上記のものと似ていますが、実装に unfoldr を使用し、再帰的ではありません。

上記の質問を解決するためにしばらく試してみましたが、まだ解決できます (Haskell および関数型プログラミング全般ではかなり新しいものです)。

私の試み：

英語でf xは、true の場合、空のリストを返します。それ以外の場合はh x、先頭として使用し、unfoldr の結果を末尾として追加します。Unfoldr は、先頭および末尾として(x:xs)自身を再帰する必要があるリストを取ります。xxs

p/s: 私はおそらくこれを非常に間違ってやっています。

画像をクリックすると、Google 画像検索で素晴らしい「新しい」展開効果があることに気付きました。それを私のプロジェクトに実装したいと思います。まさにそれを行うjqueryプラグインがすでにあると確信しています。しかし、適切な検索を行うためにこの効果をどのように呼び出すことができるかはわかりません。

特定の効果がなくなるまでアクションを実行するという一般的なパターンに気付きましたが、これは固定点を意味する (つまり、将来の効果はあり得ない) ことがわかっている場合です。これには型クラスがありますか？

これはMonadFixでカバーされていますか? コードを見るとそのように見えますが、 wiki ページで「「再帰」を見て、アクションを再帰的にまたは繰り返し実行することを意味すると推測したくなります。いいえ。」に怖がっていました。

また、不動点は恒等の双対のようなものだと私には思えます。つまり、同一性は、非同一性 ((+) の場合は 0、(*) の場合は 1、追加の場合は [] など) と組み合わせると消えます。一方、固定点は、以下の「リラックス」操作で非固定点を非表示にします。この双対性を形式化する方法はありますか?そうすると便利ですか? つまり、MonadPlus および/または Monoid と MonadRelax の間に関係はありますか?

最後に、リラックスはほぼ展開/アナモフィズムであることに気付きました。と表現した方が良いでしょうか？

all_zero以下は、自然数のリストのすべてのメンバーがゼロかどうかをチェックする再帰関数です。

さて、次の目標があったとします。

unfoldそして、私はそれを変換するために戦術を使用したかったのです

unfold all_zero残念ながら、この戦術は のすべてのインスタンスを熱心に見つけて置換するため、簡単な方法では実行できません。これにall_zeroは、一度展開されたフォームのものも含まれます。これを回避し、再帰関数を一度だけ展開する方法はありますか?

とアドホックな同等性を証明することで同じ結果が得られることはわかっていますassert (...) as Xが、効率的ではありません。のような簡単な方法があれば教えていただきたいunfoldです。