Add Divisible and Decideable (contravariant Applicative and co.)

説明

コントリビューターガイド

技術スタック

scala

領域

backend

Issue 種別

feature

難度新しい貢献者にとっての実装難度です。1 は非常に小さな変更、5 は専門的な作業です。

4

推定時間経験ある貢献者が調査、実装、テスト、pull request 準備にかけるおおよその時間範囲です。

over 1 week

活動状況Issue が今どれだけ取り組みやすいかを示します。新しい、活発、古い、ブロック中、またはメンテナー入力待ちなどです。

stale

明確さ期待される変更、受け入れ条件、次の手順がどれだけ明確かを示します。

needs investigation

前提条件

cats library basicstype classescontravariant functorsscala syntax

初心者向け度初回貢献者にどれだけ取り組みやすいかを 1-100 で推定したスコアです。

15

調査方針

Research the Divisible and Decidable type classes from the Haskell contravariant package (https://hackage.haskell.org/package/contravariant 1.4/docs/Data Functor Contravariant Divisible.html). Study the existing Contravariant type class in cats (e.g., cats core/src/main/scala/cats/Contravariant.scala) to understand the pattern. Define new Divisible and Decidable traits and provide instances for common types. Since the issue has been open long, consider posting a design proposal before implementation to ensure maintainer alignment.