yamasdais / asaki-yumemishi Goto Github PK

もうちょっとスッキリさせたい

• Deletor が無駄に template なのでこれを取り除く
• typeid(object) 形式の関数を追加する

常に val<int, 0> になる？何かが間違っている。

arithmetic

• add
• sub
• mul
• div
• mod

comparison

• eq
• ne
• lt
• lte
• gt
• gte

logical

• neg
• et (and)
• uel (or)

bitwise

• b_not
• b_and
• b_or
• b_xor
• b_shl
• b_shr

• all
• any
• max
• min
• plus
• product
• xor
• concat
• ordering
• endo
• dual

eval
typename type を持っていれば、それを評価するメタ関数があれば便利かもしれない。

curry::apply の改良

curry::apply で apply 出来ないときは、curry して返すようにしたらよさそう

apply で curry<> を扱えない点

lambda<> にして返すようにすべきか？curry, apply の差がなくなってきたので、apply は curry などの型を取る様に仕様変更しても良いかもしれない。

compose

curry, apply 出来てから考える

使い方の説明が無い。