ポスト

前者の例はunknown[]じゃなくnever[]にすればいけます(´・_・`) 引数はcontravariantなので……

メニューを開く
あいや🐕@public_ai000ya

読んだ。 僕は強い型付け原理主義者なので、やはりゴリラさんが引用している箇所のanyはいらんやろ、って思う。 asもよくなくて、そもそもこれが必要にならない書き方に変える必要があるんだよな。 ただこの記事の前者は本当にanyが必要だと思っている。 型関数を書くとき、よくanyが必要になる…。

トデス子'\@todesking

みんなのコメント

メニューを開く

本当だ。ありがとうございます! まだ僕は関数型が直感に落ちてきていないのか…落ち込む。

あいや🐕@public_ai000ya

人気ポスト

もっと見る
Yahoo!リアルタイム検索アプリ