OneTupleはいつ使用しますか？

Question

私はちょうどパッケージのOneTupleをハックしました。私はそれが目的であることを知りたがっていますが、著者はそれを楽しくするために作成していないと確信しています。だからいつこれが役に立つの？それが何をしているのかははっきりしていますが、誰がそれを使うのかは分かりません。

だから、誰もがこの恩恵を受けることができる素晴らしい例を知っていますか？あるいは、数学的な美しさを背後に見せてもらえますか？

Answer 1

はOneTupleがdata代わりにnewtypeを使用するので、それは追加のボトム値を有することを除いて、一般的にモナド変圧器スタックのベースとして使用されるIdentityモナド、ほぼ同じです。

これは、実装しているほとんどの型クラスの最も単純な例であるため、面白いです。私はそれのための実用的な使用の多くは、表示されません。

Answer 2

don'tパッケージのような冗談だと思います。つまり、OneTupleは、Maybeとは対照的に、いずれのタイプにも1つの新しい値を追加します（NothingとJust undefinedまたはundefinedの2つが追加されます）。だから、それが必要な場合は、どこに行くのか分かります...

Answer 3

タプルで動作する（少しばかげた）タイプクラスがあるとします。 (a,a)のインスタンス、(a,a,a)のインスタンスがあります。単一の値のインスタンスも必要です。しかし、他のすべてと重複するので、aのインスタンスを作ることはできません！ただし、OneTuple aのインスタンスを作成することはできます。

typeclassはちょっと役に立たないですが、ほぼ同じようなtypeclassを想像するのは簡単ですが、もっと便利です。実際には、これは正確にBOS' mysqlのライブラリでOnlyの使用である：http://hackage.haskell.org/packages/archive/mysql-simple/0.2.0.2/doc/html/Database-MySQL-Simple-QueryResults.html

Answer 4

これはアイデンティティモナドの実装は冗談ではありません同じように、最も確かない冗談です。プレーンタイプaとは異なり、すべての有益なインスタンスが得られます。追加ボトムを取得すると、シングルトンタプルは他のタプルタイプのセマンティクスに非常に近くなります。

この場合のユースケースの1つは、同一性モナドと同様に、一般化です。あなたは多型ファンクタ型を持つアプリケーション/モナド関数を持っています。例えば、列挙子のような多くの有用なパッケージは、ユーザーが選択したモナドを操作することをサポートしています。 の少し異なるセマンティクス（Identityと比較）は、複雑なデータ依存関係を持っている場合や、追加の怠惰を利用したい場合には非常に便利です（Identity）。