seq()の型定義

[ThinaticSystem]

Description

#7 の実装

TODO

• 型定義
  • selectorなしのときの返り値
    ユニオンの型変数として受け取りたいがなんもわからんのです！
    -> https://misskey.io/notes/93kppsqs6d
  • selectorありのときの返り値
    引数の型宣言を[...T]みたいに書くとタプル型をいい感じに受け取れるっぽく、できた
  • 3つ目のやつの返り値
    1つ目のやつができればいけそう

Issue ID

#7

[ThinaticSystem]

return success(latestIndex, (select != null ? accum[select] : accum));してるとこで型の整合怒られてる
使う分には動いてそう
なんか惜しい…

[ThinaticSystem]

三項演算子使うのやめたら型エラー消えた
TSのバグ説ある（ほんまか）

[marihachi]

三項演算子の型ガードがそもそもサポートされてるのかが怪しくなってる

[ThinaticSystem]

まりはちが投げてたやつに書き換えた上で
一応selectへ明示的にundefinedが突っ込まれたときにParser[]で返す（selectを指定しなかった場合の返り値）ようにした
その場合の型は諦めてUnknownで返るようになってる
（オプション引数へ明示的に突っ込まれたundefinedの判定がJavaScriptの(typeof opt === 'number')とかでしかできないっぽく、TypeScript空間で型を分岐させるのはちょっとむつかしそうだった）

[ThinaticSystem]

一応selectへ明示的にundefinedが突っ込まれたときにParser[]で返す（selectを指定しなかった場合の返り値）ようにした

これ要ると思う？

[marihachi]

一応selectへ明示的にundefinedが突っ込まれたときにParser[]で返す（selectを指定しなかった場合の返り値）ようにした

これ要ると思う？

これ要らないかも
明示的に指定することがなさそう

[marihachi]

🚀

[marihachi]

その他は良さそう

[marihachi]

完璧:rocket:

[marihachi]

ありがとう！ 🙏 🙏 🙏 🙏

[hogemori]

三項演算子使うのやめたら型エラー消えた TSのバグ説ある（ほんまか）

typeof selectのまわりの括弧をとるとエラーでないかもしれないです。例：
https://www.typescriptlang.org/play?#code/GYVwdgxgLglg9mABMAFADwPwC5FhAWwCMBTAJwEoBvAKETsQHoHEBhOfABwENSYBnBIgCMWWvSaIICAQBtiAOhlwA5ihRQAnh2JxgiNOUQBeE4gDkeImTOIMiALRpEOAEQA5OFERdcBEqXkXcgBuOgkAFS1iRDJSOACxOikwWQUlVU1tXX1jI0QXS38XWwcnVw8vH0KyQJCw5gB5AGlqRMZmNk4efkEAJlF6dslpL0ydYCc8sey0YLaJZNTFFXUo3UnTCz9rEsdnfIrvXysAoNChyO0Y0jiEwcWvZIATY0RVrL0DXLytk7M5+7SOByZaqZ67MoHTxHaqnOpDZqtQYSABCGkQUAAFtEAO5cDTyQnzZjhTFwPjRDhxQhyfB8bykaJgaF8bQQGDAGAQDFwDHYjFkMA8dFwbSkLhQeKIQggSoyATeDgcGToyWIAAGHPViD4UAlxHwxDAUD4A3EzA5b3e430hhMP1hZkMi2BaRWjnhESi11u8jalutM2+5kdzqBIPSKA95wkiIAvq1UAAGcjUVCpoA

typeof select === honiの形式で書かないと型の絞り込みをしてるんだなって思ってくれないんじゃないでしょうか。（たぶん有効なパターンが限られている）