https://github.com/nostr-protocol/nips/blob/master/17.md

DMはNIP-17か。
そのうち(Haskellで)書いてみたい。

やればやるほど勉強することが増えていく
|
V
「楽しい!」

「基本的に自動運転のほうが人間による運転よりも安全であることが期待できるが、テスラに関してはその限りではない」って感じかな。

あまり進まないな。
とりあえず、フィルターを表すデータ型からJSONの表現に変換する部分を書いた。
次は逆の変換をする部分を書く。

それができたら、フィルターを表現するデータ型からSQLのwhere節(句?)を作る部分を書く。

たとえば、モジュールFooのなかで、Barとの相互変換の関数を書くとしたら名前は

fromBar :: Bar -> Foo
toBar :: Foo -> Bar

みたいになる。
で、モジュールFoo.Barのなかでそれらの相互変換の関数を書くとしたら、もし明らかにBarのほうがより平坦であれば、

encode :: Foo -> Bar
decode :: Bar -> Maybe Foo

みたいにするかな。どっちも平坦さの度合いが変わらなかったら、

fToB :: Foo -> Bar
bToF :: Bar -> Foo

みたいな感じかな。

--(encode)->
構造を持つ値 平坦な値
<-(decode)--

--(pretty print)->
構造を持つ値 平坦な値
<-(parse)--

みたいな感じ。pretty printとかencodeは基本的な失敗がないのに対して、decodeとかparseにはerrorがあり得る。

ppr :: Value -> String
encode :: Value -> Binary

parse :: String -> Maybe Value
decode :: Binary -> Maybe Value

僕は静電気のバチッていうの好きだったな

やっぶみーん

うにゅう、おはよう